[
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      491,
      38314
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x42",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40033,
      7327
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23248,
      18290
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59442,
      1511
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2867,
      34139
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81515,
      32486
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x32",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      331346,
      1324
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Uint": [
              "0xc0caa1992ef4fbbd3a820051f30fd853b5a3876b46644f9006d33c07a747a058",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14688,
      3962
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x2c56da9fbee9e452a2351c0aefb754d6d028171ddf68fcfecff60ab4ecc13749",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa9e3374c255eabf0d99987c34fa0a14c2bcea9dede010b9fa9796e0964ad6ba3",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x3d",
    "delay": [
      6023,
      17728
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9131,
      59382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63314,
      5685
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0xa0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      298417,
      9582
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6280,
      3108
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85620,
      24244
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0xc6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      188489,
      10344
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73587,
      25918
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x86",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      377401,
      40501
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74440,
      23472
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24059,
      35100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39798,
      6531
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Uint": [
              "0xeee37cdccb1e56f7b724df268816e8c33e6116119959f84be496fbcb9e117ef4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37375,
      19167
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      507313,
      12027
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78854,
      40861
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  }
                ]
              },
              {
                "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,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      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": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc95e84a5b2186312a6a7e5424b03b7213d876f3f4194a01f2f8e77cda268f389",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5eb30ebbc3ce4ea3b248a5d03559d41628be9e66736a31e69bc828949d94a9a4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2e9e34ddbe88c3a2efc08389e0f9c3e793e6a3389edb3d6e07f3ab4db0b1fbdf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x99ef7b018b0da90c3f99647449ee2a028c32467cdbd9adae1ce8360b1a08a993",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x899350b59ed679d9f63c0c6aed839fc1bc3c97f134fd30219beef3e23863c354",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcfd45e47a4bb593b3f4804d9ba177400412ac7ff7e34277f71aac79db21760a4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb20a1d672d6204d4ca749c87969067818ed0e2cc111a61e89b51c05d49ba6ac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x89e0072f874fc88bf4d99cfab91a6f75c14dd9510c2b483fa529c8386ebbd936",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x058cfa51bfdcfa8bebfb79cba9c7095b58b17ef453600f8fa48996dd1a2174a0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4c6f7e0fb614095e1036015db5bc604af8be6a7c37b6e76824085d7c928409b0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe475538e8fcea23fda63a242e6df7b240975bbf1a9eb125bff849e6b1a871c74",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x63b22cc2d57e1c7e68345c5e7c06b7a5b4a7086abc24dc0b2cd7615bd8c1994b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6603a8d73f30547fee4322e207c9375005d94319b19b10e81c5f36e7e675dc56",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x920170f962c149b52252f311a4137678a487666f6cbc5731a7b83b7c147e5a7c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc35e3a4f835ce5f6b98790ec029dbfd33a46d1777e3ee6df9dda20d037f8dc5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc0b0daec6f45569f731d7c3acfa99735116a2ab3114005fef80df919707a8592",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x288ed4856baa9d414d16faeeae9b4b93cd5e6c5c5f4c2f9120e9b18339a40272",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x92a967329fa2b3636cef90e4fdb57f3b4753ce01e270b9f9a63ae66bc0e91d4c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd6182016d0f96114f8af8d1fe0443636d63118a4f29f13c62d9c310f8a3635a9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xead568d4186449166f706fb8ae130158b651cebb4bfec5aceeaa8ac22950b1d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf4fe6f25f9c678f3988db1dbccb1c3eac282b979d055bd2154d6c355555be0ab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdcf850fc5455208de2daeab92026930f34eb9c18413370b352db97644ac30da1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x821f0e617a399f264e3c860d1b9f064320ffeddb51d3dad174685a2000741d34",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x28c350f07bafc4609907db5392f9edf29b8b1cbc1b6d6bd000bee16132c8e8e0",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x5c20a6981b8ec89c672021220e36fb261952cde6bbc8b680d49bfcf9e4c97656",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd1ec39fb2d7b9f7c8bc2f165270f6cfa99d1819f34d16cdc6332c7e334eaaf4a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeb13ccd471f8f85855515cd3a4903414b78e460d92411476946ff3ebb0982776",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8a5ed6ced2c7d1c4b7f8ae8fd3e00b22ba84517bdeb7f8ef7f700bcf0d00c078",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9af06c88c1ffffc7a36dfc30f01b4acf8b3ed88fba27c0752ee28c66639ee15a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83f08d95350c83cce89d54c361909e2bf7cd6e8233fae89d731c2e0339b29e9e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2e7e0d16bb4e6fc8dd0253f1c916501e23b45f2350b681394d29d17c3e45e473",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x28fb8b527b5be51f672fb3449be4d9829023f8419973d57c93744dbbce34426c",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb9fe136e32c7843a3d96c47f91a7d544a949266df4550422e72d5504cd26127b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5316ea26c6536113976c6341c5f1140727ff2ad5d36eeeeece020f464354a8fe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38b911f6ab5e0e1dec1a61da8e61e867b48e0fae8a73aafe0a15f7794a73088c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4879a250ed64e5755a4b7b85a8209e508e8380b82508897c001d2d232370d2e8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c62ece8d440cf616fff07663b245242830452dd79f7054f40a32bac56bfab7d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3f35ed13e61d2cf432479fba38faace2300d61c243d40a68a052bddb34b5590a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0071fe29877ccd373c6f0a799fa888148f72ed222ec0cf2054334d386e9fff3e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x47ac2782d0f3143925f2f25f75f7effbcade83b5e277bec342fd1e2ac48a6769",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3fe309d04c0b8c45745fc8bd49d842cd23868b0ed65dfdba619f98824e0ce04e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb8186adacad748cdc309c6a582eeb3e75bd2e8de5e5425bd9482c64dc49cb9b0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20b0058fa42411f3f779ce835d4940a6bd0c854b4772e2fed35af7a846bf686e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xac3da85666ae7aa7d3cacccbbd8736f8057135b9bc9971123491a4a673d55ca0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83bc1a1a96ae39eb06270aa4ebd248ec11736b82edb30d017cf058681eea6886",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x43d18ccca6fc76e585f324a14c40334b625e2f1f9613ba1655416abdf279af15",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdd8757a3a719e18ae2a79663215d65c0d3d059ca1eb87d396c4fff63cb4be02d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x716a3ad325e99220e3527821f490a722371fe6cabb66821c08568021145942e0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf25a3fa7745a82b15ba8677cf7fa0fd4920cfbc8e4ee62b8449487e3d1aa309d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x52e07dc37870f564037397b6ee3a4733967649e182ed71e45f957296909d1b77",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7137b857ae0836570a8d1dc72afd845ae4dbf8c40b9dd43a22015bf9c6811d61",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0afc1463de22c7b68cb044380489dfd4ef5630b2c66d50423ae3f16bd30cd08a",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x2750afbbbf3596d7e9c176db02be23ddddf3b55bb878a5eeaad32995f21017be",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaf20fffba5668579fac243ed885f4b6262c10b4a6c2f09d49e600a5334e88a3c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2692b5f821061ff194b71322698034f04ea1ad957c1e03f33172d7e74b156978",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd1956108b6fba46ed3b84114cf12d4b831e57a415c9f35bdcdeb4151b7e0fd5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0beae47b2bd7217a1401f4e58c9070ba9a230f91fc7a2378f92c916a75a5ed8b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x035ead6148e33f9d93f3a0efc2801441e38934d210d2878524fc650936d278c3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x21757c465b78c061ade154ef5c2a8e175d048cc3dd48ccc97dd4ece6c9352217",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd1d0d80aba211922422d3c7f280f30137a10cd4f0bea613e4bea789fc9fbfd24",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb5fb1676b13d59ad13ddfe1c3169e4591a1eb5631e644024357f1d89c944ce41",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x43ecfca4b3ac1d696e31ccd721012c84ecf8f31a7c56241c442a484177522b27",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x34ba5b400a8aafefb2ff9b339f9e8819fc87ae93f68dbef5b70128f75f8515a9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x286e35adf5ab38ff637d5617c82534b5144515142ccc1757835b013f4a0d7b8e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x02a27d3a5869ed5574e27c173ed615c54f630e206e24b1ba0d25a803a7974dd4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9caedc920be85423501b8753c6270350416e2a3aeec84d80016db1b69efb851d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x84dd5de36e633136e95d88f012cc86e5c8688d33923e98ff68530135f9dca49a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x72bb52920c9381f5637f46b86d77aa07560931ac39b42e8a9dd1800fcba34628",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9719a85ca0154659bbd46c54ce87b49c7a0bef4bd8e3403e04e647325c52e630",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0b75ce57cb8df713aae005163f35cc24d0796dbfb414b9ec36d01006ed9da45f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb30b217b5f76f29fbe7163ea7f168cb1619d5b6b178889bc967a05df15138fe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd13b8e687606ba4fb88be15c731048cf8c305c283c03608ceab0b6cce807b0ab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb9daa6fc98baf021d435f8844bd8bbaa347b2eb3a4348f393e4a3515aa565d55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaec99134bfe94c25cdfa9d6c7658c5be2ece73d418871d7989daf57a5172c5e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9c7f9b7cd40c28efe304d3d47aac586fe8a2296651916176a1d7b9c129483ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x92da3eb6285c0ad72d3c5d0da58e5b81f41c6b7d687345edd3313d39c8ee9912",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x85f03e6fd49e9b550fe65608360bec2dcfc28f6545b27a5eccf58f895f28e946",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x092027c042fd484981b26cd04728683539cd614f61880fcd34e1053cca5e188c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa6fb0d9147d50d8c69926229990925613bf0fda2a239fca6a97fd7096f054740",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc4cfa39a6a978d80ae3f473946912be0530da76de42be1e03081809b061ddb0",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x29e4c2c1c4329f7488904b2ffb8d06a74d9fd9a9f75e00602650174fff386692",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x001d920ca88f333e361661b3ca644b7d1ff0c31abb3052698e92581cab6df5ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9ad0e7376fd85555d0120943128b5c514954a5baa8f6989dfb58acdd53fbf974",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc763c1679b6179efe350239f79b16997df61eed40c54a967eafc0c1415d3563",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7b17e83585c98609c5f1205cd55089cadde77e47cf9fb00f3e1315b365320d99",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x26ca03c95dd90449844175b16fc553fcc55dae203e0497db3af73903af8b0171",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbe3f7f989e53098800ab10eb42b8ced86e8e4e5b3778a1261734d54bf5a4b3f1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa2fc3fc9b7944dc9cc0e6910880072d269cf161b7f6759966a94809ddbc12c8f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c4322145584a93bfb40f5dae4cab5624869d038d19e3fd7e9a860ca1b9f0bff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3532bd75ffb0649c53615e810c2873d461674abd71b8aa5510a47ecaf958034b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0b48d564b1ecd1d48373b5f85cdbc3d5a7795b863a70153a137fb4ae35b15231",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc1ed21863d8cebbd9e1cc2c78146cd86dbd82237895076c5a92878e45598ca2b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb211fffb85c3446e38db6b7cb100c5da5601c82b6fdd7c33c33c11c3b8047cc3",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x1145e91190aa57ce755242de66f39efc1539123642aef6d0ff459d64da1e57f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c2d23fc36009c132b2099789038fab2957e318c20d32a37adc2f65a2e3e4b0a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb76d5aedb71dc2f263532c0f34d5aa7fd1566e2c5080fbe911d44cdded978779",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfdad333b1dd75e82541a8b076b3e82994cd31a8a0e02e316b45464847d484afb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x247bf661e5e2321df3ef6c94a5ae52960cacd96e62a718950dc1ba71db4e0d63",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1474936a0123293764bb89fe5d2055873dfb7ab9f122df624e72cc565367dfcb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xffb7526245ee9f6f750feae39814e90bf2ee984ae70a22cc0705120fefc26cd3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7be395cbfd15a6fa6bbdaf49e584cc36fec26671df48e54b2e11e6925df2d9aa",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x247d33bec2ca96085fb7e05c1af4f2f41f3bd37a3ce3bf953ed700837f967b9e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x483feb836dea3558d83e6e28acc2ca1d5d0711922c05a589a2a065a23bcdbfbf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe5b68cdc770fec0d3f995242b96c2c48ec6d3285294a0dee45d0eb9f16d02398",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x11a97fd3f5903bf3a0991f3af4b85b978d1806fbabaa46600979a5e5114dd2a6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1d205d42b4a65e59300cac73f31cd4621a54cb09be8d8a7d91ff095a9b9ae09e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x74c746888efd355a3742c932dcb1d9f97536d6df1532117842ee454a38030191",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x717cb056d4b88625403c920336e9b8535fbd3aefbf7b15dfa629abeeebb83a06",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4d632aa770402abc352928f834e1079dfa0e3272cef70416832ca219b3aa7ead",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25e634c8539da30f840a8582bf154a05e679cbc722fbcff5c4cb69157d2bb2a3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1d6a3f32ea163cb13d7a2ecb1b6bc6170993567d011c9d2cb8c48b186f417c6f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9bb0aaf79a39a074b429d197ceb2cbe068f932fed94f7ac056b8d5928d547258",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc831bd9838fe84855852cd3f81551c9cea5d5fb8f8d3556ee365a6cf20942dfd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x18d715e975ce0c656cf4ea313cde90a6dd35dee41f9ebac0953c49a98d45b0cc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x14df615e711189bbb662fafd9d305683e518bc49a598f70e9d99038d8ccbd878",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83913737ee912007008c808c57dd6ebac03427e5204eda2bb43475ed2249d3fe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x66093ca378553480b3c66931051ad7b70686a584fc262bc0c682b3da62d55a06",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6fcc97209e3049622219ea8832d4f3b3eae915bd17f295e180d15c649fddd701",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x7e643ad48c674ab75d0fa9feb2f6f86fd4f399616c8132f064c97477ccbb9fcb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc68752af9fcbd5072ec9de70e87e225a33adf67b4980f8ea6aa4283f1cfedd92",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x934e10e3f12a9880d787c88000bf412496e4542641e08e01ffe555196c81c10e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0ff61cedc1ec318321ace8576794890e33551810e33577b1b4a511d2dc021bc5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x869d95c77e47574c73d2f248e34ff49cc91ec270b45a928d70f1a28e85c4bcb6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x158af0a2b03595d495ba28ca450a978a18fb9ef865e7dda4e8dc3e34aad177ba",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35f4672d8a01f656a222048ee5f3db9802ac30464e795facde0aa95d30e723ed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x17da2b3cf6f948126ae4ee8bd19c14e9efbe979c569e961cdada1596bb62f43c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x80dd8e6623884c1a2c6669fa589845018d4e2f5fa569303763b3dc106b77ad9a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x63f33a1b40828ca3c3f25f59abe565941107906b446e44962f904c395ffae6fd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x50d8cb8686d5d1b6c98c9e0e16146fda570d6c15b08a48e6d7c589271b9b466b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x308afda102345805550408ee5ee5ee203f4845a22a7307deea13569d8bb8f396",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd866a737c4bbaee43c6da593bb9cacaf3556c182ebf6d32c10a73de3281169ec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x75f20747e9c22606d9d0ae8717ee7de2f2dd0e4b262c668440b396cfc29a1d45",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c4712719474d93e943e6ab411b43e8250b0b8fec905e89ef647b6806bdb5333",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6eb25de73b29f70b74c873898c5412318e4eb8dd813ac705d5067ffe87a8058c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4656a0ab0f4617520e0a851dfbcc4bb53f0029830d20d062ccd7702134564def",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaac57a633f2256f70fc99c38058ee57e6be60abf83963f5f82257d521c6aad13",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdfec68fb9e9e936779ac7fca9de42b800f7b389210c061d43a8570546a9602dc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x494aa40b47a7b6fb4cd66d278847d6e91ec4ee3457cd8ceb4a11a12a1103367c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x74b0844e6d6d4f249d4ce3402d07d230c2bd55bd3218708335ca2558e977d13d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xefba0dd1c0c6f840491148e3c0a173bd622fad2e3a6f9b39490a2218f9ed9b19",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3cb2f5f72d784ab4c46dd71d049863345c5857eda5b08e28a997c6ea6e5e7248",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2408a43f706f5efcaa0199264d4bffe6b58d0b210a18c51da6eb40366522b124",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x61b3978dc8b1f07f32c8892c9bace6883bae2ad62fa0a150f79050dfc08e65d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7d39e6cd2ebd1c1b9968a32b08b5a38c69e32272a2655fb1c48911bbb0f78e6d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xca533d8aa8e90d2f91f918550ff146018df5268df95a184ed8409d5fc8b1da72",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x740084163c746e277e1deb2a05030428da255a79228763ff9733be88297f8c12",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc746d7fe7979094d6ab9da594331bddcce509f20e65511116dbe4ed077e7078b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45e1e3d05ec428abbf93fe6e30a4baf434b7ef42a0d551ad0eaa0272b9f1679f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ce940e47b226bd9d85de788b92b486da3a6a2aa60c9985994b118880007bf1e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x18b6f7871ebc62bb9bd2702e85e8236de04aa32626a53e7d662853293ca22f53",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab449df32354333605fe923f04278e2be2ab422befbef94af48d59219741da3f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x11c8b294f14a564fb4654337b7fb46ea7bd911326fdb0cd21c322b1ef3b6fb49",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4c9e9fe1a51a89d2fba88505616e6fddf886563db34bcd5a77219dcf569ac1db",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x50477cf6d93111b7e82a9b8b012d85464201f4259d7b23b3599c73f8a0185606",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x150be301c3cb3a3530fd47a52685f44e7ddf7d7e52ce090b23a8453918998dde",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xf8",
    "delay": [
      21899,
      59542
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0xca",
              8
            ]
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Uint": [
              "0x53",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43956,
      19689
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0xdb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11065,
      55571
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x94",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      182133,
      21960
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x15df58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Uint": [
              "0x8a37a734a532e233ba642d91bdbc4382a386507404bc53bb8640ca6302862477",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81265,
      54051
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      276465,
      5579
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      465260,
      30484
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27219,
      13136
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x8f1c3399e632f2a353",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      876,
      4783
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x889bc002f726b81b07e03b78ca53a357ab07e9bd7651e36d94a069bfad492cbb",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000005"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      414834,
      26536
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0xb3",
              256
            ]
          },
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13324,
      3620
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x81",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2997,
      8129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0xaf6a2a33ff09f6bcba5871737364a9193212f7f6ff011c4acf44891858faf5ab",
              256
            ]
          },
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29022,
      3941
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x14266033ca08b58b1313d4c8aa9b83cfd6b4a19670a9428fe6641ca33752645e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62026,
      44204
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x84ae5885151ed5ec8b4b0c1ea465918a978536b284e68efeb58b0f27a783fe6f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65584,
      26756
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32705,
      14237
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x52",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      546071,
      48234
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53753,
      7300
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x4998184704cd7a64d36d93d4ab8",
              256
            ]
          },
          {
            "Address": "0x3450a15dc9cbdd5c0e28cc22474d88ad7e2695a3"
          },
          {
            "Address": "0x152f34ffaf759513b0042e83bda5f67b3e825732"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      271,
      5897
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xc736feeb1816dde8d9c6e4c27f0efb8213fc0657f4f342efbc6d8f0edf7521e3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18555,
      788
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0xd1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      307153,
      2996
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53596,
      40182
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19368,
      22745
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x17a606c1e742ea08e81513dc85de0efa8f9f4f4d4b72fb3155bb50c0648bfa61",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85593,
      28669
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x96",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49777,
      49565
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85144,
      7057
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46735,
      1753
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x09104bdd342d3312a081b4803c56d5b208c56efb"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8996,
      18143
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      533146,
      28292
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41546,
      10353
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      228,
      4424
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5593,
      19727
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0x61",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59847,
      25394
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Uint": [
              "0xe25774ce5b6ff18a108fbf1a69cf462519309c3dea63361b930b682a5dac0a28",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85379,
      3065
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x8e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      545687,
      36511
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xd2928dfbbe2ce1bb5188e557e21a2858dd412e391b497ca93da829a924f5c626",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23588,
      916
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0xa1931526d03c5e165ece0c484d03a0e977f862be80b82a472e131e2834759ed3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7251,
      15852
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4671,
      16534
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x2b",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd7",
                  256
                ]
              },
              {
                "Uint": [
                  "0x273",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x26d21e82377e25a0ed82f47ec0ea5cc51f8ccf7d8f98caa453cc8c804c0a7fac",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0xad",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70919,
      19536
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Uint": [
              "0x905e00fe4445c79dc761dc6b9c4a0348e8983ee719218e1cb3173dcdc37342bd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75521,
      9316
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35090,
      19993
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xc9ed072df21bb9cfd6a7e73530a33f1041cc31d002f0f7a750189bdaa1edd0df",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4836,
      20633
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      421746,
      15981
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0xc59c58570660f2e2f73556b1ed9214b59259ad0e5cc5f9a139e414453c30f838",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49196,
      9552
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x99",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7644,
      36608
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0xd8",
              8
            ]
          },
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x4cfc841a6df257a79723edd8bd35c89051e9e4a4920b67d0ea5e0c0ae43239c3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30859,
      458
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_approve",
        "args": [
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Uint": [
              "0x5281c441aec41a2275a502e918ebdbf4847a08ea5679c3dba921c5299aa38df8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46751,
      1405
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0xa309e267ea3f23e63f0c33d61398dc9f3b9b12bb"
          },
          {
            "Uint": [
              "0xfa4de867b36870c4f0d325fa3cdfe04736d12a984f2ab8429f0d68010509ae04",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79779,
      1185
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0xf5b54a1b1e12d4cc5c1fd766a9ba944423bc7f8b9e8b6164bf60eee4ce9a9550",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9521,
      30969
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      156167,
      3311
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60193,
      57246
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      168599,
      59540
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xef824684c98f222d3d046a1cb9ef1e03f3f8b1482a3b717cfb29a40262ffb612",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53415,
      19990
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0xa0ccc224bc8b40c5edcb805447b651e8f9e6cbce6308011444678881b92e301e",
              256
            ]
          },
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59995,
      15017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1776,
      25445
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x073922ad4aeb628d798a07c106acc7c6b24f77cb32072908a4c370b75b23b137",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40,
      32165
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      575685,
      29087
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30148,
      27871
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63899,
      23101
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0x8fe3041a97bfa5971517473db44e47520c7b9eb406bbe35dccaeb8a450c4d5d1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      380855,
      939
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0xb2d60fb03724437d9aac67c8d3fee72798d7b582"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5768,
      21429
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0x92f1c33bb8b9635046dc7fb1d9ebd660467923fad383f8dd7a58d21d27b3f442",
              256
            ]
          },
          {
            "Uint": [
              "0x213bb17e9497bf7acc5e4ff7f381559ba20758959d7fb94833748d2c345795e",
              256
            ]
          },
          {
            "Uint": [
              "0x88",
              256
            ]
          },
          {
            "Uint": [
              "0xa024688158f5d83b0e3094508c43ae57895e686b9cce5e87cf4d46a3a9424b4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74491,
      32182
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xfbefba159464a56d5dffcd93724353b5cc368696"
          },
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Uint": [
              "0x23efc2cb779de077f14c8e0a720318c3fe2826ff4dcb4e84eace7619dd6208ed",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360353,
      1806
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x623c9627ac3cd79567125642982ba7d4aea2fff3519c7a94de544246a31ebf44",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5100,
      12544
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6801,
      2925
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      259257,
      2684
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      90125,
      3977
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xb0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75430,
      26409
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5501
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42595,
      4590
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0x5e",
              8
            ]
          },
          {
            "Uint": [
              "0x2ce",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67357,
      50258
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x4962c11b07c8aa14d54ac039396dd746159ba903bbd59ccff33b55fe35c1d47d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      280370,
      18001
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78033,
      9153
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x3d",
              256
            ]
          },
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24242,
      3018
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x10000",
              256
            ]
          },
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      465802,
      6276
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82472,
      20877
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38666,
      35127
    ]
  }
]