[
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x7f1d53f5e33ea7df9237c0360157df0d9ba7d7274b1f67cb49e6593ca7680b0a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6120,
      9327
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0xfe575a88",
              256
            ]
          },
          {
            "Uint": [
              "0x6e0c28af734bdf2e4aaf433e9796d6b2dae77e4b9e8edb0ea6e4e23da12cb117",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2140,
      166
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x10",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x32de469",
                  40
                ]
              },
              {
                "Uint": [
                  "0xdf289ddaae",
                  40
                ]
              },
              {
                "Uint": [
                  "0x17c5ba",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33422,
      12272
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      23782
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x40000000000000000000000",
              256
            ]
          },
          {
            "Uint": [
              "0xccc520",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1952",
                  16
                ]
              },
              {
                "Uint": [
                  "0x56ee739a",
                  32
                ]
              },
              {
                "Uint": [
                  "0x3a1",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15241,
      22716
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      180394194,
      18816
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19820,
      12074965
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xa1e5a731643ef7a032fca4647052721b87ccccb5c63ffce1d771e66e1cf1c9bc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18082,
      3879
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21711,
      4477860
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x38219ed6bcf05af22fb6c417f78d6162c12e824731e44c73661c4fdacd2c8c19",
              256
            ]
          },
          {
            "Uint": [
              "0x47",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      479,
      13015
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1960,
      22239
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0xfb235b380a1043e09ee7390c656643f420a84750e52a4ccf376f8e2231259367",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2266004080,
      15504
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x2713",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1556648256,
      687
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x24721342d1010a9c8bcf556c1043efc6c7c2ea3c9441436bd17b2fca6d1eef94",
              256
            ]
          },
          {
            "Uint": [
              "0x3c1",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x3a3585feb7",
                  40
                ]
              },
              {
                "Uint": [
                  "0x75511fa9cf",
                  40
                ]
              },
              {
                "Uint": [
                  "0xfbcd21",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8062,
      11807820
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0x5",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1d9",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4404,
      24052
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shouldNotBecomeLiquidatable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6648,
      6935
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      420095442,
      65843
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x42",
              256
            ]
          },
          {
            "Uint": [
              "0x52",
              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": [
      2763,
      6186909
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      905414750,
      16454
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0xa86b",
              256
            ]
          },
          {
            "Uint": [
              "0xe8f956b942b1ca3366d600b681f7c999163458de41de98627a9219908f6a7fb1",
              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": [
      26048,
      3353
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0x4f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      254,
      8565740
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_supplySharePriceAndDrawnIndexMonotonic",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5506,
      4405
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23357,
      22197
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26116,
      15235
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51008,
      7004
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xf98a26b07f690004a78718942d58688036b3da82a2764ca1f16dc3893c966f5d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5748,
      19403
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28660,
      5408
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0x1721137287e10e0657c3dd50f89",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      4600
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0x648b9424454a80c45584ce4757798600da6dbc6556ee9ec0e0695c04fb0c3d31",
              256
            ]
          },
          {
            "Uint": [
              "0xd04e41043cb271955e0f16ddcf538f9a5207ec18041f896c427173c12308a534",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1586463730,
      17023
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x1aa",
    "delay": [
      19569,
      12439
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0x8000000000000000000000000000000000000000000000000002327",
              256
            ]
          },
          {
            "Uint": [
              "0x5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x6124fee993bc0000",
    "delay": [
      17675,
      16529
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x34a63d4e9ff675b18dc03d74f373a29de5517590fe6b59cc990c9890e1460cc",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1c20",
                  16
                ]
              },
              {
                "Uint": [
                  "0x2774",
                  32
                ]
              },
              {
                "Uint": [
                  "0x4b0",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34560646,
      925697
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x36bbefc5fc8b6b8c7fa1f3692adb3f669020f8eabbdda30125946cf1dc923efe",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xab23",
                  16
                ]
              },
              {
                "Uint": [
                  "0x76d8fc18",
                  32
                ]
              },
              {
                "Uint": [
                  "0x9ccc",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2623,
      7843
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0xfd",
              256
            ]
          },
          {
            "Uint": [
              "0xbd85b038",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27313,
      12671
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19243,
      6606
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x3b9aca00",
    "value": "0x0",
    "delay": [
      977558603,
      8466
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0xe88fe9357ef90b0d0b9110c116d328575e6c44d765b61999b321aa836dc667c2",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xde0b6b3a7640000",
    "delay": [
      1313373039,
      1267
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2269,
      20507
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16492,
      11594248
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0x580edb39b7419cad31eee9f6c0b3fc7527de720b97d5271d25efcbd14775338a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2687,
      7017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3092,
      10509
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x3b9aca00",
    "value": "0x0",
    "delay": [
      6196,
      19821
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_supplySharePriceAndDrawnIndexMonotonic",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2002429236,
      12567
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28670,
      20394
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x3b9aca00",
    "value": "0x0",
    "delay": [
      20906,
      17845
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0xe7807d00f709a193e89746407d52108ac90ac1f64aa5fb2975db35b385c43ce6",
              256
            ]
          },
          {
            "Uint": [
              "0x180c60c16d7028ff6ee85f37e99f467a64bddd19396b69a6c305b2327c9aad85",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1146166001,
      3523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15457,
      2630
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_supplySharePriceAndDrawnIndexMonotonic",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13811,
      7629
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x26",
              256
            ]
          },
          {
            "Uint": [
              "0x726798",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xaf9a",
                  16
                ]
              },
              {
                "Uint": [
                  "0xb000efd7",
                  32
                ]
              },
              {
                "Uint": [
                  "0x6f73",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7747,
      3755230
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0xa5ad5caeccf4532418acca8d1e5814fd9ca679bf081efc43f0f9590a684de64b",
              256
            ]
          },
          {
            "Uint": [
              "0x7f883b49bd3c93fa9898a360202c3ffe354fe82ab5ae",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12545,
      1377183
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Uint": [
              "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5972,
      9345
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x1b0394e402c278ceb2d12d1875b161b8bb36817032057f9f1cae98845a9e2670",
              256
            ]
          },
          {
            "Uint": [
              "0x101",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0xb2d05e00",
    "value": "0x0",
    "delay": [
      4019,
      5610
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2213220284,
      341
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0x66eef",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x3b9aca00",
    "value": "0x0",
    "delay": [
      19741,
      870
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x249e9ac16b0ee64bb0defff12f6f17833f57ca4dea861e57d4b27ce4dbed165a",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0xffffffffff",
                  40
                ]
              },
              {
                "Uint": [
                  "0x186a0",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      267951524,
      2477753
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0x1204d4ff06783a76fb3540c62d61edc20115ec6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13970,
      18077
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0x66",
              256
            ]
          },
          {
            "Uint": [
              "0xdd831ff64370bf0dab80101e7676272f9d2eee837bab0e5ec367db0bd0f769bb",
              256
            ]
          },
          {
            "Uint": [
              "0xf447d96151f0dd80b4ee7f0829da2dfc66f8786531a639d9c3c192e15e4527c8",
              256
            ]
          },
          {
            "Uint": [
              "0x98befb4d1a86c3923a5c9075ffdeb977287fc9ff05dab9660db65e44050d7789",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20877,
      11570
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0x58a5aad04c92ba8ee759f99f5ef0d2f6dadb84a43a60ebd1a0ef1f4b6f3d4f72",
              256
            ]
          },
          {
            "Uint": [
              "0x283",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x3b9aca00",
    "value": "0x0",
    "delay": [
      9998,
      10834
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0xe76f045400",
    "value": "0x0",
    "delay": [
      6325,
      7438389
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22309,
      23937
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0xbd85b036",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x99fce628c2f61eaf23f9475c503241460db001c1"
              },
              {
                "Uint": [
                  "0x1f4",
                  16
                ]
              },
              {
                "Address": "0x0a6e47dbfba7e9b3e6429686be65d6eac6355d09"
              },
              {
                "Address": "0x0000000000000000000000000000000000000000"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1d7",
                  16
                ]
              },
              {
                "Uint": [
                  "0xffffffff",
                  32
                ]
              },
              {
                "Uint": [
                  "0x9635c300",
                  32
                ]
              },
              {
                "Uint": [
                  "0x9c623268",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x3b9aca00",
    "value": "0x0",
    "delay": [
      13395,
      3499
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xe45d83b5b7aeb916350cec3ac359d6d074d2f280798f4ec91dcd1fe4100768aa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11428,
      11917
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26207,
      12947
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0xfe575a84",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16886,
      1570078
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1781,
      14221
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0x70a08231",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19401,
      2225
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0x2326",
              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": [
      25233,
      24053
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      953514771,
      15582
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0xe54093d251d788cd3fa02bd5858bfebfa65976c89c293f4286c917cb61c09336",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x0",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x80775e1e8d150d6e25",
    "delay": [
      26355,
      16646
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4491,
      21431
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0xa09de9210e8256188b8112eb536c1dc017b50da66055b7729105578ed9c955c4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x1",
    "delay": [
      314476328,
      34
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shouldNotBecomeLiquidatable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      486504908,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0xa4ae",
              256
            ]
          },
          {
            "Uint": [
              "0xad9c42a52edd05ba7879483509ad6d442eb88f6a574427ad0a03ea6080b14d9d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xde0b6b3a7640000",
    "delay": [
      10886,
      26678
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x112a5f5168f356af2fa",
    "delay": [
      10317,
      645
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14249,
      7955
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0xb6aac60f92418694fd040cc340ff59a94d6b6ed5f4a5eff218a556068132c3b5",
              256
            ]
          },
          {
            "Uint": [
              "0xb0",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1c20",
                  16
                ]
              },
              {
                "Uint": [
                  "0x27d8",
                  32
                ]
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3480,
      16027
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0xa866",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1359,
      18176
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0x3f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7359,
      5859161
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x66",
              256
            ]
          },
          {
            "Uint": [
              "0x243",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1edc",
                  16
                ]
              },
              {
                "Uint": [
                  "0x27d8",
                  32
                ]
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      864765861,
      5619
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0x5f",
              256
            ]
          },
          {
            "Uint": [
              "0x6b238e9fe79eaf2da0d88846a459ca10e7ec0d30e528aa091682545cde5adedd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61681887,
      12560
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a1",
              256
            ]
          },
          {
            "Uint": [
              "0x7550cb",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1e14",
                  16
                ]
              },
              {
                "Uint": [
                  "0x2774",
                  32
                ]
              },
              {
                "Uint": [
                  "0x4b0",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      823,
      22382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0xfdd58b",
              256
            ]
          },
          {
            "Uint": [
              "0x28",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10134,
      24032
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0xfebf5bfaecb68f18ebc8b0729e13a246a9c04789b4e914f9387076e6e730d225",
              256
            ]
          },
          {
            "Uint": [
              "0x21e",
              256
            ]
          },
          {
            "Uint": [
              "0x14d",
              256
            ]
          },
          {
            "Uint": [
              "0xb3a6929dfef7e18513532afdfd4fc6b10df68caa47fe642427e5d36dda7517b4",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16139,
      23548
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0x100",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x99fce628c2f61eaf23f9475c503241460db001c1"
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              },
              {
                "Address": "0x0a6e47dbfba7e9b3e6429686be65d6eac6355d09"
              },
              {
                "Address": "0x0000000000000000000000000000000000000000"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xffff",
                  16
                ]
              },
              {
                "Uint": [
                  "0x268",
                  32
                ]
              },
              {
                "Uint": [
                  "0x3d8b7f68",
                  32
                ]
              },
              {
                "Uint": [
                  "0x2d9",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2536,
      21819
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0xc58c648f3308e203c68bded43a740812f292db268c7125499df51edab3d3a2bb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48232,
      57585
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xc0946ae01b604fc48d47b46faaebc19db7b3ddc92c6ca440bbdee687285c5d15",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2507,
      1063704
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0xe47d6060",
              256
            ]
          },
          {
            "Uint": [
              "0x70a08232",
              256
            ]
          },
          {
            "Uint": [
              "0x184be5b4a905ba41963f45626a19292e2b17380510cff8014ba19c5855a8de",
              256
            ]
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1701489323,
      23394
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Uint": [
              "0x80ab6a",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xdbeb",
                  16
                ]
              },
              {
                "Uint": [
                  "0x2f92f6e",
                  32
                ]
              },
              {
                "Uint": [
                  "0xb83a",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8877,
      11190036
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5309,
      25259
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0x97",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      938736054,
      16512
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0xd4d4ed21d510d6cacd9a070e785e65983f0183b8021cbc44d47a1c551cd7beef",
              256
            ]
          },
          {
            "Uint": [
              "0x9025d8",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x133",
                  16
                ]
              },
              {
                "Uint": [
                  "0x377",
                  32
                ]
              },
              {
                "Uint": [
                  "0xb9fa",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18892,
      16232
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0xa867",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Uint": [
                  "0x1d7",
                  16
                ]
              },
              {
                "Address": "0x0000000000000000000000000000000000000068"
              },
              {
                "Address": "0x63cc067310651a362059263e8daffd5da238c73b"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x6aaa",
                  16
                ]
              },
              {
                "Uint": [
                  "0xe261e32c",
                  32
                ]
              },
              {
                "Uint": [
                  "0x135fe9f",
                  32
                ]
              },
              {
                "Uint": [
                  "0x9916ec09",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11125,
      23683
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x9b4efa291a8aba2697ccce14d4e0e0555633edea6b807850fa5170867a0ec4e9",
              256
            ]
          },
          {
            "Uint": [
              "0x314",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x80e2",
                  16
                ]
              },
              {
                "Uint": [
                  "0xc9",
                  32
                ]
              },
              {
                "Uint": [
                  "0x3d92",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1053,
      11138
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xfe575a86",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14963,
      17066
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shouldNotBecomeLiquidatable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26300,
      28185
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23123,
      5859161
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_setInterestRateData",
        "args": [
          {
            "Uint": [
              "0xa4b2",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x0",
                  16
                ]
              },
              {
                "Uint": [
                  "0xbd0532",
                  32
                ]
              },
              {
                "Uint": [
                  "0x74b1964b",
                  32
                ]
              },
              {
                "Uint": [
                  "0x73f65b2d",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2229,
      4073726
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      816206471,
      14834
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0x63",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6749,
      3814200
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shouldNotBecomeLiquidatable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1642628423,
      13593
    ]
  }
]