[
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      312914,
      20936
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xe11",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32643,
      17838
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1810,
      24967
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72189,
      11931
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0xd16a9c9e0cd7a7ed4e99390c69379c8e356da5782549de1d2c978e4bc544f2af",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1779,
      34697
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60796,
      8315
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0xb6bb69ef4f7ae8ca27757d38cb29a64d29190fcc0611351f90b76bce85ca7b21",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa186376c73b7fb36f94150fbd361b82f32b7810fa8b7d1a27bad03739dc75e32",
                  256
                ]
              },
              {
                "Uint": [
                  "0x18a",
                  256
                ]
              },
              {
                "Uint": [
                  "0x9f7e5cf78078625dfdf3560f18033e0a6f4c22082f1edc767e2412fb6db39a41",
                  256
                ]
              },
              {
                "Uint": [
                  "0x31",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe22ab86923c38fb3df59578889c412eaf78f0d73fa4cca2e275ad1301dd2e87b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x16",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7c3ecd18c93fae733500dc8d4b75a72925fb8f83600b9d0a10f8a8bb734b20c4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0xcee47e69d721011121a8bb91fbcada7c986b8b3347583c77927275556b6c31d3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3ac7302b31c7dda6cb55f754d92d4c761882ed92933f516ccdc671ec3d78f39c",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa11e7418dd8496a93b49891e64a520ea62139514669ace51707fda609141cfd5",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x829552fcf87c4ff4be100fdcf66c167d3bead77e98fdc638160029f0896a8aa3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x26",
                  256
                ]
              },
              {
                "Uint": [
                  "0x89716a2cfd043d2428796048d6db5c30e9732e45c165f6004e70daf0ef2becbe",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc82edd47994c7bc48000d122d2ca5449c6f8076e0abfaedc9fc95d508b21d169",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3a8",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd494337feb2b4794db3c52688aa4c25ce873f88b18126558d5749b5b0f9dcf65",
                  256
                ]
              },
              {
                "Uint": [
                  "0x760309d60c4f7a2294e0f2fa38094ddcd4d7b7e6e0137bca4339dacfb1bd9698",
                  256
                ]
              },
              {
                "Uint": [
                  "0x197",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x126f",
    "delay": [
      79512,
      6196
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0xe62064e9d225ac180a092322c323ba84dbaceb8918532ddd09fa358104f9cfba",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43298,
      7027
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      570610,
      5332
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      604639,
      18600
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x33c868f54f4b827651e5fe2d8b8f1271fe9ae659674006054033f391411eb647",
              256
            ]
          },
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6238,
      301
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7514,
      11634
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75616,
      8344
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13647,
      2426
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0xd4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19021,
      41953
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      167356,
      24245
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3893,
      9105
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_approve",
        "args": [
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28248,
      30670
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12329,
      9575
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82931,
      20017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42852,
      53261
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      362092,
      27417
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31677,
      9863
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x80",
              8
            ]
          },
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54875,
      15292
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x3e3d943a63954f8109fbbd838a03a17bc5a35e3ecc64ed17d00dc2ce9926dd35",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42159,
      56006
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6469,
      6476
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81102,
      38011
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8009,
      50555
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71264,
      3554
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84650,
      25263
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0xaf92aa8bc961d5edec499e11468dc42960390867e9f1d7b82ee84848cc05d1ff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48116,
      8575
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73366,
      41666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63402,
      18756
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76337,
      7358
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25272,
      31158
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      173,
      3667
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x555b81059ec55d86eeef4b2bb90f244168d09771e5f99025f6f00139be1404b6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      133674,
      53135
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14255,
      19609
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x243",
              256
            ]
          },
          {
            "Uint": [
              "0xaa0bc4793fa2e49be1182b299c4ceec2796414d90974475506f4abf0075e4326",
              256
            ]
          },
          {
            "Uint": [
              "0x78ae394359c67bb006b0f097799dfc01e3ec7ba7e4b274b909b9545bea75f16",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6199,
      3118
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1771,
      3618
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x82209d215705783df3956a10ecae537e8118efdbfb1019cb371b8e454b5dd6ab",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17415,
      33855
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      389,
      98
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      304472,
      9839
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26883,
      47224
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Uint": [
              "0xe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9087,
      3429
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      498416,
      3811
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77664,
      577
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x7f2fc03a5cc70a095b20c47c0b735826395b4a69c54b8ecb4844cf01aa7f5dfc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2511,
      34298
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31980,
      10076
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Uint": [
              "0x84e6ef681fc8ec8eda3620f1503facb4bbff167df61ce4d4abfa963b60a31863",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34679,
      24184
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      101500,
      25337
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9378,
      30917
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51396,
      8719
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28273,
      492
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6115,
      50255
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81457,
      15230
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29686,
      11662
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      484735,
      22624
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7414,
      25054
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x632bd0587ff9630a0f7eec73ecb66bcaf2fc7b83a4e6244119d7455eb2b04c76",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86690,
      22177
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      268802,
      48578
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x79078d4e1b3a338e02bab274f529b28890e97aa127ee99e6661ce5c983254cb1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5026,
      59926
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59776,
      48719
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0xf0f8547ab41fdcf2eba1b3d1f3bd13af5905128a92e4d0824bf20121cd4421ff",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50940,
      27919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      486622,
      5066
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x10000000000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15261,
      28709
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6179,
      50395
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          },
          {
            "Uint": [
              "0x3c8ff2b7e630892d6c4b0a1170cc5134c06c9e57718ce7831f402868f7b53da8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28757,
      9825
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5176,
      8324
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66577,
      248
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x7242d5886dc30fd785610aa9ea75d2ccc91507f97aff8e4089550c5c4c4bd9ea",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Uint": [
              "0xe46f2b63dcd16e153593a48e7470701810a1793d48063a3b64a635bce673b666",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9012,
      26888
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x9049b6d2dce09cd8e6f34c6866372fb7283def1994a2b232ef7259581b860609",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2c9",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      363774,
      23478
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17699,
      16362
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x8fac9981a2eb79aee54775bc3cd58ed3d9b1ff32d859545d5367329cd5f4e663",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5908,
      52505
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0xc9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9869,
      37795
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000003"
          },
          {
            "Uint": [
              "0x8fad89fef6b9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69798,
      33018
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77031,
      20806
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
              },
              {
                "String": "b^0JA"
              },
              {
                "String": ")*tEd.B. X "
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Array": [
                  {
                    "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  }
                ]
              },
              {
                "Uint": [
                  "0x5aad005e98a575b7677ccbc16d20f95fc",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfab0746298df9d75bd41a35d256e0b97f3c22860e752501fd90850501011d143",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3e8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      456706,
      28427
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73338,
      11167
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xc2e35def835a817671ccdd29caab70b892c781f39c8d3097a4f5cb9a218907b0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9031,
      25187
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      201758,
      13063
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73735,
      15908
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Uint": [
              "0x244",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32102,
      28710
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1414,
      25227
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64538,
      7771
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28126,
      38646
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      548691,
      1790
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_withdraw",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7985,
      46911
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16586,
      1021
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x48bf2fc68b082fc7c7b6e466b0c35215d45b4a3dea825fe2b1a12783551acb2a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3426,
      20614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64296,
      907
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0xad3047d9b22dbd5d57fd822f5bd011d08f867daada8148d7a30f21b90ac2c631",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      375407,
      1974
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79279,
      17169
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59662,
      1900
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2740,
      41093
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0xdf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63940,
      52537
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Uint": [
              "0x2d5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      551514,
      15037
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2922,
      41182
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0x379",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5502,
      6267
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x25d1f48191b76be4c7cf90a0109d26fbf095f632bb426b36f9c9e3355fee5666",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23982,
      4475
    ]
  }
]