[
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x8cf077e9db23b9f41d4dd02d47dff3f42e07fe2233459755d7111e454be0f94",
              256
            ]
          },
          {
            "Uint": [
              "0xada1d4d3acc334e523a066e31fbd84b7c453054db55c2616189b395689ff6032",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22717,
      32653
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      98590,
      4099
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_setInterestRateData",
        "args": [
          {
            "Uint": [
              "0x31e8f9b616aa1082f7fda104b6807ac52cfcc4e0c86d26583f",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x4117",
                  16
                ]
              },
              {
                "Uint": [
                  "0x3fba5b39",
                  32
                ]
              },
              {
                "Uint": [
                  "0x174c00e8",
                  32
                ]
              },
              {
                "Uint": [
                  "0xc9b06027",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27252,
      6081
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1792,
      7467
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25287,
      22382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9870,
      18972
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_setInterestRateData",
        "args": [
          {
            "Uint": [
              "0x43b00c8840358d6bb0389771a26bf0dca24a87eec598c7714a25e9095629e19f",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xffff",
                  16
                ]
              },
              {
                "Uint": [
                  "0x3b0",
                  32
                ]
              },
              {
                "Uint": [
                  "0xb967c0b",
                  32
                ]
              },
              {
                "Uint": [
                  "0x12d",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7247,
      14540
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_setInterestRateData",
        "args": [
          {
            "Uint": [
              "0x46",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x27d4",
                  16
                ]
              },
              {
                "Uint": [
                  "0xbc073330",
                  32
                ]
              },
              {
                "Uint": [
                  "0x22257148",
                  32
                ]
              },
              {
                "Uint": [
                  "0x8bde8602",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1971,
      22269
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21793,
      1889
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0x95940067a103e4bb5851f7b57815917e987c4adb5d905e3a452f66fa166dba89",
              256
            ]
          },
          {
            "Uint": [
              "0xe2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13833,
      2325
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0x6d79965eed6e46ddad86c06681e893c8f2766975d9c135daff03c084bb5c4e19",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19083,
      28050
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1261,
      43901
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7290,
      10743
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      374938,
      7393
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0x3984252a35955ba27d532d5a5d4eb8487d2ad4b1b3cc2a4a2984bce4ccec650f",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x0b27ed2506ad7477a0bc0e2038d17654f2a13b29"
              },
              {
                "Uint": [
                  "0xfffd",
                  16
                ]
              },
              {
                "Address": "0x5a9db8c6927c9851e6fc8935acfe643101629930"
              },
              {
                "Address": "0xc8dbeb7583022781ab33f999a5b90009d54ddf2a"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x108",
                  16
                ]
              },
              {
                "Uint": [
                  "0xa25b7932",
                  32
                ]
              },
              {
                "Uint": [
                  "0xb9755c65",
                  32
                ]
              },
              {
                "Uint": [
                  "0xffffffff",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13314,
      15234
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0xfcbc6cbe8d98390b2debcceca7b9e418056073b243ff49bfe813783c3b50687",
              256
            ]
          },
          {
            "Uint": [
              "0xdb252dda62835b14fcd43bd1d7fd235d2059ae39a0cc69f04339c4539d23f8a3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      21090
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0x1e8",
              256
            ]
          },
          {
            "Uint": [
              "0x6822c5c209a1450683fd63074668a804ad071192d22d4bceff00b3e9fb6a449e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18117,
      18774
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0x15e",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x3b302c",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      14283
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",
        "args": [
          {
            "Uint": [
              "0x5c3dd6946a93a173fc5e391c1ebcc2c3cff5aa86a2206a9299155622cf7e5557",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27821,
      17620
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_supplySharePriceAndDrawnIndexMonotonic",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      175187,
      11440
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0xfca80d9f2dee3efdb63ece2ab4397c0eaa1598c0bcbcc02ff739c292a246290e",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Uint": [
                  "0x6add",
                  16
                ]
              },
              {
                "Address": "0x0b27ed2506ad7477a0bc0e2038d17654f2a13b29"
              },
              {
                "Address": "0xf40eaaffe8b912bd032ea1628be6d9c726ce4daf"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1",
                  16
                ]
              },
              {
                "Uint": [
                  "0xfffffffd",
                  32
                ]
              },
              {
                "Uint": [
                  "0x3cf6c8d9",
                  32
                ]
              },
              {
                "Uint": [
                  "0x1b7bdc9a",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12471,
      2100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0x4e0249971f3fb285e48e6d17b9911ca570df0c7207ce1691e4dfcc4b0fe9facb",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x22207b",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      206798,
      9315
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0x605ee5be5a551be53ea26050c8009a2fa43d631be54df124882530207d572e56",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6393,
      10562
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",
        "args": [
          {
            "Uint": [
              "0xf8c2d6c8cc49070c0de252af293c5398db633068cf3373c6028021f689be256d",
              256
            ]
          },
          {
            "Uint": [
              "0x2f2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8287,
      4474
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x6feb27a84ac8c702fe2be067f19ce8323b6079dae0b629e3decaf70b04615d64",
              256
            ]
          },
          {
            "Uint": [
              "0x6f6415",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xb6af",
                  16
                ]
              },
              {
                "Uint": [
                  "0xcb8e13cc",
                  32
                ]
              },
              {
                "Uint": [
                  "0xd3",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11645,
      20913
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0x22513800004a4aba895e92670e4063f5",
                  128
                ]
              },
              {
                "Uint": [
                  "0xd95e951fdb5aeaee",
                  64
                ]
              },
              {
                "Uint": [
                  "0x2970",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      306299,
      58928
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0x46b07d7131bfa46fea9bc73a4c17d3f34ce90462dc77cc267ee85ca063e41ac0",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15667,
      150
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x4b3fb6f4e0e1da3e63aa5e55491e0cedea9b606aa40a935baea2011991a20631",
              256
            ]
          },
          {
            "Uint": [
              "0x4278b3",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xfffc",
                  16
                ]
              },
              {
                "Uint": [
                  "0xfffffffa",
                  32
                ]
              },
              {
                "Uint": [
                  "0xf8ec",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      114405,
      28606
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x70445c980e0074116f424740b4e6492735bf2dad184fbcf18cd266901c4fa35c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12150,
      14633
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12146,
      12014
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      512828,
      9717
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0x111e6fab2c10f1a489fe74891d882a0207b5e45925d588aaee5c00327ca3fca0",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17647,
      14959
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x63d97dfb1d8aa28e90d81e9bd40e8af4658fc6d1f3d51515679dacb971ec0d5c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      99135,
      4771
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0xe6ed27d66680000",
                  128
                ]
              },
              {
                "Uint": [
                  "0xb1a2bc2ec500000",
                  64
                ]
              },
              {
                "Uint": [
                  "0x5dc",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14005,
      5919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0x48c1247fddb854633a57486a77820e89d29d1f6a626253d0143fd9b679827c9c",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11769,
      608
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x1212c0270d71047590942ac63f3e76205956280a746b92e678b3380d5bca3a30",
              256
            ]
          },
          {
            "Uint": [
              "0x6a5297b272878d7a5400bb0397f6eca74f3cde002aa468be4aa88d1d9e7f06c2",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0x186a0",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19289,
      58844
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14685,
      14635
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          },
          {
            "Uint": [
              "0x6d9ac411f1c8675d0850cfd01e4fd6b10b905e62d713e07bef46f86dec2abde8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7896,
      27943
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x93c9430808c0789bad64574f27317e9db2091792a30ada5e30df2130260c09d6",
              256
            ]
          },
          {
            "Uint": [
              "0x9d225fc58221c00f1a37f6fbc1a7111db0865f3b27da611cecd014ff03d39d29",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xefe62a",
                  40
                ]
              },
              {
                "Uint": [
                  "0xab6091bb40",
                  40
                ]
              },
              {
                "Uint": [
                  "0xd2275d",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18738,
      1266
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0xb5429773901af4338c1b816b541a67a27b8decf356b4547f08314bc7a5670127",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25143,
      7343
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x64abbc5f9c8f969d5e02feaed97c0a71ce0616d7a65f20362dfe18f826c90f18",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      521256,
      9894
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0x84733",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x4385d699b75720890908ad727ed50c1f823d8e1a"
              },
              {
                "Uint": [
                  "0x476",
                  16
                ]
              },
              {
                "Address": "0x63cc067310651a362059263e8daffd5da238c73b"
              },
              {
                "Address": "0x0b27ed2506ad7477a0bc0e2038d17654f2a13b29"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x947e",
                  16
                ]
              },
              {
                "Uint": [
                  "0x7c425bd8",
                  32
                ]
              },
              {
                "Uint": [
                  "0x86b7017b",
                  32
                ]
              },
              {
                "Uint": [
                  "0x28d80098",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28831,
      8675
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0xb4fc6edac52818138dfd1f96cf020b454d742480e0b31bc780e345eeb6e4dbde",
              256
            ]
          },
          {
            "Uint": [
              "0xdb03fe3aa12de6b64755132b8eaf330c8fe47a64e1f4345070b227ca23b365df",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22783,
      7302
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20662,
      5598
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x5ba0f845114043abb74d18d950e7e842ba760f762cf3cc9e944c44f0e3c9d7fb",
              256
            ]
          },
          {
            "Uint": [
              "0x5eeb5a65306b9ff7c562659ee7a9e5981c70372a765f5c726dd0f783dd09932d",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xac31238950",
                  40
                ]
              },
              {
                "Uint": [
                  "0x798c5a5998",
                  40
                ]
              },
              {
                "Uint": [
                  "0x27b",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      4536
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0x3cda98fcf913162ee685eb742e4a481a05f9b007a16ee0ce0aac130f8abf3c85",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7002,
      21255
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x6ea0e0b08c41518c706487df1b6658a1c0752bbcddd00a0f17a5e2757ef6f885",
              256
            ]
          },
          {
            "Uint": [
              "0xba5f2ff6d84bac1a3fa14bf62508010084d6ddc687eab0199b5c173a8bb5800c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17064,
      20259
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0x22d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      309,
      553
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6294,
      3351
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xfffffffffd",
                  40
                ]
              },
              {
                "Uint": [
                  "0x1ba",
                  40
                ]
              },
              {
                "Uint": [
                  "0x2c1",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9016,
      18194
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24958,
      2662
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3596,
      17746
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x256b5eeb9e9b53acedfbbbe429f3ac5d1a053521b9d1754605c032671ce1c0fb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15645,
      2833
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shouldNotBecomeLiquidatable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7142,
      51999
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Uint": [
              "0xa1c3b4e75dcabced334104b63d48b566edc9dce52c56e91d7bbba758c6ba4200",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26554,
      8890
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x737d41ad97619f4daa85a320183ca2ea5338a116434286d175c479b9f58666a5",
              256
            ]
          },
          {
            "Uint": [
              "0xd0337d44868160c247d42a342c7d394c4d5026460f1fee37e7612a58b25270b8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11197,
      14784
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11497,
      20361
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0x6804e46f51e7e3d709d951173f1235f6de5fc1faf4233c652c6317e3b425cac3",
              256
            ]
          },
          {
            "Uint": [
              "0xf260552cb922ec55932a8e831bfae07608e4392d1ee044c3010bd367f9a9e557",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12494,
      16391
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x6daed6c2a2276dfb0579de112c65df314245881fe561170018fe58c8c97dc450",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21961,
      18058
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0x1e7",
              256
            ]
          },
          {
            "Uint": [
              "0xb1d0179c4b5549ddc5300d66b1be1f57a4751cdffd7187c98d449251e1571e5e",
              256
            ]
          },
          {
            "Uint": [
              "0x9cae04ae3bbf4ed7abdf65aab0ea5f7ee9da9345622b857a66be7e0395f11fd2",
              256
            ]
          },
          {
            "Uint": [
              "0x69f8f8c546270e8d2422",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12996,
      2473
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x1a24ecbcfa5fb2202acf60122292ccdaf55f175d896efec49cefe7dfd6dffb2a",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x0",
                  16
                ]
              },
              {
                "Uint": [
                  "0xba3c2cc",
                  32
                ]
              },
              {
                "Uint": [
                  "0xfffe",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14825,
      1211
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18451,
      4600
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0xbaaf223cd0afbe6a4fb5af867ef9a60775bcd7c1ba840cc729341f2e3a3594ec",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22882,
      13728
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0xf098a068b6fc8f858b46fe2b0c89279f6d37d8a1fa554ceac8b758164f847863",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6198,
      1602
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0x15e01dc4dab7caa0161e49dab5699aed439b44e9fe39d29d635fcdd144f9d318",
              256
            ]
          },
          {
            "Uint": [
              "0x217",
              256
            ]
          },
          {
            "Uint": [
              "0xb6078dba34d80a3157184b53ff233b92a214afa62ee2ccd730271275e46416a0",
              256
            ]
          },
          {
            "Uint": [
              "0x782a9fb13d780c2f38774dc3462da80438eefffa75d58c2db08aff05f72ab207",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3483,
      701
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0x8c67f29c60a5757b559b3ae3a4d9e809040cd749ea728debdf9a634395ff35b",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x99fce628c2f61eaf23f9475c503241460db001c1"
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              },
              {
                "Address": "0x0a6e47dbfba7e9b3e6429686be65d6eac6355d09"
              },
              {
                "Address": "0x0000000000000000000000000000000000000000"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x0",
                  16
                ]
              },
              {
                "Uint": [
                  "0x2f2",
                  32
                ]
              },
              {
                "Uint": [
                  "0xb7f69cd3",
                  32
                ]
              },
              {
                "Uint": [
                  "0xd4b51223",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26297,
      26261
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0x22e",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x0",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      199071,
      19000
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x1ad",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x7d33",
                  16
                ]
              },
              {
                "Uint": [
                  "0x1866548f",
                  32
                ]
              },
              {
                "Uint": [
                  "0xdbab",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      374933,
      49627
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x21f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16824,
      25532
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15668,
      1456
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0x9ad975089551ef73beae98bff8379b66f43377a09db8a17dad7aa02f081cc351",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xe4e859",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      95701,
      22167
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0x245d83e7e594f991253886f84b9a10b1",
                  128
                ]
              },
              {
                "Uint": [
                  "0x5c0c7b8fdaffa00c",
                  64
                ]
              },
              {
                "Uint": [
                  "0xa966",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20963,
      21855
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_supplySharePriceAndDrawnIndexMonotonic",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15468,
      1444
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0x14518780215d998b9c8b376e647f29286465ac959058a912f92171c4b06f64b2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12811,
      6354
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16305,
      14959
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3021,
      16277
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2543,
      7951
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0x1000000000000000000000000000000000000000000000000",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4406,
      42704
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0x77fd06d2239a065f99cdf97ce9f85b2852583e880ad6c909fb8b9cfd09dcab4e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      467327,
      9279
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17496,
      97
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14913,
      53
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedAssetsGreaterThanSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      476807,
      34142
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0xc7c8d5fbf50a6cd25e3d353ac5c22056df292b8b193bdcdd63a9ff9a2e2ee290",
              256
            ]
          },
          {
            "Uint": [
              "0x41517755c8096c3352002d86290f283120e8133da12147bd5cef839a62e51dbd",
              256
            ]
          },
          {
            "Uint": [
              "0xa761bb5aca1e7673031c5f09d9fc3b10342a2db5f6c8f2ec0c89c1f58de12fb9",
              256
            ]
          },
          {
            "Uint": [
              "0x349d10efef0d38d767df2092566995a53fa6c21984e319478ad08da1a83d569",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11470,
      20107
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27990,
      26108
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0x4fd4faf604ee14e04ee48ee0861720a9c053c37c01f9f5956aa409d59984b81e",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13309,
      1352
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0xaf559042636365831e3ec6206aa2d47f7090bc3eb2d0d5b8983af8fe14123a77",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23490,
      27417
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      350072,
      29484
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13250,
      16490
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0xc45b7bd020eb4c5c2bd47b2bec248c5b2446c8f7daab7e2aafb9a3e3262fcf5a",
              256
            ]
          },
          {
            "Uint": [
              "0x5c93778eeb6eaca99e5225dce0776cd6c4e071ea284e77baaa7b98f134568148",
              256
            ]
          },
          {
            "Uint": [
              "0xa7537ff9b5b39a16c6077442799b37a74f44f4f347765a7481ff4c6a0025a6f8",
              256
            ]
          },
          {
            "Uint": [
              "0x10c",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17554,
      12016
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0xb5bac90bac07096050dcc9d1b41331dd097d457c5c30b3f577c1f87c9071d465",
              256
            ]
          },
          {
            "Uint": [
              "0x9c6ad548663e52d8c6127e9e6a392ff52b7828f889e52037dc24c03220b0dd03",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0x186a0",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22107,
      18100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81596,
      7004
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x98a3bed32e6555d9156e6bc562ec7b4a8e2076a44ff1f0ad9bf99eb7efebbfbd",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x6f80",
                  16
                ]
              },
              {
                "Uint": [
                  "0x8e8832ed",
                  32
                ]
              },
              {
                "Uint": [
                  "0x50cb",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26297,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0xbaa8cedd5092acef191539156ec6229d00749a283ca6523d70147ff3823ef5d4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      392086,
      12212
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0xa988bbb09525b594706297b3d9db7b4a236614cc5194083a9ad4f849960943ad",
              256
            ]
          },
          {
            "Uint": [
              "0x19efc689a32b6280668b1a5204d4787828cb1b9e01bae06daa6330db23a3769b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      481,
      16547
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0x3c",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14084,
      13830
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x41a00b6c5df677f102563bfe73760f4e078a9b83be1ffa614965ca871efe4e53",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x32ad",
                  16
                ]
              },
              {
                "Uint": [
                  "0xffffffff",
                  32
                ]
              },
              {
                "Uint": [
                  "0x56",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6475,
      8666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15618,
      25382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Uint": [
              "0x8c506a4e06e347a096d4de075517426f98c49cc3b0c852c45b68403d5689fbaa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71016,
      8830
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x6ea0e0b08c41518c706487df1b6658a1c0752bbcddd00a0f17a5e2757ef6f885",
              256
            ]
          },
          {
            "Uint": [
              "0xba5f2ff6d84bac1a3fa14bf6250801008cd6ddc687eab0199b5c173a8bb5800c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      553387,
      10873
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",
        "args": [
          {
            "Uint": [
              "0x237",
              256
            ]
          },
          {
            "Uint": [
              "0xc1d4445c8e1918a1d4329d0f99b085dcb82cf0b15e3679f94abef1b06245b5f6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17389,
      5875
    ]
  }
]