[
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69811,
      12393
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56902,
      523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26322,
      24647
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75848,
      35864
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x7c1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84397,
      30001
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x3e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4679,
      20682
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x31",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9998,
      43498
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x4d",
              8
            ]
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41999,
      55902
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39127,
      1455
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5288,
      5632
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      611,
      6272
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x10000000000000002",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      311235,
      26863
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0xb2fc1222cb49cafc28c6da0c3e7b8b15662bf029"
          },
          {
            "Uint": [
              "0x4",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      438591,
      8318
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9346,
      27941
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1595,
      39471
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2798,
      8926
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x14",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59913,
      26053
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63914,
      27825
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x400000000000000000000000000000000000000000000000000000000",
              256
            ]
          },
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31956,
      33125
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x43962d73e764c71d290eeb7abf7962bca97373afdef21631b1098ca78e7ad8c7",
              256
            ]
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25526,
      38291
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x7d3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18323,
      18764
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x14",
              256
            ]
          },
          {
            "Uint": [
              "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50137,
      15196
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Uint": [
              "0x3050f415c2a5b74799a14f8007daf69b368a3df4a6ef0002eb48d743f62281b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12916,
      14094
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68161,
      18334
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      496846,
      6538
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67873,
      52641
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84935,
      16015
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1794,
      2669
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x4d4985fe281d48338b6119b7f6e516c22ed8c797e6bc1c853615c83224882510",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3127,
      2936
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "String": "\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�"
              },
              {
                "String": "\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  }
                ]
              },
              {
                "Uint": [
                  "0x882a1e6af7b54c0a2a647da3228006cfebe2aa9c601455d704ab4f9ff1bd7f2b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x77593b91105edb459c4dfe39ea13821e59f924b3773ee443ec3d309a305c88f9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4821ab528a6da827ceb60ce3ffcac47c3e9999452e63238cca7dda5354fdeb25",
                      256
                    ]
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45151,
      37151
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42827,
      1469
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73587,
      43309
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x8c9dbf29b3dcc61a4dc9870b74733f75c1d915f53c024bb400b903e3e2e3cdf0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3742,
      50270
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23141,
      35619
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66307,
      46916
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67193,
      13150
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0x7d2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36471,
      59085
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xfe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270114,
      19169
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7915,
      5454
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0xfd136ec05f9eed63472a3c225ac6989b4316aa4de249ed070c02ed6889238213",
              256
            ]
          },
          {
            "Uint": [
              "0xab5d4de8c4001059d41567b27c992203d0e3bb5dbad2f2e5289d5e045a5fab09",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      304,
      144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x48fd81805d12b5ac36b9a1c302c140179f380197b7ef39107f106d0e89bcd506",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      16463
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      191365,
      36864
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118691,
      5613
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37130,
      4556
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x221",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52352,
      14311
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x76073fec764c540863a1915696fe9d4be5b0824e245f2b3c223381162697655f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55128,
      2557
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Uint": [
              "0x13",
              256
            ]
          },
          {
            "Uint": [
              "0xc746efe13701b230b521980cf032932419c6bd156f70d466e2f38cf3a70ddf5b",
              256
            ]
          },
          {
            "Uint": [
              "0x748329f9fbc89e3619140660770da7cb03e81cadb12f6c85461a5ab9ecd6eff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79361,
      23794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      162190,
      23588
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17365,
      19937
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0xfbc75bd8bd632e4bb48538000214dfeaa8ed7a8ea4f8c499b43d409f014f0211",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56044,
      22726
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
              },
              {
                "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
              },
              {
                "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
              },
              {
                "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xa7",
                  8
                ]
              },
              {
                "Uint": [
                  "0x11",
                  8
                ]
              },
              {
                "Uint": [
                  "0x50",
                  8
                ]
              },
              {
                "Uint": [
                  "0x3e7",
                  8
                ]
              },
              {
                "Uint": [
                  "0xbf",
                  8
                ]
              },
              {
                "Uint": [
                  "0x37c",
                  8
                ]
              },
              {
                "Uint": [
                  "0xd6",
                  8
                ]
              },
              {
                "Uint": [
                  "0xcb",
                  8
                ]
              },
              {
                "Uint": [
                  "0x4d",
                  8
                ]
              },
              {
                "Uint": [
                  "0x3d",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1ca",
                  8
                ]
              },
              {
                "Uint": [
                  "0x4",
                  8
                ]
              },
              {
                "Uint": [
                  "0x50",
                  8
                ]
              },
              {
                "Uint": [
                  "0xf6",
                  8
                ]
              },
              {
                "Uint": [
                  "0x6d",
                  8
                ]
              },
              {
                "Uint": [
                  "0x9d",
                  8
                ]
              },
              {
                "Uint": [
                  "0x87",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x97",
                  8
                ]
              },
              {
                "Uint": [
                  "0xbe",
                  8
                ]
              },
              {
                "Uint": [
                  "0x18",
                  8
                ]
              },
              {
                "Uint": [
                  "0x11",
                  8
                ]
              },
              {
                "Uint": [
                  "0x36",
                  8
                ]
              },
              {
                "Uint": [
                  "0x3c9",
                  8
                ]
              },
              {
                "Uint": [
                  "0x6",
                  8
                ]
              },
              {
                "Uint": [
                  "0x22",
                  8
                ]
              },
              {
                "Uint": [
                  "0x65",
                  8
                ]
              },
              {
                "Uint": [
                  "0xae",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfd",
                  8
                ]
              },
              {
                "Uint": [
                  "0x12",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65386,
      8796
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x3736e8688f064ae6a5344febc92613fdd16c5ad95d5621a1bf60f8c5f1b51a2e",
              256
            ]
          },
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39919,
      34938
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30836,
      9681
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x70fac01f94bc1e7c33548152dcb4830af8d422cc2adc143e02e0fda54061ff2e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      146479,
      6817
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84652,
      57267
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x15182",
              256
            ]
          },
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67505,
      45969
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7405,
      42574
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43365,
      8807
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70163,
      1673
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0xe14",
              256
            ]
          },
          {
            "Uint": [
              "0x7faf7228f835767720e7b141ac4a1fc97a1e3ac9e8570c7b91effb3e26619940",
              256
            ]
          },
          {
            "Uint": [
              "0x938747bf601e414f64dc2b20e7034d01b4a93d2fec2e9513ba9a055087e020b4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      87814,
      20040
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Uint": [
              "0xb307d8ccb8a13cc3fad908ad223c8932806ca6663d87c4968d0c4c3f5ee7e97",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72142,
      45227
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x2d3dcc2611e9b6e7b0812d3b199fdf80e7d37afe7afcef05ad57af85686bac73",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80184,
      1790
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0xdac038ea104715f5314a44117f339fc26f4a052bedf7d96e7cdb1a5c683b3057",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5485,
      44925
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13499,
      15962
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9634,
      22714
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34922,
      6834
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69097,
      11861
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80246,
      29840
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8955,
      23765
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x43ec88fee26aa021b",
    "delay": [
      118687,
      12058
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xad",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      296,
      12039
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x390b4d9246ae92567efffa4f843070ee499b0e1f75a2f73819a367dde098dfb3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41403,
      4635
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0xd1e27aea52b8c5ef8528953d335d9e7d84ec0750fcd93b7a8c196e768ddbc096",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52820,
      57616
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd62331e2b3e1496"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x901440fd371921e4f9bc92519b39cf67c8c6bc7c00051327a3c018d9c0cfa172",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59770,
      16802
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1924,
      5030
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32157,
      2895
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8056,
      55799
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6262,
      50910
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47188,
      38408
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x26e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      144608,
      5538
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Uint": [
              "0xd0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18101,
      6626
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x454705c8170a84f7521098995cfec1fec71906cf44f270ccae2e66f9691ad4c9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37308,
      3857
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Uint": [
              "0x7ae9ed3e0bb21409e5991281d37be013c556e294fafbe208f321847538e336cf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19977,
      19777
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      14889
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0xec8f80c258c332d379ca3004ca9f6c858146a98397448edf80d2057f106929de",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43852,
      28627
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35739,
      31979
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83074,
      3893
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x3a2c4439db1aab2028992ebb84de4f4d7797e74a5e2d3a1952988172b452fe4a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      446515,
      1513
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48295,
      5154
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x7d2",
                  256
                ]
              },
              {
                "Uint": [
                  "0xbd10c4a064d9922e93842fc8f286b6789e067de240cd87b7fc96188057f7940",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1099142d5ba3759da261e0163e5ff9bf53f6cd65f9105e875b055e7ab27535e3",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x36",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd235a3e6bdc04ff0d5b6f337cc576716c721c14ab7229846965fc9bbc5c74f48",
                  256
                ]
              },
              {
                "Uint": [
                  "0x34bcefb7780932c4714f55f39c5bea8a2c547545411ff08ec9c61f6ac17a25d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5fd3",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5d9457d3307f5e9f98d4b4e8291c728abdf874bc2fff2bf0ff2bd8af2d83e000",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffd",
                  256
                ]
              },
              {
                "Uint": [
                  "0x409da6beacf556194ccb3653c0ea0e1c43ab1badbc31d2db6ddd4eee51de288f",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd3eb1a3273f2b86e298d75bbd558379587996c15bd4e578afa44e1650b253a12",
                  256
                ]
              },
              {
                "Uint": [
                  "0x32e58aee7122a67ee63bac5aeeb4bccc4a6a646949d4783d4b58db52a08faa6e",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb42c9ae68b699b1e60d13fc7a7d49e98a268594794d43feccfc3e1df4f1ba4a4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x20b6c8cc77943ebf9148a4570a9ecd45a7c09eb499057c9dbb7baff03849e35",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x708428fbc582efea0a526574726295ee0fa2128d799f4c47c7768ee2b1022abe",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa648bd8cdb8830cc5c0b07da99b51c42377cc35ca885838e3ea508ec7b5abdce",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe5d92bc0e8529602971a9aeb547faf1946b2bf1eb50b9934a5192a59d86b755a",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x16eea0bede4dee95aea8a6ff4132bbf9670e7542b4dbdd26922d68913f252c47",
                  256
                ]
              },
              {
                "Uint": [
                  "0x51",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfa2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x11",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1dfe9545be8d1b60397ede2b801c27e4e0298cc4ba15e57d85cb56a2d918126d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3d",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe10",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x26f64108cf405ca29df7a7e6ee8a42a834f34f02d3c3afd4c9601915222a2809",
                  256
                ]
              },
              {
                "Uint": [
                  "0x25",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4e81ee8565f01",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd235a3e6bdc04ff0d5b6f337cc576716c721c14ab7229846965fc9bbc5c74f48",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x5548",
    "delay": [
      68465,
      21989
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x1b5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      368268,
      56664
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119558,
      23820
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x280",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31187,
      41678
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x10000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17539,
      48552
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63574,
      18241
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Uint": [
              "0x6b57230a9e12ee331a0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14555,
      17563
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x375",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18215,
      20430
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6357,
      285
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84841,
      21061
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              },
              {
                "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2417,
      39518
    ]
  }
]