[
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20823,
      763
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6265,
      711
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_oracle",
        "args": [
          {
            "Uint": [
              "0x3d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1092063020,
      19816
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      759274495,
      6424613
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedAssetsGreaterThanSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2101,
      22657
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0xe86315a8b9f4e4c89a7965461cd9181c891034371b0fe4ba2f8f29aa7484a06f",
              256
            ]
          },
          {
            "Uint": [
              "0x25a67cbf165ebf08f12a3e7039a0092a2252148a9092045e5fa05038c96eb73",
              256
            ]
          },
          {
            "Uint": [
              "0x88",
              256
            ]
          },
          {
            "Uint": [
              "0xa5e3271db4b94fa7236046173bfb767a1e7727c2981be6b2468541d6244a16c7",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2250,
      21186
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0x264b83b0f0aeedd1fc7fa781b217a9b076787e6e5114ec463ba44f3ed0043eb",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xdb3b3f",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10816,
      15340
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28991,
      6199
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18501,
      7898
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x1f3f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7479,
      13
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0x44",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17716,
      563481
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11604,
      6912
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0xc6102e8a97eaf2622517d776f40f38277313455ef8e7e9ea18f173ebfde9722f",
              256
            ]
          },
          {
            "Uint": [
              "0x6490d97d0b65afc740363f580fa2e3bfc6bc25bcf019129c598af3afb74c9113",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12890,
      2298443
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11577,
      809
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8478,
      9253530
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0x449ed233efd2507a38c2a1eb59b44811dd3e5b2e3767dacdb42eed4c6fff6dfb",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x2c6083",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22814,
      13464
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8840,
      1172370
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x5b51c81e8a501ae91aa7cc1abfbaada1af0d458b329d3725a6233291eeba5a0b",
              256
            ]
          },
          {
            "Uint": [
              "0xfbf69794a47f31ba1508f8971df39cf12147201395e5ec77781a5bccafacc453",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15710,
      12614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x22924e21da4e607eb3dc7d64eb162e7ed47d71817b79d08288c5c296663803a7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28499,
      3009
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0xa9a0ac173406efeda7f15c8a6f8e9a90b42a4de81b03c4da57c549c1466dbd1f",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x99fce628c2f61eaf23f9475c503241460db001c1"
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              },
              {
                "Address": "0x0a6e47dbfba7e9b3e6429686be65d6eac6355d09"
              },
              {
                "Address": "0x0000000000000000000000000000000000000000"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1a",
                  16
                ]
              },
              {
                "Uint": [
                  "0x2a1a6075",
                  32
                ]
              },
              {
                "Uint": [
                  "0x17f24b1a",
                  32
                ]
              },
              {
                "Uint": [
                  "0x83bdaf89",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      504568671,
      3343597
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0x309",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24931,
      96063
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",
        "args": [
          {
            "Uint": [
              "0x1d7c5308e44d5e30acb1c63fe49a081eacf784c0cc1d45492860162a22f24f8f",
              256
            ]
          },
          {
            "Uint": [
              "0xd9feb24c4b0c7a50b494b6102b5959a7b9ee8702d3f38ea7fcb2460996568024",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20986,
      16480
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10030,
      7734485
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17877,
      2766
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11367,
      10818
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x8e118839da91ce3436ff45d80afb99e1807390a2e535d8e7b6687550806a2f99",
              256
            ]
          },
          {
            "Uint": [
              "0x965dc365adfa1f5fecd9f68524bdca9c92b04494ecf99c07390b67ef91dcd173",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      651780623,
      9043
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0x81b8fad38210fb7b1b13eddf3deba9d12f130443b3b0aab74e948894a5eb87c4",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3540,
      21610
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0x25597966ad7825ea087ac9333c22445e188584900c6cdce98826aa404540c278",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      824722944,
      3204
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1881043196,
      16408
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      193,
      19117
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0xff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2177299021,
      7365
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0x98",
              256
            ]
          },
          {
            "Uint": [
              "0x5e613e6ad97a8c77aab2195204933ed5e2929926b833305192057512f9900f3f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19805,
      12768
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserDynamicConfig",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5331,
      2447
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1d4c",
                  16
                ]
              },
              {
                "Uint": [
                  "0x283c",
                  32
                ]
              },
              {
                "Uint": [
                  "0x5dc",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      421607,
      3027
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      624471776,
      4330367
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0x1938d2a7d9d1b7e0f859966dfc41ad310e45c5fbeaf05c9db446e2e84f4ffebc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3597,
      12828
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x58315643ba79677f9d3bfccf3c63658772148b3dc443350d5d7430c9397bcba5",
              256
            ]
          },
          {
            "Uint": [
              "0x5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10862,
      285
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0x2776",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      617,
      1262
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_spoke",
        "args": [
          {
            "Uint": [
              "0x3e8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      804840003,
      9834
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x2d205fe70431c50f9e4d8f11a7f266e69cce271eb8569bc41d37d72bac42ff30",
              256
            ]
          },
          {
            "Uint": [
              "0x926f31638539b44545cf55",
              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": [
      19753,
      2658105
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0xa28c7e7f72df5bb08cfdc265f293c68cde6f165a0b9a2da586ec37e8fc31b828",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x99fce628c2f61eaf23f9475c503241460db001c1"
              },
              {
                "Uint": [
                  "0x3e8",
                  16
                ]
              },
              {
                "Address": "0x0a6e47dbfba7e9b3e6429686be65d6eac6355d09"
              },
              {
                "Address": "0x0000000000000000000000000000000000000000"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x8637",
                  16
                ]
              },
              {
                "Uint": [
                  "0x3c2ff6c",
                  32
                ]
              },
              {
                "Uint": [
                  "0x1e7",
                  32
                ]
              },
              {
                "Uint": [
                  "0xc93f0855",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      287,
      1435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x70a08230",
              256
            ]
          },
          {
            "Uint": [
              "0x6742a0ffdb43abd31998409d9a97c9e8b6d9c63fc435675f9f4fc6d450923bbd",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x69eaee7c22",
                  40
                ]
              },
              {
                "Uint": [
                  "0x946496ed3f",
                  40
                ]
              },
              {
                "Uint": [
                  "0x1cb",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20781,
      11279
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2429,
      5665
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0xa1",
              256
            ]
          },
          {
            "Uint": [
              "0x2d6",
              24
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xfffa",
                  16
                ]
              },
              {
                "Uint": [
                  "0xfffffffa",
                  32
                ]
              },
              {
                "Uint": [
                  "0x0",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11290,
      3781709
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x0100000000000000000000000000000000000000"
              },
              {
                "Uint": [
                  "0x3e9",
                  16
                ]
              },
              {
                "Address": "0x00f1345f1348bf657086ea1a1026f52a87f59181"
              },
              {
                "Address": "0x03000000000000000000000000000000000000ff"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x892f",
                  16
                ]
              },
              {
                "Uint": [
                  "0x5289b84c",
                  32
                ]
              },
              {
                "Uint": [
                  "0xfffffffa",
                  32
                ]
              },
              {
                "Uint": [
                  "0xb2b6f0b0",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19569,
      5570
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      162270847,
      16171
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xbb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3984,
      26343
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_setInterestRateData",
        "args": [
          {
            "Uint": [
              "0x1a8e3a507e610bd5f72ac341db158f04be8ac3f1b93dce4d6e09aa232d1701",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x168",
                  16
                ]
              },
              {
                "Uint": [
                  "0x9fcd19bd",
                  32
                ]
              },
              {
                "Uint": [
                  "0x4f787ca0",
                  32
                ]
              },
              {
                "Uint": [
                  "0x931f3b83",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      648692918,
      3258
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16442,
      8485
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16151,
      2109
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0xb97ecc77ce5101b3f4ecee2274cf14c5262310732c68e6b409e544b201c18ce3",
              256
            ]
          },
          {
            "Uint": [
              "0x5c405e295c3eb84fbfe285b1f499f0b66c2339d10bf122291c20198f85b52e1d",
              256
            ]
          },
          {
            "Uint": [
              "0x3efcabebc0739cd41a6907b96ecb2b6229a9f21266096e46f5b1580e13cb189c",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21255,
      6388
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0x1315219a0d08870cc3b5dac8ec221119adc655092e963a885499438eadc01d",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9705,
      18599
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0xe877975db0d9f132e6d4335e5db2a208cde18f6d0048ad57bc39246465d775cd",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x1c20",
                  16
                ]
              },
              {
                "Uint": [
                  "0x27a6",
                  32
                ]
              },
              {
                "Uint": [
                  "0x5dc",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26666,
      18159
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1328351080,
      7359
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x1c6",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1258458959,
      2450
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0xe1d3b9e122f2e89dd907a016dc96e8f150dec4fa7cb94b8fe9c8c425419059a1",
              256
            ]
          },
          {
            "Uint": [
              "0x31",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x78",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25205,
      3003581
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67859,
      11736030
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x85c8ead4eebf301d463fd2d1827de7469edf90fabab4abca036b51f40fd0a321",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18681,
      21555
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x2711",
              256
            ]
          },
          {
            "Uint": [
              "0x585a57e6c836b7000790658c87fedfd92a88d4c94912d4f83c7247a5581ab863",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24805,
      2351480
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Uint": [
              "0xe26bc211f862207fc8468396180a54e422cfc2a0595b9e79f648536e0e1bf937",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16623,
      22669
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      3256
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Uint": [
              "0x29b0858885806979bd45566774589770c5151158556c3a1c65762c6ced9f9f00",
              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": [
      18413,
      6424614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x19784a698ae2c6728ef34b2ae5027cdf650457c12a2f37847323bff08a2630b7",
              256
            ]
          },
          {
            "Uint": [
              "0xf9aadb40b2a1b6e20aded61b1c37c47577b14856c86812023a26d9dd0a44cd93",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x46ed209e3701455f",
    "delay": [
      26117,
      14514
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0x35e3e9057e111111df04a7d15b56a88fcce88e28c182ca4701eef8c27d2050db",
              256
            ]
          },
          {
            "Uint": [
              "0xfceb8c0cffff508e3f5f458d4f286950cc93231a3e200cd018b38f458e00256",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14868,
      1719
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0x7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20717,
      20729
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "args": [
          {
            "Uint": [
              "0x26b5f1d57753fa07211497c702a806e6410647b6480bfd3ad963e587d9c575be",
              256
            ]
          },
          {
            "Uint": [
              "0x40000000",
              256
            ]
          },
          {
            "Uint": [
              "0x8f",
              256
            ]
          },
          {
            "Uint": [
              "0x6405229d79e48fd5308212d5a306c6837e57a8e6d79f8302950923c0d544faa7",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1313373043,
      15345
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13036,
      915908
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedSharesMatchesSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      371788002,
      22989
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0x18eb6493c82bff6da3a2e6f303b04fc92fd79bdf8581a5587d805e4cb0477a4",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8436,
      3834
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2086888206,
      10458
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0x2000000000000000000000000362",
              256
            ]
          },
          {
            "Uint": [
              "0x55c85a2056efb8422c0b02ec8936cdc6d43d475003122923d097d932daa15c09",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      692,
      12486
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25458,
      13241
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedAssetsGreaterThanSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5755,
      11488
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1146,
      10664
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20748,
      20515
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0xe078b8f9d34f3a4e7db01296e8881100208f5384fd7af3a76557deb5314f6db9",
              256
            ]
          },
          {
            "Uint": [
              "0xa1437e5c96968f23d17167ad7f9fb51f5a6fa3c8f45cee5dc58f5cbc16c75e7f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3354,
      20771
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3779,
      7549
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x3b3",
              256
            ]
          },
          {
            "Uint": [
              "0x70ee2713b44b76ef1deaa70ff0d02121c5329ff1aba794f8a7429d30a2f693dd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1595252322,
      3868546
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "args": [
          {
            "Uint": [
              "0x63cf507c3b590e30f63197130d16e0c54dd0cd9fbad1bf568367f5b823872365",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27770,
      15851
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1873964269,
      1926
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0x467ce13410cf00853dfa35dbe03dd64c86a1daa4ad4da0a547843bb2c9a41956",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23795,
      1879
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      158699266,
      10824
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Uint": [
              "0xb9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16983,
      100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_hubAddedAssetsGreaterThanSpokeSum",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      905000137,
      16382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateReserveConfig",
        "args": [
          {
            "Uint": [
              "0x60c1dc09c2dad64c8eedade3d511969ce0dd2241eee520a62292d596e2f8120f",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x0",
                  24
                ]
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1312,
      18084
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0xa2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      775402565,
      11104
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1269,
      9192187
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_addDynamicReserveConfig",
        "args": [
          {
            "Uint": [
              "0x58f923bb7360754d23c7d1221d91c2a9ed60a11c7c8189250b421b5783cf990d",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x3681",
                  16
                ]
              },
              {
                "Uint": [
                  "0x16fbe37e",
                  32
                ]
              },
              {
                "Uint": [
                  "0x8515",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      290,
      10012736
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x6d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24722,
      6179598
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x23",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4888,
      12263
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateLiquidationConfig",
        "args": [
          {
            "Tuple": [
              {
                "Uint": [
                  "0xab9f2c7346fab00934855ba9abc4869d",
                  128
                ]
              },
              {
                "Uint": [
                  "0x1388",
                  64
                ]
              },
              {
                "Uint": [
                  "0xbd0c",
                  16
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14505,
      4946
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18108,
      5456
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15571,
      24020
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateAssetConfig",
        "args": [
          {
            "Uint": [
              "0x40380c358dd735d438dcecbd7673747985dda3481058568a483b75c67e8604cf",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Address": "0x9511f1d966d91446de5e25a8266ebe3cb48305e2"
              },
              {
                "Uint": [
                  "0x458e",
                  16
                ]
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
              }
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0xf2b",
                  16
                ]
              },
              {
                "Uint": [
                  "0x37c",
                  32
                ]
              },
              {
                "Uint": [
                  "0x5b6523ee",
                  32
                ]
              },
              {
                "Uint": [
                  "0x316fbb",
                  32
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1673962571,
      20907
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_updateUserRiskPremium",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5472,
      11000
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x19f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      517440281,
      20408
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x97b602cc2efed7891b562d6c2e599256c49907e45eac8c1246b8ec3c83e6a5f7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      310,
      23924
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14842,
      391
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "args": [
          {
            "Uint": [
              "0xe1f19be36b11187fd3a9d5abd1d929e601e592b2bc723ad953fceec6108b380f",
              256
            ]
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11164,
      18411
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iHub_updateSpokeConfig",
        "args": [
          {
            "Uint": [
              "0x2774",
              256
            ]
          },
          {
            "Uint": [
              "0x9fa10f78fa0b8a7ec0fad51fcb54bcd39b6238d294447729c331daed2d8a1939",
              256
            ]
          },
          {
            "Tuple": [
              {
                "Uint": [
                  "0x6767bc3125",
                  40
                ]
              },
              {
                "Uint": [
                  "0xbae967af7c",
                  40
                ]
              },
              {
                "Uint": [
                  "0x305",
                  24
                ]
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5803,
      25956
    ]
  }
]