[
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0x61976cf0b688ccbec343ed794cc878c8daf563a068ac13d2f361ed92322b1528",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x7d0",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18037,
      9948605
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x34bb",
                  16
                ]
              },
              {
                "Uint": [
                  "0xa61ff314",
                  32
                ]
              },
              {
                "Uint": [
                  "0x4fcf",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3984,
      15342
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0x772545e8fc81024010b7426eb1942fa9405d081dcd78bb535718d4bd20d903b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18982,
      6265
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18471,
      7578
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21526,
      8
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5688,
      12557
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedAssetsGreaterThanSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8946,
      3232
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0x9a52d916281602991197fef47b78cc8d20ce8485426906e3cc7b358688d2931a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1993,
      8660024
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0x2329",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1394,
      1013481
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0xfb477066212944a89454b98235bf5801501b07b41bf9f96f16389971eba6cf0b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10525,
      19863
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0x40932daae189a1976f5f7adbfd48200cbd111720166b39658eaea9143d5d1489",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Uint": [
                  "0x0",
                  16
                ]
              },
              {
                "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
              },
              {
                "Address": "0x0200000000000000000000000000000000000000"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x2c1",
                  16
                ]
              },
              {
                "Uint": [
                  "0x2e73e65c",
                  32
                ]
              },
              {
                "Uint": [
                  "0x6622edc8",
                  32
                ]
              },
              {
                "Uint": [
                  "0xd0fc77ae",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14974,
      6759
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6077,
      3539
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x9e410820f9e90bbb72b3bd799a10f5a73dc15e8d7f81764e5fbc6b8bf2e7e3b7",
              256
            ]
          },
          {
            "Uint": [
              "0xa1476fb91597aef20597fce91869e5bb4b409e813b2fbbde86e114054b8661a4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14777,
      7820170
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16176,
      6424612
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x288f80aa724cf30e0715944056e6f31ec70012a9d5ab50cfef41cf7a4ba0bc7e",
              256
            ]
          },
          {
            "Uint": [
              "0xb82d7dfbb2b8de82b38e3d3e53fb68f6962f4f8754caf4fe1279d695d51af062",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      623633851,
      138
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x3c6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9956,
      9395
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x9",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x39a5",
                  16
                ]
              },
              {
                "Uint": [
                  "0xa778d332",
                  32
                ]
              },
              {
                "Uint": [
                  "0x6fbf",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13013,
      13328
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x4a0db74b707908295cf973a601774fd03c8091c2120935bf072f699569e1c37c",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28167,
      23421
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x2fd7ba",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xf53f",
                  16
                ]
              },
              {
                "Uint": [
                  "0xfbcc5dbd",
                  32
                ]
              },
              {
                "Uint": [
                  "0x6558",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      412798397,
      19382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedAssetsGreaterThanSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3728,
      9727426
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22497,
      5452719
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x276cec5cae3f8cdb346d4810d34a54a003aaf1b71f992d6848a4e9cf9df431e5",
              256
            ]
          },
          {
            "Uint": [
              "0x3cf3f8",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1c20",
                  16
                ]
              },
              {
                "Uint": [
                  "0x27d8",
                  32
                ]
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1742523870,
      20764
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Uint": [
              "0x2b",
              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": [
      19164,
      6359
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0xb4d2935aceecf1fe5451d2cf977f24d3f374f04ed9781e6dce31a6c02bae5a1a",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13997,
      22943
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x9",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1edc",
                  16
                ]
              },
              {
                "Uint": [
                  "0x27d8",
                  32
                ]
              },
              {
                "Uint": [
                  "0xff",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13230,
      9072
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1553216125,
      17051
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xbd85b038",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1578,
      18197
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0x2e2fa714235a712c9af912c2041f84c3",
                  128
                ]
              },
              {
                "Uint": [
                  "0x2812e18a317f49b3",
                  64
                ]
              },
              {
                "Uint": [
                  "0xd513",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      92,
      20069
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_supplySharePriceAndDrawnIndexMonotonic",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1934257389,
      2536
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x5bd3d83d66be7f5258fd223ee2b947b0d49ce50d0b3cd721c49c3e81dc29cf9a",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x22c65844b1",
                  40
                ]
              },
              {
                "Uint": [
                  "0xfffffffffc",
                  40
                ]
              },
              {
                "Uint": [
                  "0x357c30",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15471,
      3407775
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x60cee6537b6d95c71a05e316774fe22d5bee7a8142f5ecdcd9dda2f7618ea84a",
              256
            ]
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10189,
      25589
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7841,
      10547
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      15617
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x2881b41d18a488da39ea9aaf69c8ea3395dbe1168de0ccb767ffa81cb7ef9cfb",
              256
            ]
          },
          {
            "Uint": [
              "0xa1d96f9a34d56ca81befea2027d93c167a40bbed89af909d35b23e1a82df94bf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1446,
      16706
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1485,
      12175257
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81452,
      3
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",
        "args": [
          {
            "Uint": [
              "0xa9abba4462ef15e46a51b8d3ae7f6ad9567430fb8f109eaf03c617ae4e4",
              256
            ]
          },
          {
            "Uint": [
              "0x67321910f20abb6fe7680fd68020f3eb0a7833bb952aec6c00c058cb9fba5287",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21256,
      1489134
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x16",
              256
            ]
          },
          {
            "Uint": [
              "0x48",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0x186a0",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25462,
      5557
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1269100826,
      9930482
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0xa571e285130018bde25e559e7d3d94b638a5c9be0641f11fd7c8e5edf8024499",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      364781292,
      9272
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_setInterestRateData",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x38a",
                  16
                ]
              },
              {
                "Uint": [
                  "0x425769cb",
                  32
                ]
              },
              {
                "Uint": [
                  "0xe2fcd5b7",
                  32
                ]
              },
              {
                "Uint": [
                  "0xd6c97874",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13558,
      207
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x48df3d1c209535d3f18dcc97ff98a6d4909b1889db041ef8846798171b303b32",
              256
            ]
          },
          {
            "Uint": [
              "0x100000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10267,
      26706
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          },
          {
            "Uint": [
              "0xc83961888782d6de433acc39a742cf4577f0888b33b8158b1b26b95ce84eba7e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9641,
      9931664
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",
        "args": [
          {
            "Uint": [
              "0x1e78",
              256
            ]
          },
          {
            "Uint": [
              "0x1435eb1454f55",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2468,
      17128
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x113d59f0653085ceff485a85f6a7f6855895176587c49d07345f98668a1e3c3b",
              256
            ]
          },
          {
            "Uint": [
              "0xe75f1ae1ec0ae27ceb6f00a3ace76ea5959f81254d5d8071f3e386a66b88cfca",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x6460ba7f",
                  40
                ]
              },
              {
                "Uint": [
                  "0x9cc0e2d3c4",
                  40
                ]
              },
              {
                "Uint": [
                  "0x4d7781",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16797,
      20382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13351,
      11064
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0x7ce",
              256
            ]
          },
          {
            "Uint": [
              "0x398cb21e5ec3a1ca89404117be192572b7f565cbf4cf816101a031884ac11c66",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x5675c9f61fd21f8bd37ff92d8d2c46ab4c3550d5d766da9dc2e0b2deaf121272",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15644,
      13713
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedAssetsGreaterThanSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6580,
      11419
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0xfb3410c1d10093297d7b5212876dca5ae4a4c2fb7a48549c9ca2f2b12d916baf",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      340819795,
      2932835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16288,
      23703
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xf4c7c188b3c15db4717993d8056d120398c9f40875dccdf8a231bdffa49d3398",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2293298996,
      8931814
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      624,
      22951
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3486,
      11123388
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0x113cd52804e36a7f3ae2c00268d7a0294fd2431dca922bd4d91f29c398a2521f",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xef7fd7d824",
                  40
                ]
              },
              {
                "Uint": [
                  "0x124",
                  40
                ]
              },
              {
                "Uint": [
                  "0x93ac8f",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3208,
      7938162
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1401,
      7395
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0x27",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10386,
      16508
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0xebcad8516de7f50dd518e1881e7e3f351b0452bdd5ffb4f8af9a5176e4849830",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1388,
      4085
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3683,
      90
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x26a",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x379600b0a",
                  40
                ]
              },
              {
                "Uint": [
                  "0x92d8716fea",
                  40
                ]
              },
              {
                "Uint": [
                  "0x79d762",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1563,
      5859161
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x5a9db8c6927c9851e6fc8935acfe643101629930"
              },
              {
                "Uint": [
                  "0x7a08",
                  16
                ]
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xdda85efe5e2072bb8edb2f71e80c7287ad86ef10"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xd4f2",
                  16
                ]
              },
              {
                "Uint": [
                  "0xfffffffd",
                  32
                ]
              },
              {
                "Uint": [
                  "0x78e1eb5b",
                  32
                ]
              },
              {
                "Uint": [
                  "0xfffffffc",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6263,
      7082558
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0xe2c212158576e18dcb55b230fa72e4200999e2561af104208715769923d232ca",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x0b27ed2506ad7477a0bc0e2038d17654f2a13b29"
              },
              {
                "Uint": [
                  "0x26a",
                  16
                ]
              },
              {
                "Address": "0x0b27ed2506ad7477a0bc0e2038d17654f2a13b29"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xffff",
                  16
                ]
              },
              {
                "Uint": [
                  "0xfffffffe",
                  32
                ]
              },
              {
                "Uint": [
                  "0x7b53235a",
                  32
                ]
              },
              {
                "Uint": [
                  "0xde7170a9",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6716,
      6741
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0xa1d7fe11a2997ded5d4288ae73ef77eb7744b4e87ceb335d85e1baa63733065b",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12775,
      2335
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20083,
      5891574
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_supplySharePriceAndDrawnIndexMonotonic",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23236,
      314
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0xe960b0152144f2112168c6d2775a2d",
                  128
                ]
              },
              {
                "Uint": [
                  "0x3e6f6401eff74410",
                  64
                ]
              },
              {
                "Uint": [
                  "0x35c1",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2025006007,
      118528
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x5b",
              256
            ]
          },
          {
            "Uint": [
              "0xded858",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1",
                  16
                ]
              },
              {
                "Uint": [
                  "0xffffffff",
                  32
                ]
              },
              {
                "Uint": [
                  "0xab65",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13154,
      8897083
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2568,
      20396
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0xa",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Uint": [
                  "0xb38e",
                  16
                ]
              },
              {
                "Address": "0xad7942923802b426187e1960a7e3d76f521d9e06"
              },
              {
                "Address": "0x0b27ed2506ad7477a0bc0e2038d17654f2a13b29"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x9dea",
                  16
                ]
              },
              {
                "Uint": [
                  "0x6a7832b3",
                  32
                ]
              },
              {
                "Uint": [
                  "0x5a99271d",
                  32
                ]
              },
              {
                "Uint": [
                  "0x334eb9fb",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10817,
      12595
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8582,
      6207
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11736,
      7663613
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      637460321,
      5859161
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0xd9bda7da67fcb7b7cef507fc88c3517daf4668f5baa9bb625901c79d9942b12e",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x6ab6",
                  16
                ]
              },
              {
                "Uint": [
                  "0x10d16029",
                  32
                ]
              },
              {
                "Uint": [
                  "0x4061",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27109,
      2235578
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x7b192bc6e101a59ba17ce903f997ca59a8d312c6bb5209e859c2d61d549ef529",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13759,
      18811
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0x407e9488e1615c5a6899d4f61efc003e182f53bfc38fb9496ffdd6f07202bbfc",
              256
            ]
          },
          {
            "Uint": [
              "0x267",
              256
            ]
          },
          {
            "Uint": [
              "0x37ffe5d88342dbd1224d5f192f729b048c65d4cd5bacaeb23f3227377c7ba98d",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1648196253,
      8029
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x59bc249e4e5614913c94d9c2a80052bd939da17b36f48b56e3d0941ee86d40a5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28362,
      4698794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0x67ce297afaa8abe573cac0cb036e7397fd31909cdfbe88c65e51a850746a7bab",
              256
            ]
          },
          {
            "Uint": [
              "0x7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2063685065,
      654
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x2c078a2b6a6c14add29eb02dd93d1610947ebeea94c59d689cd3a34bee1aac5f",
              256
            ]
          },
          {
            "Uint": [
              "0xb29f305637f77f3c2a5429de651b16c4d3cfb0daed138b74487356e11a9d1231",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x101",
                  40
                ]
              },
              {
                "Uint": [
                  "0x8b9aa865af",
                  40
                ]
              },
              {
                "Uint": [
                  "0xf",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19699,
      7988
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x4385d699b75720890908ad727ed50c1f823d8e1a"
              },
              {
                "Uint": [
                  "0x3a1",
                  16
                ]
              },
              {
                "Address": "0x5a9db8c6927c9851e6fc8935acfe643101629930"
              },
              {
                "Address": "0x0b27ed2506ad7477a0bc0e2038d17654f2a13b29"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1bad",
                  16
                ]
              },
              {
                "Uint": [
                  "0xd4fe7e09",
                  32
                ]
              },
              {
                "Uint": [
                  "0x4e120e1c",
                  32
                ]
              },
              {
                "Uint": [
                  "0xdf2e1df8",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2124,
      6401
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0xdeae715f4ee86d9c229954c63e30ecfcc5dfd93ac602ddb050ba5f9ea4e5683d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      610,
      222
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x195",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x3ec",
                  16
                ]
              },
              {
                "Uint": [
                  "0x901fe",
                  32
                ]
              },
              {
                "Uint": [
                  "0xca00",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3699,
      12287
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0x2a0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13795,
      23989
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4992,
      7015137
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x138a",
              256
            ]
          },
          {
            "Uint": [
              "0x59bc249e4e5614913c94d9c2a80052bd939da17b36f48b56e3d0941ee86d40a5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28291,
      409
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8220,
      8325
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      471999582,
      6633
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0x6eada4bf37e25379d3532333ccd569943a0c7b30b7223667b43d36b42d9dc912",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21372,
      3103075
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0x9056df10c6751f03c0dd57ca47ec0e8921a4f4d599cdc026b4fb163d836c8bf8",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x0",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4925,
      7983
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      813,
      696826
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0x37e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21854,
      11297
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x99fce628c2f61eaf23f9475c503241460db001c1"
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              },
              {
                "Address": "0x0a6e47dbfba7e9b3e6429686be65d6eac6355d09"
              },
              {
                "Address": "0x0000000000000000000000000000000000000000"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x8f6f",
                  16
                ]
              },
              {
                "Uint": [
                  "0x913f5da5",
                  32
                ]
              },
              {
                "Uint": [
                  "0x48bc41b2",
                  32
                ]
              },
              {
                "Uint": [
                  "0xfffffffb",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6198,
      8773
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0x6669d7de38e6bb5746db7283e036ef274785c223f1c460058f53f7b0828f6d96",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x99fce628c2f61eaf23f9475c503241460db001c1"
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              },
              {
                "Address": "0x0a6e47dbfba7e9b3e6429686be65d6eac6355d09"
              },
              {
                "Address": "0x0000000000000000000000000000000000000000"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xfffb",
                  16
                ]
              },
              {
                "Uint": [
                  "0x18d",
                  32
                ]
              },
              {
                "Uint": [
                  "0x7f",
                  32
                ]
              },
              {
                "Uint": [
                  "0xe9896571",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1649144448,
      14967
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x1f7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      181767472,
      15428
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0xbaa292cdfc2885028176cf7e30e006957588a510a2f0aec5c78d2803deef0f47",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xe01076",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      21143
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Uint": [
              "0x2bf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23970,
      4098
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23224,
      4319
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0x3e4",
                  128
                ]
              },
              {
                "Uint": [
                  "0x1d0cb0dcbdf6ba44",
                  64
                ]
              },
              {
                "Uint": [
                  "0x35ba",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      138,
      25123
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0xaeb62567da4ef2f00401207504a9892b17492060a39d3897df819cac39502266",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1140,
      6997
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20223,
      1310
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1190917950,
      2104
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29027,
      587
    ]
  }
]