[
  {
    "call": {
      "SolCall": {
        "name": "invariant_shouldNotBecomeLiquidatable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      678,
      18394
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0xe17671731a315b4e70955aeac42dd25ac6c60c7d3ae81c7f6243add7f86835db",
              256
            ]
          },
          {
            "Uint": [
              "0xd9e09cbde96dd30eff137625c8a566d162eee52b8bdafa54e6b329617459c0b8",
              256
            ]
          },
          {
            "Uint": [
              "0x670f0df351b5ac74de84e69495ea181ecc602d1b8f2be1acb452c03bcd17dc6",
              256
            ]
          },
          {
            "Uint": [
              "0xe0d9ec67845c2e06d864833a246f8f47f0b106dd08e33e736634addedafb78f5",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2849,
      10127
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0x868d",
              256
            ]
          },
          {
            "Uint": [
              "0x82",
              256
            ]
          },
          {
            "Uint": [
              "0x9e478ae9206e88634c2a5602ae7ed4df79613356dd4bc3973e844ac3af3fcb9d",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22077,
      4881682
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x7890f8342593714af5e1721d07bf9a5fbae7b73812dfc05922b734a65a824bec",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8845,
      1930841
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1419177346,
      9119
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0xe17671731a315b4e70955aeac42dd25ac6c60c7d3ae81c7f6243add7f86835db",
              256
            ]
          },
          {
            "Uint": [
              "0xd9e09cbde96dd30eff137625c8a566d162eee52b8bdafa54e6b329617459c0b8",
              256
            ]
          },
          {
            "Uint": [
              "0x670f0df351b5ac74de84e69495ea181ecc602d1b8f2be1acb452c03bcd17dc6",
              256
            ]
          },
          {
            "Uint": [
              "0xe0d9ec67845c2e06d864833a246f8f47f0b106dd08e33e736634addedafb78f5",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11571,
      16034
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0x3fffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25612,
      19982
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x46672033dd148f6a2333a0f0f24a8153fdbc08b20ffe472e61b13a4c8cecc803",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xe687ce4d91",
                  40
                ]
              },
              {
                "Uint": [
                  "0xd41b562553",
                  40
                ]
              },
              {
                "Uint": [
                  "0xb69bda",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      511912064,
      26324
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0x26f8a6bca446aa755ece54b1255cec71",
                  128
                ]
              },
              {
                "Uint": [
                  "0xdeffcbad651961d9",
                  64
                ]
              },
              {
                "Uint": [
                  "0x4018",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4407,
      23604
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      595,
      7663615
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x990724abcd1ddb8c4b4b55972a40f5e781debc52b80a7b7626de30ee405bf459",
              256
            ]
          },
          {
            "Uint": [
              "0x2bb",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x963f",
                  16
                ]
              },
              {
                "Uint": [
                  "0xc13c447a",
                  32
                ]
              },
              {
                "Uint": [
                  "0xffff",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      306187713,
      374
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0xdb421673e3afd9f3d9e43002971a1d8793914536b58c05f68692c922ab12331a",
              256
            ]
          },
          {
            "Uint": [
              "0x9abd57b0f6684f670f2e22b480bebe06ff5f72d1f68bca5a5a4ce9ea2aca1fb5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20368,
      26243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x3f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20759,
      2252
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x38f1be151c38a88c67ad4b2d2abea85b22de2fa8a3609902694694123a07635b",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x8973",
                  16
                ]
              },
              {
                "Uint": [
                  "0x19819b2a",
                  32
                ]
              },
              {
                "Uint": [
                  "0xad0f",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      719206531,
      14418
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0xa4b7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1622400666,
      5859156
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      924288817,
      5859161
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x7e15",
                  16
                ]
              },
              {
                "Uint": [
                  "0x1000",
                  32
                ]
              },
              {
                "Uint": [
                  "0x6446",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2155353430,
      20948
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12370,
      5857
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0xe4b4b8af6a70000",
                  128
                ]
              },
              {
                "Uint": [
                  "0xc7d713b49da0000",
                  64
                ]
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10340,
      7975107
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x4e28d097d6f77b1a3a4f123051899912ce7d79447b4652cd9c03d1aad6562cb4",
              256
            ]
          },
          {
            "Uint": [
              "0xbe6159163fa036c4557a2fb533c391a26cea1f366c84b9d7f543631be061ab7b",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x2ab",
                  40
                ]
              },
              {
                "Uint": [
                  "0x120",
                  40
                ]
              },
              {
                "Uint": [
                  "0x94913d",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78367847,
      22238
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x5a21c02101912b47390864bd616f8d2408d6daf73d7d39f3777097f028c87b81",
              256
            ]
          },
          {
            "Uint": [
              "0xe722f0",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xfb52",
                  16
                ]
              },
              {
                "Uint": [
                  "0x3f",
                  32
                ]
              },
              {
                "Uint": [
                  "0x8f2c",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1576191937,
      12450
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0xe92f0de778215e5e280e4770006f14226a0ea20917cae394632502062ee767fa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15362,
      18435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_supplySharePriceAndDrawnIndexMonotonic",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      399224170,
      19404
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          },
          {
            "Uint": [
              "0xb677980b0f342856b4c7cca2caec7c03b6be2b60d6db34c303e9e09ea4020b5b",
              256
            ]
          },
          {
            "Uint": [
              "0xb",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1864,
      21024
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_supplySharePriceAndDrawnIndexMonotonic",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19242,
      8896
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65311,
      17086
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0x23ded0471607e59b03c637272ac55417",
                  128
                ]
              },
              {
                "Uint": [
                  "0x2f",
                  64
                ]
              },
              {
                "Uint": [
                  "0x0",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43109,
      23069
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      27729
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0xe4b4b8af6a70000",
                  128
                ]
              },
              {
                "Uint": [
                  "0xc7d713b49da0000",
                  64
                ]
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77,
      3254229
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_setInterestRateData",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1a44",
                  16
                ]
              },
              {
                "Uint": [
                  "0x2c6",
                  32
                ]
              },
              {
                "Uint": [
                  "0xc270ebba",
                  32
                ]
              },
              {
                "Uint": [
                  "0x94427c41",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13619,
      5941
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0x18",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1592779736,
      10513738
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x83d0dddcc11cb19f7b9586da5ffabdeb7b0267445aea0a136d427afb712467a5",
              256
            ]
          },
          {
            "Uint": [
              "0x65cec1",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x10f8",
                  16
                ]
              },
              {
                "Uint": [
                  "0x75",
                  32
                ]
              },
              {
                "Uint": [
                  "0x428b",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18052,
      7495627
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9194,
      100001
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x2065cda945114d0d921dd1948e53329a9122b5bf22d5db286e17b2948a84244d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14709,
      6117316
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0xd3db568dbd19442d043fc34e3f050e7d21bb59d425369105f284534b871c6983",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0x186a0",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4078,
      5918320
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_supplySharePriceAndDrawnIndexMonotonic",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17551,
      6777
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      930,
      4193
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0xa762c19d03be136b8d57eb83ca45cd37eb6b276df7de39cedf184b323d8a074c",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      549366234,
      1076
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x2f6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34448,
      5746
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x36ef88e81cb07021f51a91b9fec61ff93d00c05e91d24708152e12b78b1d81f1",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffc",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x6796",
                  16
                ]
              },
              {
                "Uint": [
                  "0x68ba7da3",
                  32
                ]
              },
              {
                "Uint": [
                  "0x4961",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1759,
      7841
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16582,
      5120
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x2710",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8031,
      1696924
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_supplySharePriceAndDrawnIndexMonotonic",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2612,
      12221167
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18801,
      4801
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_supplySharePriceAndDrawnIndexMonotonic",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1188962471,
      9598
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0x3e4",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42169,
      11452
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17350428,
      12949
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14416,
      14013
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x0",
                  16
                ]
              },
              {
                "Uint": [
                  "0xf3e4da71",
                  32
                ]
              },
              {
                "Uint": [
                  "0xe24f",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16549,
      12861
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      374,
      4315
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x2a4e1f7fbc908f47eb489b2cd38bd1c62be560e70121f849cbc4cdf99f63909f",
              256
            ]
          },
          {
            "Uint": [
              "0x22c32e",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1c20",
                  16
                ]
              },
              {
                "Uint": [
                  "0x27d8",
                  32
                ]
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8565804,
      8584
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0xdbd2d3a2c8188c7624bdee8aa2327cb1a1cdcf891b075ba2c94463ae18426e3a",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25138,
      5416
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0xf1ceb36b81a9237bd81569f34ced80656dbf8d327a6c84a58be3d59665e802e2",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7612,
      16153
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3803,
      21146
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0x8f2f5fefa5912cc271e8f1afcc0de89217e785a2fd259e92d979685412d3cc6a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29011,
      7179605
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0x2fd",
              256
            ]
          },
          {
            "Uint": [
              "0xeea7332d3c860f1aa9dc72998f12b5b8a7c2ebb70d1f4b6e49a19cc9b21d848b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3831,
      9626445
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1954076530,
      7642467
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0x1ed",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11297,
      1238
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      168587767,
      9602
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5106,
      7643
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x7cf367b200b8108858d56824c50b5c4b98973c52c41d940eef3756a2b5f8f8ce",
              256
            ]
          },
          {
            "Uint": [
              "0x7f968f",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1f40",
                  16
                ]
              },
              {
                "Uint": [
                  "0x2904",
                  32
                ]
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2092,
      6686
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_setInterestRateData",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x0",
                  16
                ]
              },
              {
                "Uint": [
                  "0x31a",
                  32
                ]
              },
              {
                "Uint": [
                  "0x14e0c972",
                  32
                ]
              },
              {
                "Uint": [
                  "0xac1e99e8",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1092472819,
      19975
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x35b",
              256
            ]
          },
          {
            "Uint": [
              "0xd17040",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1c20",
                  16
                ]
              },
              {
                "Uint": [
                  "0x27d8",
                  32
                ]
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      952272352,
      6973
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x4b0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      527081373,
      11630
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x70a08234",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x49a29da760",
                  40
                ]
              },
              {
                "Uint": [
                  "0x5fc022b9",
                  40
                ]
              },
              {
                "Uint": [
                  "0x2f1",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7484,
      7114807
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0x98752d637e401ac18ffda974dda20f5cfefb470e19edabcf49cc11ca3434a0a7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      511325560,
      9825
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0x14a32",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x0000000000000000000000000000000000000000"
              },
              {
                "Uint": [
                  "0x1f4",
                  16
                ]
              },
              {
                "Address": "0x0a6e47dbfba7e9b3e6429686be65d6eac6355d09"
              },
              {
                "Address": "0x0000000000000000000000000000000000000000"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xd744",
                  16
                ]
              },
              {
                "Uint": [
                  "0xa2d134a6",
                  32
                ]
              },
              {
                "Uint": [
                  "0xf9436284",
                  32
                ]
              },
              {
                "Uint": [
                  "0x8c404b99",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20556,
      16417
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1383378921,
      4027973
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x21e",
              256
            ]
          },
          {
            "Uint": [
              "0x7cd",
              256
            ]
          },
          {
            "Uint": [
              "0xc31de77ed5fe803aba0cd0fdaa97584b7a09834e6b6e0b069faa18978ae3b661",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13995,
      20505
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_setInterestRateData",
        "args": [
          {
            "Uint": [
              "0x5003fabc89541d45bb7071212b3d5e6ebcffde224ae36ab9d98e28e4836379fa",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x8048",
                  16
                ]
              },
              {
                "Uint": [
                  "0xdec05d87",
                  32
                ]
              },
              {
                "Uint": [
                  "0x1dc4318",
                  32
                ]
              },
              {
                "Uint": [
                  "0xc9886ef3",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24141,
      1467
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0x3eeb33ddbcbc4a2f99f958bf352849aa",
                  128
                ]
              },
              {
                "Uint": [
                  "0xaf06bbd480ad5727",
                  64
                ]
              },
              {
                "Uint": [
                  "0xfffe",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      417,
      16520
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13501,
      1432984
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x8e5588a156e1b9fdcc013172bfcf4dd06723a50b4b62738926e8c96efa3c913b",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0x186a0",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18597,
      11121
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1643,
      22105
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1151361307,
      12470
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shouldNotBecomeLiquidatable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20668,
      10523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x26e",
              256
            ]
          },
          {
            "Uint": [
              "0x75f39b6e60474d1be252188d4dceacf6c98abd0d9da84713dd35ec4f56531064",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0xffffff",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      355475
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25235,
      19462
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x673c5ab3c3bf8fc773119bda19d5ca819f44dd1b8177fa18a4825497d4e3796c",
              256
            ]
          },
          {
            "Uint": [
              "0x81716f44521c5ee6f73a9a9eae51b0877cf87a07c9835dffe0204e778802456b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15640,
      27013
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1540,
      5859161
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      906,
      5023110
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x11",
              256
            ]
          },
          {
            "Uint": [
              "0xb",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x3b8f8e177a",
                  40
                ]
              },
              {
                "Uint": [
                  "0x1d1",
                  40
                ]
              },
              {
                "Uint": [
                  "0xaec12b",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1046363170,
      2008
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xac6a3b194be952e078c9a20f132bdd468647101818531a8ba473caec87c46d57",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      983,
      14522
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10100,
      311
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shouldNotBecomeLiquidatable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15370,
      21322
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      299396960,
      647
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x8bef4c7dbd63f6022a618f0ab3f3779d2630d7dfa035eb7cdb58d2ff651d6fb7",
              256
            ]
          },
          {
            "Uint": [
              "0xef93e32513d9eeb2d4cdde0388d61de7bda8f6303db12d519844fd912244e3cd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      882,
      23636
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0x14bb336cae73e2de1ebaf13a65da1e6b",
                  128
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffe",
                  64
                ]
              },
              {
                "Uint": [
                  "0xa6",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      394,
      19244
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1610767703,
      5859161
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      619,
      25566
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_setInterestRateData",
        "args": [
          {
            "Uint": [
              "0x60bac881db84b4158d24f1849f6f988bce36f4f5d8998fd30180066f3d480f7b",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xdf79",
                  16
                ]
              },
              {
                "Uint": [
                  "0xfff199e4",
                  32
                ]
              },
              {
                "Uint": [
                  "0x46b06c5a",
                  32
                ]
              },
              {
                "Uint": [
                  "0x3ed",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1221,
      19624
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",
        "args": [
          {
            "Uint": [
              "0x5094c05a775ba3a97129ab5d030397d81ddd97a60dec91e9d377f67ffbb92735",
              256
            ]
          },
          {
            "Uint": [
              "0x31fea7c70d5f2d81a224376f47ad35a4aef096327fb36e5934fab45a9f30cf43",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19954,
      21019
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9329,
      2931614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0x228f84d36658a299f78e2a155f405b0075260777f12e511411ba106a5d7071fc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16189,
      3586774
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      7317
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4393,
      9326
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0xe182193f4beebd0845f4d8cdb19c53d0833af0566799febfe2c0f011866feceb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1293968808,
      17783
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      3099
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12215,
      25567
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x5e19cf2b612832a87c82d87fc2789841eebd96bf7b9ce39e705c7c8b75ef57cb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1737290764,
      7090
    ]
  }
]