[
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      381572,
      39152
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xde0b6b3a7640000",
    "delay": [
      1819,
      644
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80569,
      21521
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
          },
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Uint": [
              "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34454,
      49297
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x41e8e34fa876c6eef3b40d965a20c1d20d26b729e392582690d710c20e5f12d5",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21456,
      43334
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      847,
      6164
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65903,
      23468
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0xfffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32041,
      26538
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x1",
    "delay": [
      6835,
      58098
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x335768e2a2e2e8ed2f32e05f64531c881c8951e998de94941d9dd79567b126a4",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Uint": [
              "0x1e8482",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39839,
      37009
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x7cf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8295,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x3052d5cea46c4bcb797bee2a3727979b085b846058105296391c27eb8fd586d9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81306,
      55641
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x51",
              256
            ]
          },
          {
            "Uint": [
              "0x8223805836b6f090e1b111e64d7e2565a2cc0655dc2378a505aaa729652f5555",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54382,
      33581
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000000"
          },
          {
            "Uint": [
              "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      175747,
      9254
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      448784,
      17234
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x4a817c800",
    "value": "0x0",
    "delay": [
      44993,
      23983
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x412ae29557fe332673679fd36ee00297411f0a3da33246dc534d0b8cc060f905",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15343,
      53012
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7062,
      13136
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52155,
      60480
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x30c",
    "delay": [
      28592,
      9953
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x1f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32214,
      21137
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x94ca223d7cdc5811178da042f038f6721279e28faf9d09327d9df3dfd7a019ea",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      437911,
      5531
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23242,
      12245
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0xaeeb35392c3cc7dc3fff71875f653813c4ed9cac3671c51e366962bb3defe6e4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6432,
      50594
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80035,
      45135
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0xf2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19597,
      6464
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8348,
      13728
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      204074,
      2063
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65406,
      25615
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x0000000000000000000000000000000000010000"
              },
              {
                "String": "xH2@lF-L1:j.>ftq@[a)'88m06,vTr:"
              },
              {
                "String": "SPqRHX'`@&2m"
              },
              {
                "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
              },
              {
                "Array": [
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
                  },
                  {
                    "Address": "0x4939532cc892f7c0e6dc5df532e9666f47221b6d"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0xee75f2e83791e29cf5873a3cd05e249bdb77bda5"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  }
                ]
              },
              {
                "Uint": [
                  "0x10d147707d2c22e6a887ad4f962fa28862244d57d44b2e74849993243160835e",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfc3c7b40f57194a72d450ec0cf7ed434f860434f0859d7c901732cab18bf7ec2",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3e8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      337272,
      52054
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          },
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5287,
      9450
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      165060,
      99542
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x3f1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67734,
      21797
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x100000001",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34115,
      8092
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      120130,
      11770
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69355,
      54103
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x7f",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb5cd3dee760e1f6d782058bc95b1e33480ff48962b8fe87f44f88442d8e89caa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1e847f",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa6e3c3955f985eabc3c859df102c7963154121bd08a24666abffef974d2a6584",
                  256
                ]
              },
              {
                "Uint": [
                  "0x17a5c8f292818dbfb9b2c7250e69622ce1b1ffb78696049663b2937fddfd7d99",
                  256
                ]
              },
              {
                "Uint": [
                  "0x236a6ff24fd5371e663379982a20d348d56fca797e0b06c3f2011b32cdf7068b",
                  256
                ]
              },
              {
                "Uint": [
                  "0xca59e728e2f1d2b87f6e63b383b911c64accd232926d20881f590e1df317bcfa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2328",
                  256
                ]
              },
              {
                "Uint": [
                  "0xcde9f9f3144d8131c5085c331607d55e37e24242ac05a4ea504c499a4eb8bb03",
                  256
                ]
              },
              {
                "Uint": [
                  "0x715d4f74305d6e4595ade23d33e3423db509ccd136809510898cb6a86555d25a",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x101",
                  256
                ]
              },
              {
                "Uint": [
                  "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
                  256
                ]
              },
              {
                "Uint": [
                  "0x12b3ece87c49653ae906f83892b15dd53fbda4d279699235f58c022eadc5dc56",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x67",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4f72b63844c0c2814542d2da6bd6e2774ba0de8c9f00774f1f19f90",
                  256
                ]
              },
              {
                "Uint": [
                  "0x8fc4816ff49697db62af37cd086e625215477d2a7153ae4ae9a9db7a045c7d70",
                  256
                ]
              },
              {
                "Uint": [
                  "0x60da149ec730a83ecb15fbfe44566cd67d59f212188105a5507bee9fa1b07dc3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x661a8bb7c4c315171262c6432a2555432f082cb4f1730debc7e3729ca560c69b",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe39dad6fae9d96a26e6380bc5fc4bd95b9f7a02c76e8018527348785bf5445fc",
                  256
                ]
              },
              {
                "Uint": [
                  "0xabdbf987d06ad57c118086eb6ac2e4f4cd903d3c3cd24e5a450a2902fd42eb1e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x69",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb5e844250d1caf115a8b45dc64dcf4aa108184425e5013602ee11c42bf9dc946",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe6c81a9008b46234938047234ccac3be520a10479249b0cea9e861f6781c5f40",
                  256
                ]
              },
              {
                "Uint": [
                  "0x53ddeefa3e4d0b2b1bf001bee53735025bb32936f4bf3eea2d1ac5b3b27c560f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x53d2ed004de6acedc2d6e906fdce4666ffcf13106972412f05123d1ebe153313",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5d3ef99e914d227719c70a0408447275ac8942a3dd2009276a218078c940bff7",
                  256
                ]
              },
              {
                "Uint": [
                  "0x10000000000000000",
                  256
                ]
              },
              {
                "Uint": [
                  "0x35d",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x3126a6ec0ce03390a",
    "delay": [
      3265,
      3294
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x9b7347d462e5b4b6dd9f6220374a54151494d052a866bc1ff5c028b414f6ff3f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21115,
      17679
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x6f",
    "delay": [
      552798,
      57536
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x0000000000000000000000000000000000000001"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86767,
      4492
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x31",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2645,
      973
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x1fffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Uint": [
              "0x232c",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000010000"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0xe33e22200",
    "value": "0x0",
    "delay": [
      38567,
      24245
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x829674dbde71aa90746ff4bc12f0f58e67a07c8517bac295a0b0b117cc63d019",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4830,
      18710
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x9d1e2cc2ad599e6bc7f8ba477a081f33a2a12fc0d3eb79aac7ecc28b0fae116f",
              256
            ]
          },
          {
            "Uint": [
              "0xf6b5db03e47c0be9b304f595176b12e106bf89bb708d78fe39bec96bf4ee81c0",
              256
            ]
          },
          {
            "Uint": [
              "0x1fffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44920,
      12845
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5266,
      23458
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84294,
      36676
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50339,
      31877
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x77d7065f56ed1d8913e3e6899d6e7bd70b2564c72837437978ad212b6c581d14",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5751,
      4981
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x9de30a8f960ba8248b0e11995ea0d45eec3cc404c9be58a5affeb5255374f5c9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20727,
      2096
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81540,
      29415
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0xf9f",
              256
            ]
          },
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83192,
      1716
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x18",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81133,
      57564
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          },
          {
            "Uint": [
              "0x12a",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1373,
      359
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      387937,
      8210
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6936,
      8239
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          },
          {
            "Uint": [
              "0x83",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1171,
      20419
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffe4"
          },
          {
            "Uint": [
              "0x2",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12309,
      28370
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x1e847d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3135,
      5912
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0xfa1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4242,
      16974
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74201,
      8273
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79411,
      40889
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73065,
      8872
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      475676,
      51826
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      141195,
      50082
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      497897,
      11249
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x4547a548ba203dc9c46582ceac66a911db353103"
          },
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Uint": [
              "0x275",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2321,
      132
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3112,
      14097
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xa6ca581ca077548f032b0aef28be472a69552d156f5734ff0a5a5b9989874c9a",
              256
            ]
          },
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69817,
      25885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0xcc85b4a81e74cead6e33da3c54a41d37c3e12afe5d64b4b18909f25d212c3ef6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22833,
      24520
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x24",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16044,
      43630
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      547489,
      45453
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x138b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      175743,
      19302
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3317,
      59282
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75934,
      25121
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x45f69ef9dd95b5fa1835ca21a4e5c5c36c19f0a048c8aee2737b906a46a47ec",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      613,
      19707
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2835,
      28325
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8919,
      612
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      114305,
      752
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      228047,
      9374
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0x46685d93d19e3c1878ae013b812ea1ee593903dbaba58b6380b70aa92a65add1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      288062,
      10524
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51262,
      23274
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0x77",
              8
            ]
          },
          {
            "Address": "0x0c2deeb5f9f0ad60ca4f2a4558e1aee737924b92"
          },
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Uint": [
              "0x44",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118838,
      6489
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x12e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2845,
      6812
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x0000000000000000000000000000000000010000"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  },
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      30,
                      28,
                      249,
                      78,
                      121,
                      80,
                      152,
                      18,
                      249,
                      97,
                      136,
                      122,
                      204,
                      198,
                      138,
                      1,
                      151,
                      124,
                      247,
                      44,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x9a3c3883726259c8a95c694bc1320bf16bd2ece79f855591960c45287a802a63",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdabd3539f90c37440faf583553c17b0946930fd109b94963d25950d3fc081971",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb69c7d5456277a0e4d507093c64195c95f629435a61cf5af2320ea0bff7bfd28",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5f88ff204aed719eb8ae3ad3cc64af3332cdff8bc1b9211485c4eeae41544788",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2327",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x12a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x12c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7c22d1f95d0cdb7cc7531153f4a105f68666dc6762293c4985b3202e6252082a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xffff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x21",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7c3e3cbb69968e015f3cc4bb3fc022b92f9a82b295387c1ac94b62e9962151c5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xab36bcddd2205e6df397a795907d35063d3a3750dff8380f8000285580d2f6b8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x11a1f636b3503a93",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x63f98c219fb24fca8ad9460190aaae192c298388c85b632ab6d215cc8d8fcfa9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x724e25bd61dd7e5d7923a50d66507b33c4ee818ab91ec283662df0081ddcf6ec",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf9d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xda5797dbf0ae91be7fc8597b4c59ac074677c1808e4236b590cd506b786243a",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x62e5b7ba0f1029221c021641f066dce5a203c572788c756e889dbe0d862ecf95",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xed6529bca061c9e2db25dde6b6e63d171c4e6f93ae011c3b7a651e3745e0cdee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x10c42a45a0677bf272e5d4997a579d742d1f7b3177b8771fca036597b6149b52",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8932bac48f24273404daee334d8b76f30091349ae9cb450a332adb1ad193abbd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c61a392044deb13ee9be727841584fd61d7bcec699fcc7998907e9893b62921",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x127a449789169071564846b318acfd17867e2beec2f039244719de3ff469c91b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdfffea927e688b16179c7a7dcde312be164daf57c2ddc2ecc5e30527226cf16e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x189a76a23e678a55cfb0975eddb0c9031eeda64d6ebe5f109bab6e0da48b6479",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3e20e6e1b16c237503b0d4392b9a26c441122b89fd2bbeb02475e84d6b017e4d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc5cd212d59430a4f67cc109a06a15baaa547fb77a27fe4997c8f4ef581943897",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xff48c970743859a86a86fe15abb0c36020a1ea6f9988ff27d096c36e8854b7df",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x616d314404ea39d589ca17a184b00d6f5323538acea4c5334d4b2a8f9c19c18c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x39edc22794060ea433ac979249e5cd8defa19bb604185d60d971b05d24bbe5f1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xac0ce3b52ae4f21d3313085bf8ae41a81b7659865eec4583712a6d4a97d79679",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0b47eed8df0510730af5aa1a0ec8bba019516c7550b54c37c31b8264153a655a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c4f4826ff11f5f9728a12f8197754d3e22dc139c2ae9db6c1fe7d15a69671aa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c58d434ce0f68ccee753ee5aabe721ca2cbfdb290daaf2b1e60e851d24f2c1c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2108bef54db835e5c413cd0e3563d19e74bf83c6394bbb7e2d03682314056d2e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3b2d54ae6e8c0cf2b00b0e6e64d8c414804a08b7c07e9781af5795c304b8653",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5a533eb3ba19ecdaa29dcbac7879dbfd1440cf3cdfde9d1a45202bfd56d1478b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd85baf5b4164fab91fd1fdef536c60109d0efa91441c5e75637f4ada01094f3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x80feb32a817dc4bfbbc8d3bbcd5e990d5ff2b51f76c4d0e59e1afccc7b3e457a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb65d15a8ff6ead1e57efe7cbe68df925d64d3f89586d9a1261ec05d6e165c932",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x86912f89fbd81f05a97b2c8dae2cf4703bffdf05d7c90f0d7084aaeb0ca2deca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2ebdcf6cfaa453013f7ae85552fccc8907e31598b5a92e6c0dfaa5c9771b7a3e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x01615980e76234f056c6a221218b358820a2aa400f8817177a80e62423752727",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0b44e4e917f7648330617390be2fa03cbbc17e31cba19786e7ef06544c0785a9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8e3110786d3ed251cbf6a3f015c2b3d487a80151d0bf37b6b90677bf437ba38d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x931dade18d6b54f5987bbd312c67f156d2323ded12b5b99e89ab6d412f626926",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa59a288c1a995dce322db3b3db0734d972a2167c0cc5d969e2c289d2b7f4a345",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d1c32345ccd78ec93c16c076ea02caa37cfeaa365ab321c5f6ba39247b1df1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8fa67076dafc63f40ec43fb257549e02f8b2d580e6957667b0c015f273df2836",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x318ff60b08ab7523b9045e4cdfe66c4a9bc9c9d3e1c26dec388e0d47974cd03d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc76525651dda2d346bfcf97e45f74259a232199ff823db86f586b1e08620121",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd77855abc3d0e377e1b74ea8180668972d1660f4adfa0129294e12015aa0423e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfbea2585314a9f5ef3c7d3336c963ab7def92e119f7122e0746576332e3000f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb79ecbea1d562df07c6622fa3954d119cae3b0794bd92a80406ae73e8efb05c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1fa71f1d9178b4ba503a75c5f914f150460d3974e8ab6bd9e6447eeb4d3f03e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x21d24c4034f3a574a3b7170cc5cc7fbbdb01f186d4cd3ac11b24da94b926ae72",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xde62c6bfdab67dfef1d2268955ee57c2a313c528c0752ed3f48cccb10d51a2c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8c31bba86ec234470d941cff41f774604a31381214f185cd2345b83e596086d4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe6800a0742546478056365bab091473caa21a084ef69b29ef60bc7812d88bd3e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb5b77d88520e92923c6d0b4ae712c0a9c31cf82ccd760a48bf3771e3ba64b5e7",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xf816a2278b1d25752a1b085c6525d8d7e8506bcdbdab933d787a07e1d7ea6078",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xda7f2b39e7a2a31645153e80f05691e293f0bc959b09a553569dea708ded348a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x972fc5460b55e88fffa53a44425f2efab9e1df9d281fb4b8cb6367b27672aee9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc1727339dea4444d56d45dc3bc7ec508159fabaec05fcb8df7d8cb663a9b4e73",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8e04dbda1a53fd3cb99ea41a209e9c71ebf52c3bcfc06875c2c8856fb405752a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x133b113422f02e2f1bdd7fc2621d51737da1fda45cb066be4007be1db1c4f4dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x34fc84ebf0fe21bb43bfa640ee3bf9a2d4e7f9cbcf775a522ca2dac18007fa9b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8795bf93fc4bc2002a5e6da079e3c775a654796e28ad958dd10399abe3379fe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbe911738ce0bc170ecb80a39376f285805d53e1e5090d1ef448a74496cf0fcb9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb3730d7aea888236e2b083886034bfd797fb0ddcae0aad462f5862d1b897ddee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc006620a78b5e6231bac0c2faa689fc4d5f8188478c9e5a2ee2729027aa73314",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf924009e11d82dff8ad39e1045c7d4b0ecf0656c7bfe434f10d2cac04251f783",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbf435b5d430f3b63369895ad86d653f449581baa1bae0b97b31a98b2f7508a7b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7cffb8f93df224946c6d11f5a97f5acd4db5be355ecc75bf19b255df07ee753f",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x1d1176d3676e234a8258ca5f6b46b2c7bfee2de9dffe0893fd8cc34c09143e5d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x96754f6fd3fff4357e297528f56b8363043558d232558e4122f8862c03d7f915",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2f726b7e29c5e6606a5fdfe00327cedfbb2499097d471b773bd5dafe38b1e7a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x62c6f8ca6203fc888c6fe12652749c6a175ec1a716f531cbfa9bd1b494b0d49e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf6b7fcebb0fc06cad8e8263278257f7a5183a66e7e557cf188a147ffb7a68c66",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9f5a26cf9a61864e80275ef74c96ac0e79cfcb6f821e2f33ce0b42f835495591",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa63b4bd49ac322205c50c00a125581344cbd997c9d4c4d75d1441ccb1046feb0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb0479686a44e38657ec06dba32bc4731eb37e17823b25cf1f394f461fef11fc4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1c28223accfe0e438a9622777b29c37e11d7d3f1f4e93a978ebf9f629e54c64b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdce3ab45956bcfe13640b5513693ffa8778e23430ead57b6c30a7c7651476db3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x64264a15ffe37e468347ff3bdf58aaf19e3060351839955dba07fa7c3ce1d35b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb0a6936f48001699a870821a8099b15665016b6f8b7c05484fb63a43462f8fa3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x649e8216c344d2d8f10b796842eddf3703dd1e6c16d0338753dc14c298632fd7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5079aaa2cccc4d32e0762e11a673e1a0bac9c0320a3a1ef88aab5e673b0bf671",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x87921c279704559c0203085355cb65e11df212fd19ad5af5edf266b482cfeb60",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbdb71fd53f7a91ce98882c30b13e791bbfe6b92dcc12216dbcd03fd15780e384",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7e95142fe0929ba552258f5a8d3d688b7cc30d0ca3d7c8b6d9ddd5cb1fb25831",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xba63f74459e5f9849cbca3d54e5e40113a968ff4efd8ddf6de720fad54bf8b30",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc4dc05f75177da1f6acbb9c6bf1113a61a33e83e9e3b762b6cf66db8f523bf6",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xedd72f250869227f5175cc1e0e21f81eb381737638a824c488d1a1170f5f60f1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x39458d7f059f8f336f93a14e47c651b409a046401ddc4553d121cc6a27dff8bd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe528d91bd19c9eb47342cdcf52cfc25ca85d3b5758534e6067ca5fab0a5030eb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x63d3e30a6f2f3353e12b7d7d4ae54aaed411ec18204672b5c3e560557bdc612e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3f646ef127288942d2599d40e150e70fea8fa577becce6fb7f7b2877ef7bcb13",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa9a277e13d06bc502c99d8cc36d77bcf4b40d3a34ae431c0bf3d1f2e66df4d91",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc36bb95be122b13c91192cfad4d47a6f10b04cd64ce1f35a99ad72566d70d1a6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x963f0577226b80c9b4c4a6c335c61a11d43d1c05bb516d75d82125ab6a444492",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5016a305a3f0ef4ca00959007ee2e40323004a6b7d27135e8b715c7f6c9c722d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcb0f98bb4f973e3ac7ef1b6269eeb93aab603965cb03d985bcc0bdf0a83f36a0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe999cf3c1557ba8826a2c0917878c2fabefc9cae6660578e33b4670e62530ddb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x040e375f1ffa9db18d8b4e41308002f88f752dd66c33aac23bbd9462a336b6e2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x004b9850f9cd0d8dddf35342b8d1cdf119a51bf1c0a9e93cffb7b581104d4689",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x795ed6bc508da1bb3586e0735c7d97e1251af12fc990fde3289216ddd8046f48",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x207bde3b18c9330da18ce2e3b7f8ee712c52160b366317c23ce6ca2372fdc776",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5965f333d32bf8f4eee97128c09b4526d4af894c227b985d301c60b5da23ebe9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xee1e6d176650006f4f2e25d4e54f89accd160bf0021f522aa8800bdb2fea2c07",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb46cdfd1c97fb9cf1a412f425d16bccae5d852aa0f9fb107daca106447950fac",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x08fa96caa6623b66ad749728db0dcaf9f1ffe92837dcf22b637803e15b481e0e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x571c647444b414e2a9497b420245113365c836fdcc977a499790ac00b3e29a36",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x875e98cc09ccf54e995fa657b7ceff69e5f4e4201f934858ade5a5ae14a9db12",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcce64de227669c427fbda90bc6d409385b3873c87934234dcbe87059e6581c62",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x05b7f1b6be12ceebf4700cf49d35f2a917a94ba016b41410dc76df5d8ba8a264",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a7c4b92dc22bfdc44dc2937e52bfac6aa07bdbd5c706cdcb5b2191b29bca85b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x33bf55bfe989dbc9ba5deb2a3d82192a5e1c21680d70fe223a39e507f189b7c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeb2de67748f37a8c96e8123ccc6a41cb32bc4930a65a5d861a9efec31f123565",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe1db11807ef6f326659d33a5a75cb8f37203e86bd81f53aad6f5278257bc2d56",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb99d3eec720487052b09f36fbb503bdd844c6421db9182fd30d2c702330d972f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7e8de6dc8ffe12b8bebf6d350b7b3d8cbde4c22d2edb81e4ffeddb2334c786a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x40978197c5d29acadf5740d2b26dec0a123367ad852cfb5a789bde14943e1565",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0713146b0a567d7a9765cc5a8fabd0342d0f01aed10fcc5f8b8c095767266371",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe60ff1d78cbf6472af8252dacef38c236e40ce38b54c4adabf1230825d9d204f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98ec488c88e108ca1f2123d49d829acc8392b496f51d3f7878ad3c9ef1ee58e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc306b5ed181c3335b411a90c1973222fa992558cfa059f6e9e12cd5fa366d67",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9d840c7df95b3fc14b8ef58f6ea5116139abe4ca5ead46db5155bb08a038bc00",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa862dc6f541bdede2fa30c9a4ab57547bdfe509dac02ccd70815d6ed7cb98019",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x341158ec101cf1b06c702a807baf5a1804ec0b03c1f990b5525f9184f1db0c28",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9b571595849c4d1d65bff613f734fb28ad63e2b4fa6464c8885130c6ecf547a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7546a89040f73dcfa4282c51feb517c3620a9abebfe04b927de93aa75778ebd9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe94c8a58842aeeb77643ac40ec5fd28fec1f2b205036ace6cb4d2ee55a91f02b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9cadbe8842ad86c1c8ee63b0c6fd2ee722b44022e3c99cb2bac0d2e01498b605",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35d8a962bd78ac1a441071ddee32046d2082c029c43fffd172ab8cbb2a95f3de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc201da409fb130780f3b9affcca648f746c5afb50d8e7a15952021f5603f8132",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0d383406a3bfe420fb88c54bad20632df28d406fe61a98b21ab689d6881f0c28",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdd2014ca58407fd541983c1e30fb7a5f063af8708461f353632bcb343e8b4312",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x9829224f55bdc7d3ad07eb1aa77fa82bd3bfc215a177b28df05045ad6728bcc4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcce8b848f0de3d16b2d6fdf41bb31e878def0c76df4493374675e9692f4e98c4",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x949ae90a4efb4e3369973071a1b52e9234a21a5b822468163e12bf489ecc03eb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x961a1f53e013f3418cbb29cec4318d1b04501d7234b55c7397756d0cfb9980c9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfdee0be0b6b20b5bb721db2f4a062fd85bb6c0ab22e652377d7125269410374e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x03d99cdbedba6018c85e7d0285c34c01a87ffc781b94b11e062a325827499eb5",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x7d4767a12e7c002166dcc1a26e88e411e527228ffbf59d0c6813860ca2351610",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x5f14f03dc108a38a9a3cf99f7dc33015ef9d20f9cca5807436733d5da5192960",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc0a7c7a6693fc7c897141f44baddfb3f10073b2296edb22b2c44ebb33a4ad2c2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x49b3a0418d6b98471af35f27a9dbb39846424bea4d90bbab945709bf9eeca9c5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcf792d810cca66ccec2b2dff12465ee72cd1477634d8c824e3b661dfb6c3a295",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x939f8bd44c6e5228933232cf2659b1162b1b20c4f384ada4184e281e408e9773",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbdf6a10701b6d93f54ad51506bcc738e133daf007dca675b0df35be323917389",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaa6c2a6c548a832e388393fcff611816a1768b55d72833b37b5f4951987252f5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcb2bba0853ad20ca71052ffe076c467c89477ee55cda32916ca9292058194633",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc1086b3c0fa7ef8134761dc0b0437825505914e6781fd2c96f3b1f0f63a6825",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c2a7b1b4f0c293ea85a1f5cd10f007f808217a1e8efc9a311cc1b56a195144c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb9621b458ebb9307f260c279a12f0b2f59376e733d0b37460199e5f4264889f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0ec87de31b6e32fded37f5da4410245b76762da1fa24abef566bc1b8ad1671e0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0a2be79476207ecd5e2e17d19127f5a1b60b5c866d4ef687a20f08c54722b250",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x12d60e6851354993317e266ddee76fdc885b879e9fb18a05a64d7aa29c55b818",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xefb8fbf5043c71aebcdf70c59ddf752a3bc768bcc225c9b046226a102467c5dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x84b213dc0b82738fa4e4e722fde48a7a4eb1a7afb08567efc47451accba58a8c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x786158fafe6dd8395b5e7c26d0d2c0016b51f336aaba1f55407a952cdff7c223",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa0674dd50a6e724768238cf651d3936b0c07b4061c70e622490c8ac53487d47a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ef683721944ccb6774b7da114354f66747991887e409bc6b56ec2035daa4f60",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00490cba1d6ef210de39171cf795f325a8904dd5c16a931a0a47d1b57cb0cb9e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5dc1ad21a364df7dfbbe8fb6165f6cd01cbe57f4be4e9b73fbb5ad6e8f006224",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x791bd8af172f769125952ed437375d74c11cb87b563dbcd99ad929fe7ca9246d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x07fef99c5df1b03754a081a5983c8b8e8ccda11a18a8732763ba9adc7b358d59",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xca332b25cec1724e02ccede8cab2278f7601530d5827151978640bfbb3e12d55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x279f31dcf8ae8f3982fa35038cd12b0f5ae1bdd72e18e0dcda7c3d4b5b17a749",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x36de4874cd54f9ce48718358d0c4c71610e59cb6d7a37c0c7d63483599dee6df",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5adcc600aa35a67ce2a34965f677df09b44279a30e7f38850cb0d9d8b4a18622",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb0a1431d22d5a5688c06221afbede7c306c46ba89280fc84e604f5c83aa110e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcfb7d4d6546e0820288e65f84dc8be6ebd6d0abed7062aa42ecfd818c4d6a5c8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4474ae98e95fee92a84d208a5d1d8fe561964ac6453d22d2d150d3edc2ac75ac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x594b4e732eda5a1882b3035e1b40bbf272c47e6f651ad1c6f41fc0da3b194fe8",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x4e76f9fefdbecba3e04b2f77aa9ffe6ec4d7aa5c40616a23da988483b0c0a1c2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa282af79594342ed40aaa121996b04fc5fcbc9c9c6a88b9465cd2cf41058fa15",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe717e32d9a000cc0f849c480e7f662806ca06341d3a731cd365917629421f042",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb79761aaeb34ec138c6413b9b2cc42a627395719ffa52d7dc68505ca5c224d5c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0a035279434242db1c2d10143365f5d7cba625277f62f4000750766819712ca3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x29e8603daac881d1156cb52fe032060581f14efd7658591b467a9b0546b4cd91",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7bee48a331ab6074b9c1a9caba1d749101cb251635ddae841a4516f89194edd5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb78680660d745e3c3c144a6475100423233dc2ece5997447c2be4ba2c028e508",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x7ef5a0d81a00b66dd72ccb95b4e75520283927c1686f14bcca375e4e72e69d74",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x764d4978b1671fcfa0b205ea72877b4b76ed312d7eaf5366d5cc6a7952308365",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xec0ed8cc6996cdb3ea1bfb7835734dbcf30812923f3da6e74a0102d0b9bb6ef4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5ef89039c75e5f89b3850669b56ca5dc3b6f6bd061b596b9c431d31261ff721b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1f05081e9f50626668fe6ee7b71095ba9b55f1d86d45dbe91506893251dfacff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ebd7bdd2d9d7620491cb5b2d5c27616506c812a3ec07277f10c4005d8a429fe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4abcc458014a8efbb6646dfbc2dd11ae8e4b3d2e95593368771b07113044450d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc5c773b10bc139ba8b02104731f6b29b0db0ed58f7138af83fce55f8e8f624a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2b0db842fe59c6bf28855bf579339e489fb6bb954826fab674e2b5bf78a81158",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x538b6f8be7071defc4ceb8c505ffb455d14ed77d320e5efbc80cce1752169c99",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x87cb0d7a1652feb035a491559bd792b480cf690a1dba959912078617f32b6574",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdaee1fc04cc8a48f8cf2c38e3598b8179dca306ac443e6602097bcd446aa8ee2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x244f7237944393598f762cf2d80be8a19645ddea3ab49023108f248a9af6cc10",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4a51490d30129535d275db835197815f28bc0526504cab56e70ec0cac7e6c28e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6851734974155cd285d3cf52ef04910a02c9c643d434b716409571fc32f5f5da",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xecd7d86ab857ed467ff9e67b5cb7c8e6951b76cf0bbd2e40e4aa7d4e0b35d4e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa2ac9d455eec1a06a628c97a76db0a7f8ada0d4a7dda216a16b526784bab02e9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9f3e82584183735a61edeab8ed42aa72764d6b7fd9d67911318121cf8bb57d8f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x67ce85d8f64b14dc1065a117cb722759339bdb9dca8fcf137e339340fc408274",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x81555b7258e32f9b4b2bcecb6d5b460bff0d5f1b37817cfe40cb1f6fb9bf0db6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x329ab95b432e4adb836031f85ed74b547d1020b9bf2129b73d0f61165ab297d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfe8b3383d075ded1d23c85dcabadc684d8d6c441929fcdf9f27ab2e2b684fe3a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa5609697cf9c8f82b44b15cc7e8676129f4ec180df199a504bfb09e5b886697b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x612f1c6fc0dc6a90627f046d7a7ff644f15b83d2ce6a08291283a2dacf78f5c8",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84178,
      59421
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x100000000000000000000000000000002",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1426,
      13135
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41405,
      7057
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x17f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13241,
      59666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x50",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60547,
      4310
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0x7d0",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          },
          {
            "Uint": [
              "0x26",
              256
            ]
          },
          {
            "Uint": [
              "0xd40ec265e758a7e1157449036e343911dcd547af8fe50ab488a1d8c547837568",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33748,
      37696
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x16d8f94558a62fdd4543bbebb9ffdb03b10033db236021cdfddaca83cd7eda35",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36502,
      8591
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7275,
      41625
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Uint": [
              "0x80",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2301,
      58097
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x3aa8e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86513,
      21794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7664,
      2474
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xea6924fe6aa73c7e26f3c06f4c01b57a3fdbc99ab0c7aaf65a93ab927952d95",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66108,
      44269
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x14b91d8a9028976bd57aed3f1926e0cdfb1501157be45d16b9b4da806e2ab1ce",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22993,
      10064
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Address": "0x031a6c576abf27aade886c2b5db3db7e0c794359"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9243,
      17329
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0xee75f2e83791e29cf5873a3cd05e249bdb77bda5"
          },
          {
            "Uint": [
              "0xf406a1ebc2a9cfd69853cdb967baa460cc706bb95871c7ed2d4b8ef135515b3b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85354,
      19867
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x17b563d279963089c9b9e6034ed592c425827d851527f08b381a9aeca0b6b552",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      317119,
      52081
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63288,
      949
    ]
  }
]