[
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6157,
      8856
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x35",
                  256
                ]
              },
              {
                "Uint": [
                  "0x10d",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0xccbda14cd7f1fe63bfe8a2839dbb5fdaf414a6d5ec7fc98fdd59c57dd2c357c6",
                  256
                ]
              },
              {
                "Uint": [
                  "0x327",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45622,
      7340
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27435,
      41105
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      529981,
      58396
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0xc7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13985,
      19202
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_approve",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56115,
      11773
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      113842,
      30635
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x60",
                  8
                ]
              },
              {
                "Uint": [
                  "0xff",
                  8
                ]
              },
              {
                "Uint": [
                  "0x4e",
                  8
                ]
              },
              {
                "Uint": [
                  "0x47",
                  8
                ]
              },
              {
                "Uint": [
                  "0x4b",
                  8
                ]
              },
              {
                "Uint": [
                  "0x37",
                  8
                ]
              },
              {
                "Uint": [
                  "0x22",
                  8
                ]
              },
              {
                "Uint": [
                  "0x13",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfa",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1a",
                  8
                ]
              },
              {
                "Uint": [
                  "0x8",
                  8
                ]
              },
              {
                "Uint": [
                  "0x10",
                  8
                ]
              },
              {
                "Uint": [
                  "0x59",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfc",
                  8
                ]
              },
              {
                "Uint": [
                  "0x69",
                  8
                ]
              },
              {
                "Uint": [
                  "0x5d",
                  8
                ]
              },
              {
                "Uint": [
                  "0xdd",
                  8
                ]
              },
              {
                "Uint": [
                  "0x8d",
                  8
                ]
              },
              {
                "Uint": [
                  "0x8e",
                  8
                ]
              },
              {
                "Uint": [
                  "0x81",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8311,
      7094
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      191431,
      206
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4767,
      23784
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x4f4c825238913d095e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68327,
      15356
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      193983,
      4121
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0xfcc4720f0f110500e74da2ae6b46b55a7155c7101daf647f1ea5962f2d49147a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      284646,
      44679
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      576764,
      132
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x270d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43214,
      16461
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86398,
      7299
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x2",
              8
            ]
          },
          {
            "Uint": [
              "0x51",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59775,
      22337
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0x39",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      12831
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0xefaabbfb69dcdd00bd577ccebd78526fbac73a1b0515109192f837e3ad5c92f9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42538,
      8414
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0xe9",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x206",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc1e2ff1eac3651257c1c974faa38a625df93531b99a3bcc9f5357436c2068666",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x11e67f5e77dfa7fcf70ecb4172a38b85d918279423814003ac6793d570fecdf1",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa508a25ff99c18b9fe7337172851b9d3d7661d98e0029250cf4a6760913e4715",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x53dc9d8b69a979590a5f2b35956e6b300683b8493f958e4b8c7223402af6e366",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x10",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x65bf9888f807950b538a8f3cff5af0a25c5d996c4eb4caea6819d58e9e70d57d",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd5e2d675d8f3cdb2a4480b749f87c40af77da116ff311615b3e717fa9d5415d3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x72aa9b09eab7de757fb953214e41d48fa69696d1082c18e16155d5fca3a5626d",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf0fbaac1236fba71545d61778dd1368d0651ef19451dc1f9ddef04a8ac58b41f",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe51d45ea08b7e2b9dc3eaf0f89e8b84a9c17bd4f773a3b88b1f94c2a115a275c",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x26aa1b40e348359d5b32535ce1e2cb2cc75e0e9d6f32338589a0d5d3e677d966",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x13083",
    "delay": [
      4610,
      7523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xb16bd989482ae181027c1ac7d3a266fb0f124c4e94272afd3b0dbe354e121405",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69246,
      4404
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0x1000000000000000000000000000000000000000000023",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12596,
      5698
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      180,
      11634
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6858,
      56488
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2558,
      8736
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24364,
      50442
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Uint": [
              "0xc49a2527cfd76f48126788512046ae7e97beca53719a7e29dbc10214a732d150",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80808,
      53415
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5095,
      13129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10304,
      31216
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      363022,
      58153
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x73c835e3d101a8ded6c563d016cdac1527317995efe5e5c5ed149a168021a9a4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86196,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0xfb7a80f35dcfb4bc48f987755a40d4cdc65b1b25040a7fe74fd28f0341156fbc",
              256
            ]
          },
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      107097,
      22976
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x6c58dab9cf569a51f4828f7de207b34e34cf4cd4fe4a9529721d5db3515145c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72053,
      25592
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x6",
              256
            ]
          },
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78666,
      59442
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0xe3038f7fb16da7ce202e6bb6e904dcbc87f5de07daae836e04565de16186eb87",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      377990,
      3746
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      200668,
      1998
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21959,
      7268
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x18ee9d1eeef4f406727eb10b888f6b5567b76d599f503e25d269782560090e1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      167356,
      4487
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      485440,
      2519
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
                  },
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          142,
                          163,
                          32,
                          249,
                          111,
                          13,
                          181,
                          4,
                          21,
                          194,
                          192,
                          14,
                          51,
                          148,
                          35,
                          231,
                          101,
                          87,
                          189,
                          249,
                          65,
                          173,
                          206,
                          252,
                          223,
                          150,
                          242,
                          219,
                          128,
                          52,
                          86
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          232,
                          61,
                          91,
                          24,
                          97,
                          126,
                          151,
                          221,
                          177,
                          36,
                          195
                        ]
                      },
                      {
                        "Bytes": [
                          90,
                          47,
                          181,
                          156,
                          172,
                          10,
                          122,
                          156,
                          183,
                          154,
                          166,
                          109,
                          29,
                          32,
                          150,
                          29
                        ]
                      },
                      {
                        "Bytes": [
                          210,
                          163,
                          59,
                          123,
                          12,
                          124,
                          197
                        ]
                      },
                      {
                        "Bytes": [
                          28,
                          139,
                          213,
                          8,
                          15,
                          151,
                          74,
                          54,
                          229,
                          219,
                          83,
                          72,
                          196,
                          17,
                          105,
                          101,
                          107,
                          51,
                          148,
                          130,
                          148,
                          235,
                          205,
                          18,
                          31,
                          71,
                          100,
                          28,
                          49,
                          219,
                          128
                        ]
                      },
                      {
                        "Bytes": [
                          35,
                          81,
                          96,
                          98,
                          201,
                          132,
                          137,
                          57,
                          45,
                          178,
                          175,
                          68,
                          79,
                          94,
                          150,
                          41,
                          39,
                          203,
                          48,
                          26,
                          5,
                          244
                        ]
                      },
                      {
                        "Bytes": [
                          70,
                          137,
                          207,
                          115,
                          246,
                          245,
                          121,
                          86,
                          134,
                          212,
                          158,
                          36,
                          13,
                          214,
                          120,
                          99,
                          237,
                          200,
                          250
                        ]
                      },
                      {
                        "Bytes": [
                          54,
                          152,
                          168,
                          192,
                          103,
                          143,
                          36,
                          253,
                          101,
                          6,
                          102,
                          7,
                          182,
                          107,
                          201,
                          167,
                          87,
                          82,
                          146,
                          117,
                          228,
                          66,
                          142,
                          177,
                          203,
                          27,
                          163,
                          33,
                          61,
                          23
                        ]
                      },
                      {
                        "Bytes": [
                          167,
                          130
                        ]
                      },
                      {
                        "Bytes": [
                          74,
                          138,
                          213,
                          55,
                          210,
                          154,
                          178,
                          226,
                          6,
                          154,
                          212,
                          15,
                          253,
                          28,
                          19,
                          19,
                          231,
                          206,
                          117,
                          117,
                          29,
                          231,
                          188,
                          16,
                          122,
                          158,
                          1,
                          255,
                          186,
                          145,
                          14
                        ]
                      },
                      {
                        "Bytes": [
                          198,
                          143,
                          149,
                          166,
                          226,
                          39,
                          27,
                          248,
                          113,
                          193,
                          247,
                          6,
                          144,
                          103,
                          86,
                          93,
                          236,
                          138,
                          249,
                          250,
                          158,
                          198,
                          243,
                          249,
                          178,
                          209,
                          39
                        ]
                      },
                      {
                        "Bytes": [
                          250,
                          71,
                          196,
                          32,
                          213,
                          98,
                          212,
                          108,
                          221,
                          221,
                          149,
                          108,
                          232,
                          131,
                          51
                        ]
                      },
                      {
                        "Bytes": [
                          88,
                          158,
                          95,
                          159,
                          98,
                          99,
                          137,
                          98,
                          151,
                          44
                        ]
                      },
                      {
                        "Bytes": [
                          240,
                          195,
                          122,
                          29,
                          236,
                          108,
                          110,
                          77,
                          224,
                          174,
                          200,
                          46,
                          193,
                          39,
                          109,
                          12,
                          189,
                          212,
                          254,
                          154,
                          191,
                          251,
                          143,
                          245
                        ]
                      },
                      {
                        "Bytes": [
                          34,
                          18,
                          171,
                          143,
                          73,
                          198,
                          158,
                          216,
                          9,
                          154,
                          192,
                          201,
                          119,
                          77,
                          204,
                          170
                        ]
                      },
                      {
                        "Bytes": [
                          40,
                          138,
                          77,
                          104,
                          90,
                          2,
                          214,
                          101,
                          194,
                          117,
                          204,
                          137,
                          32,
                          104,
                          77,
                          96,
                          182,
                          120,
                          97,
                          1,
                          156,
                          207,
                          218,
                          67,
                          34,
                          159,
                          7
                        ]
                      },
                      {
                        "Bytes": [
                          28,
                          158,
                          52,
                          54,
                          88,
                          188,
                          125,
                          195,
                          62,
                          144,
                          202,
                          237,
                          174,
                          38,
                          151,
                          240,
                          13,
                          192,
                          7,
                          140,
                          7,
                          129
                        ]
                      },
                      {
                        "Bytes": [
                          27,
                          110,
                          116,
                          48
                        ]
                      },
                      {
                        "Bytes": [
                          28,
                          41,
                          203,
                          110,
                          172,
                          179,
                          238,
                          59,
                          238,
                          127,
                          126,
                          118,
                          149,
                          144,
                          45,
                          146,
                          36,
                          182,
                          206,
                          188,
                          145,
                          54,
                          255,
                          191,
                          65
                        ]
                      },
                      {
                        "Bytes": [
                          188,
                          20,
                          58,
                          224,
                          161,
                          171,
                          10,
                          18,
                          155,
                          160,
                          23,
                          195,
                          60,
                          51,
                          112
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          162,
                          90,
                          206,
                          83,
                          215,
                          3,
                          182,
                          193,
                          110,
                          60,
                          11,
                          102,
                          203,
                          47,
                          42,
                          122
                        ]
                      },
                      {
                        "Bytes": [
                          76,
                          5,
                          176,
                          193,
                          209,
                          27,
                          56,
                          82,
                          35,
                          33,
                          170,
                          196,
                          31,
                          56,
                          137,
                          251,
                          170,
                          89,
                          233
                        ]
                      },
                      {
                        "Bytes": [
                          235,
                          87,
                          176,
                          66,
                          96,
                          134,
                          239,
                          118
                        ]
                      },
                      {
                        "Bytes": [
                          105,
                          14,
                          83,
                          39,
                          1,
                          139,
                          208,
                          122,
                          32,
                          115,
                          38,
                          0,
                          122,
                          85,
                          249,
                          76,
                          156,
                          138,
                          235,
                          46,
                          136,
                          104,
                          241
                        ]
                      },
                      {
                        "Bytes": [
                          187,
                          20,
                          110,
                          207,
                          166,
                          194,
                          121,
                          244,
                          243,
                          130,
                          159,
                          140,
                          250,
                          62,
                          34,
                          235,
                          12,
                          7,
                          113,
                          86,
                          10,
                          133,
                          29,
                          244,
                          238,
                          27,
                          101
                        ]
                      },
                      {
                        "Bytes": [
                          222,
                          18,
                          112,
                          120,
                          45,
                          40,
                          125,
                          98,
                          135,
                          228,
                          227,
                          87,
                          1,
                          88,
                          50,
                          120,
                          125
                        ]
                      },
                      {
                        "Bytes": [
                          98,
                          182,
                          54,
                          122,
                          219,
                          94,
                          175,
                          50,
                          243,
                          199,
                          116,
                          224,
                          250,
                          31,
                          54,
                          94,
                          50,
                          45,
                          135,
                          171,
                          223,
                          62,
                          124,
                          174
                        ]
                      },
                      {
                        "Bytes": [
                          185,
                          169,
                          201,
                          97,
                          149,
                          167
                        ]
                      },
                      {
                        "Bytes": [
                          236,
                          171,
                          196,
                          171,
                          147,
                          140,
                          22,
                          205,
                          151,
                          126,
                          150,
                          36,
                          53,
                          165,
                          188,
                          5,
                          157,
                          134,
                          237,
                          127,
                          149,
                          89,
                          157,
                          89,
                          226,
                          74
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          205,
                          27,
                          22,
                          254,
                          61,
                          22,
                          143
                        ]
                      },
                      {
                        "Bytes": [
                          85,
                          158,
                          148,
                          43,
                          199,
                          28,
                          21,
                          214,
                          12,
                          245,
                          54,
                          115,
                          66,
                          224,
                          246,
                          2,
                          224,
                          239,
                          249,
                          29,
                          146,
                          108,
                          101,
                          137,
                          108,
                          17,
                          192,
                          239,
                          171,
                          185,
                          206
                        ]
                      },
                      {
                        "Bytes": [
                          237,
                          82,
                          222,
                          14,
                          170,
                          46,
                          194,
                          218,
                          119,
                          150,
                          150,
                          76,
                          253,
                          168,
                          204,
                          79,
                          5,
                          132,
                          39,
                          18,
                          207,
                          250,
                          27,
                          194,
                          237,
                          2
                        ]
                      },
                      {
                        "Bytes": [
                          210,
                          107,
                          229,
                          18,
                          211,
                          182,
                          50,
                          96,
                          96,
                          166,
                          14,
                          6,
                          48,
                          11,
                          61,
                          208,
                          4,
                          138,
                          127,
                          238,
                          196,
                          116
                        ]
                      },
                      {
                        "Bytes": [
                          41,
                          85,
                          78,
                          160,
                          168,
                          144,
                          189,
                          22,
                          193,
                          58,
                          140,
                          178,
                          123,
                          225,
                          66,
                          108,
                          97
                        ]
                      },
                      {
                        "Bytes": [
                          130,
                          108,
                          65,
                          239,
                          140,
                          81,
                          85,
                          135,
                          211,
                          65,
                          126,
                          94,
                          157,
                          47,
                          198,
                          109,
                          42,
                          202,
                          55,
                          213,
                          139,
                          49,
                          12,
                          52,
                          218,
                          176
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          128,
                          91,
                          52,
                          251,
                          78,
                          3
                        ]
                      },
                      {
                        "Bytes": [
                          112,
                          143,
                          125,
                          111,
                          5,
                          133,
                          177,
                          214,
                          145,
                          84,
                          61,
                          160,
                          138,
                          174,
                          235,
                          228,
                          130,
                          79,
                          158,
                          53,
                          86,
                          1
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          11,
                          170,
                          81,
                          233,
                          32,
                          135,
                          120
                        ]
                      },
                      {
                        "Bytes": [
                          252,
                          131,
                          27,
                          84,
                          206,
                          134,
                          149,
                          182,
                          189,
                          248,
                          190,
                          41,
                          40,
                          75
                        ]
                      },
                      {
                        "Bytes": [
                          132,
                          37,
                          85
                        ]
                      },
                      {
                        "Bytes": [
                          61,
                          143,
                          198,
                          140,
                          115,
                          230,
                          123,
                          146,
                          56
                        ]
                      },
                      {
                        "Bytes": [
                          182,
                          175,
                          143,
                          136,
                          65,
                          8,
                          115,
                          185,
                          32,
                          32,
                          226,
                          144,
                          43,
                          202,
                          3,
                          145,
                          56,
                          29,
                          167,
                          90,
                          108,
                          88,
                          8
                        ]
                      },
                      {
                        "Bytes": [
                          102,
                          199,
                          52,
                          194
                        ]
                      },
                      {
                        "Bytes": [
                          3,
                          212,
                          26,
                          121,
                          89,
                          244,
                          235,
                          114,
                          146,
                          137,
                          63,
                          238,
                          60,
                          49,
                          45,
                          106,
                          110,
                          221,
                          155,
                          1,
                          241,
                          243,
                          186,
                          195
                        ]
                      },
                      {
                        "Bytes": [
                          249,
                          76,
                          29,
                          45
                        ]
                      },
                      {
                        "Bytes": [
                          41,
                          210,
                          200,
                          228,
                          19,
                          146,
                          219,
                          252,
                          79,
                          99,
                          214,
                          57,
                          246,
                          78,
                          196
                        ]
                      },
                      {
                        "Bytes": [
                          87,
                          107,
                          142,
                          63,
                          105,
                          208,
                          141,
                          148,
                          12,
                          97
                        ]
                      },
                      {
                        "Bytes": [
                          52,
                          200,
                          3,
                          51,
                          180,
                          46,
                          181,
                          131,
                          40,
                          255,
                          146,
                          85,
                          49,
                          136,
                          57,
                          142,
                          151,
                          126,
                          250,
                          202,
                          18,
                          166,
                          39,
                          104,
                          186,
                          10,
                          7,
                          5,
                          165,
                          241
                        ]
                      },
                      {
                        "Bytes": [
                          118,
                          203,
                          11,
                          45,
                          103,
                          208,
                          57,
                          101,
                          179,
                          171,
                          52,
                          31,
                          66,
                          187,
                          86,
                          47,
                          153,
                          139,
                          182,
                          80,
                          238,
                          207,
                          19,
                          127,
                          182,
                          189
                        ]
                      },
                      {
                        "Bytes": [
                          98,
                          194,
                          49,
                          239,
                          99,
                          171,
                          58,
                          200,
                          87,
                          221,
                          60,
                          238,
                          11,
                          45,
                          89,
                          143,
                          194,
                          222,
                          27,
                          69,
                          110,
                          152
                        ]
                      },
                      {
                        "Bytes": [
                          79,
                          100,
                          239,
                          43,
                          173,
                          123,
                          28,
                          215,
                          168,
                          224,
                          208,
                          198,
                          79,
                          180,
                          164,
                          219,
                          2,
                          22,
                          152,
                          9,
                          38,
                          11,
                          225,
                          175,
                          211
                        ]
                      },
                      {
                        "Bytes": [
                          241,
                          196
                        ]
                      },
                      {
                        "Bytes": [
                          132,
                          205,
                          74,
                          77,
                          201,
                          157,
                          172,
                          34
                        ]
                      },
                      {
                        "Bytes": [
                          188,
                          160,
                          31,
                          23,
                          49,
                          19,
                          61,
                          67,
                          222
                        ]
                      },
                      {
                        "Bytes": [
                          34,
                          156
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          153,
                          50,
                          45,
                          45,
                          173,
                          173,
                          125,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          72,
                          98,
                          159,
                          166,
                          165,
                          156
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x49880ffe506e5df5f346d6cea60b980b80cd67fa3853609fb99a80ea3dcd1fb8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5b5e02f334409fbb6e3c272d32bdde1a90c02110f",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xce0480d5a429fc67fde9e9da21c00dbf6f0298e350d394ca613b513c4eb74a2e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6325007f2607a1dd6d1fd1d21dac2af26074473c7ddfbe9875a0e983a4e3cf34",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc053a6792506a1deb7c8c1a413eca4b79cf6c18dce11cedb861af25871a1aa56",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd19deffa68bdf6fb2cd157bc67dc37a4083354ba0d23dbbcf2be6b58c21b21d9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2e4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe39f05dad05e45773ac210b3b80fdc63f4153ded553befe3a7836e45b678b90e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xbc093228cda9623c831335af823f6f78f64601893c0321bb19db29c2370fb4f1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5d2809cb0242cb8879b0dda45b3d71452e72aa38c215dd416812a98d36826a38",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x50be9c32fc8ec38c2a852715de941327d2d2e207d259a48d24ff02e76d05915c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x373360dc0c6261e787f4f7badbfbe8d654b4d16dd15bb047d2f7bff8666fabf1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa405aac73624c700bfa11cbf9d981d29b7ab7af6f7d391b5000b6d804c26d271",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9d909f4fbcd87748a287d63f62e484861f865e9b7ecfb47b7085c98be796fe0a",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x84d69c4aba61bbfbf3b902fa9f46f1420524a58a879ccf2fc0c4d6899426d664",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x37",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x288dc30fd4e45d0e96032bee3fa7e3d6a2c7ae994a6de727d61d2655e9478033",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x378",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf6c529078519183f535af1d86a1d743f8efcdac3336111ce8a12be4a18995321",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2ce",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e8480",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x264e1125e89254457748c575a9b4292d79634e7289091436e390e57d2c1be452",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe041d60c4df607ba5ded3492a5a18f2c267f568b229c43fcd75e471d5e049a47",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x23c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x26d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x34",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2af439925110336528a1d063b98f8d228d9f5df0691038febe6b90e7219d3209",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x31",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x966a987a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe4d848e3ac7f63de6e4476eca5e728b222dee52df22c6646d30359c39bd6ff10",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30171,
      1176
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9005,
      36687
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x525f20388712c8a879572aaebdf226a7575fd1a761f9c0094047af3b5f5bca26",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5681,
      21230
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8884,
      30665
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      434,
      59075
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x27",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75737,
      9602
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83117,
      54237
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x25701eb198ce4967c3a14f735d3959f6c3c9c94b1df32e1874187fdc5b341bb1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86640,
      3650
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0xb834652581cb0f78214e42bfe12a7569b3f591613d2d2aa5a61f4f93c3b771d2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84278,
      4441
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x249",
              256
            ]
          },
          {
            "Uint": [
              "0xf494cf6c9d2f8fc38bc78aa12b5a5033891e6b7a0fd69c22a8dfb02feeb3a681",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      100,
      53416
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3598,
      52131
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      513,
      26226
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6511,
      4575
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0xb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57666,
      3862
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52646,
      45402
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5939
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x34",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73166,
      1602
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0xb7ad72edf9c5f87612b01dc2ef5fae5018f390b59bc5c3d99d738c11e1359ba5",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33379,
      47625
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85546,
      12755
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x63d30c4d3d6d197c6cca11cdf4f2796e25acc8b2204572c1e8a028e1c02c461b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2528,
      51354
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2097,
      56035
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      272842,
      48654
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x183",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      350092,
      53165
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0xcc7174ced0cec3a15594ca0c453cf07493f51af2602a6ad7431e4beb2998e2cb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53201,
      5800
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62593,
      20984
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0xd4d59c524c5bd1dcad80d778c3404f867fafeeb5cefb4672ddec93c098d5e1d3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      89116,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45668,
      17374
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4870,
      6343
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63899,
      29154
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86113,
      21774
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      120807,
      9096
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57382,
      8094
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0xcd60c8094402f0b2ca16ea18920e472669407821fcd9423765cf9e9223a0349",
              256
            ]
          },
          {
            "Uint": [
              "0xc0027f3852c5bda108ae5ca471d342f103ef128146b1da014662852cc46b03e6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60102,
      52267
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80956,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x812ab3643a05aadbd12f2482ae15ef6461c7fd862622db5225a885a5578709c3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36841,
      11501
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46979,
      21899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x13e9e1ccd062f8e31b9b06f6cd118ed1dbf82c333d3afc8df407ce52fba37cc9",
                  256
                ]
              },
              {
                "Uint": [
                  "0x32",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2a9d8d92047d8ae74d38e6fda00136b373491d6d5c9dd5c24829784620ac93f1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6833f0478a79970ecd17bbd064d9b7c1acacf814400bad168aa39e3202694e61",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa8005ee4df1e25bd62950a4c9f976e90fe0ae43f823b9436d5714ef1eb61cd6a",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x24c",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa8035b6b0e3738be1aa57b359351754caa3f48cf5bb5a0419ee9023c88e9f599",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd7423274cb4480b575a0ac07bad0a2466a8eff39b4ccef0ccd0cfb754aaf35",
                  256
                ]
              },
              {
                "Uint": [
                  "0x34cec765e8b91be4b8fe9bd0083883ceaf513bb1eb856dfa5b483623705b8183",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x718016fed41ecb1d9ea13ef2a879b5877aeb4812330f139679c5e6a8087810fc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x656319e4279492cc044447a46b9300d1d38f942ac04cc47e333",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x716fc928bcd23f340d9d549997a1f08e193d66c5d7e0c9c226626b4d4f022739",
                  256
                ]
              },
              {
                "Uint": [
                  "0xdcd99ff84819993905783901f324d747bebd6a49919394ca592be0e2696adfab",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6d2be2935ba056a247d011db4fdfae5fe5e3f40e1bb20ea4c08e1963a966ad31",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf619ad8d21dd93f4a361bb2042ff955bbb79ccc6b4762e68c603f29c5f6c6839",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2ce",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x8",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa661073ead836be59e177172d54baa0fe1ff3c7d62d32100b0095452f5bdad09",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x1874",
    "delay": [
      7039,
      31752
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37789,
      25765
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1403,
      54155
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0xe3b08f13ddfca9f881565853b0b2141f0d17a62f61ca7438b1ec07e1aebf8d77",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3612,
      6624
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0x7ad94115452a901689bdc250dc6632f7117fd71dc926c607f775eadac299ce65",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13066,
      13728
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x40000000000000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7345,
      7608
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x0000000000000000000000000000000000000200"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7137,
      20152
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9323,
      37214
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xa9e5c5e7bba6dcbba3a39cb7d5617e17496740117fb161fc15ed70c8da619e38",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25489,
      46027
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69466,
      30127
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x4fd8e066999cf732fc5265e52c19a12d047eb8f37a08613d0af6f0709aa63635",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6330,
      46993
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72509,
      29947
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x6255c93d832c0e2c5085129d9ec7a39a170b5d5bf55ca5bf1953c3ad05a797d0",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      604172,
      40588
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x13",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17780,
      7701
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38096,
      31371
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0x72",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22058,
      529
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      2110
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x22",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70028,
      14315
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69211,
      3545
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "String": "I*_>6?r;2%/k"
              },
              {
                "String": ".CxA,+F@KDK#OCxj R,Z"
              },
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Array": [
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  }
                ]
              },
              {
                "Uint": [
                  "0x8e41232e3fd71ca0850a54023de06b12ad150766a9c01532ab7d7a099017c1d3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x72de0ea8befb8f2a1eb98c5d6009bc5211425fcb848463cd987007b7acc1d449",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0xa5215e73c6406e412180b2dfda21fa4be8857cf66322b6277f02bf114d62f46c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x583a5ba6991d8bc4782e178ff36bcee00d7af786f19b71710da6393da9287027",
                      256
                    ]
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3594,
      973
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80435,
      1927
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24008,
      11672
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55760,
      22105
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27479,
      22439
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0xc96f798234aaf0f60e8ee79718a1e3699a423380f6ade2d2a03fe2deb4eceecf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      269810,
      5756
    ]
  }
]