[
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84299,
      4048
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Uint": [
              "0x216d2734fc28437f2f8dce57e72554466db7583c8eba3e5e4bccc860a07cf944",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      172958,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      436169,
      56856
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0x6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      131981,
      8315
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      513856,
      12734
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x9647f1c61c5c8dfcb3714c196badbd7e51b5014d50ba82e2f46dc9728a674597",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      351155,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x100000001",
              256
            ]
          },
          {
            "Address": "0xe54771247d9dfef0114a8d95d41fb9db68dc9ac5"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      152907,
      13284
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5516,
      22118
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0xefa72d2933f0b7bfd08c587c173f92ab95aec7113720688a29fa497b3736b250",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44088,
      2302
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0xf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      206959,
      28787
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x7fc9d5965878efd882bfb107071aa91ecf2f25235410ed89bf22c7aeb92ae12a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x3eb",
              256
            ]
          },
          {
            "Address": "0x66cc83ebdafe546b94e69ae559797dddb5c1ca3d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      89997,
      30326
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x1",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      234645,
      37096
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
              },
              {
                "Address": "0xcdc1cbf5d175d2f88476d97ebd107fb71f5668b6"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x8673d952c9cfeeee75313937c60f71156bb007dd"
              },
              {
                "Address": "0xdd4d36eac73d7515a35b1beb0bf4809775303f0e"
              },
              {
                "Address": "0xa1352948d843f00f256fb0659bb091707abeee73"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x0000000000000000000000000000000000010000"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xc421353114300aced44562acf008fca1458a32a4"
              },
              {
                "Address": "0xad319f8ea5dd34183fe8a30700eda91f05937fd9"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0xf749ab8d9aaed7dd65fc819d1050b17e5c1d4b27"
              },
              {
                "Address": "0x031a6c576abf27aade886c2b5db3db7e0c794359"
              },
              {
                "Address": "0x4ac173e810b24a6834d1492fdd122c410907c503"
              },
              {
                "Address": "0xc44f3d089c867177020485eaffde164b5e8df0ec"
              },
              {
                "Address": "0x0c2deeb5f9f0ad60ca4f2a4558e1aee737924b92"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
              },
              {
                "Address": "0x4ac173e810b24a6834d1492fdd122c410907c503"
              },
              {
                "Address": "0xfddf53030c95806b7ccfacddec82d4496a32f2d8"
              },
              {
                "Address": "0x00270cc8e9f0db433d11d1ebbb063de645b8cd3c"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0xbe4ff4537985fa3b6a244c96034b3842986788ee"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xfe",
                  8
                ]
              },
              {
                "Uint": [
                  "0x9e",
                  8
                ]
              },
              {
                "Uint": [
                  "0x24",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfa",
                  8
                ]
              },
              {
                "Uint": [
                  "0x6d",
                  8
                ]
              },
              {
                "Uint": [
                  "0x56",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2f",
                  8
                ]
              },
              {
                "Uint": [
                  "0x80",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfa",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe1",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe7",
                  8
                ]
              },
              {
                "Uint": [
                  "0x42",
                  8
                ]
              },
              {
                "Uint": [
                  "0x57",
                  8
                ]
              },
              {
                "Uint": [
                  "0xa",
                  8
                ]
              },
              {
                "Uint": [
                  "0x236",
                  8
                ]
              },
              {
                "Uint": [
                  "0x249",
                  8
                ]
              },
              {
                "Uint": [
                  "0x16a",
                  8
                ]
              },
              {
                "Uint": [
                  "0x31",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41425,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xb7a8e8457df3319db5d17442ef9ca90409e25df84f479fa5750783ef706a0b17",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      41465
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      566679,
      56443
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x4ac173e810b24a6834d1492fdd122c410907c503"
          },
          {
            "Uint": [
              "0xe99766d0bbbe65c64e296023cb387645bff37b273f42a9d8a2560e6dbbbb06c2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55214,
      16997
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x137d140d77fb2cbbeeb82d2474cca1fe60b8c842"
          },
          {
            "Uint": [
              "0x7e4f282f21a318665ccc8a05541c4da6dc5876c774bc6246498c5d46085078df",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4768,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x4ac173e810b24a6834d1492fdd122c410907c503"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xb",
              256
            ]
          },
          {
            "Uint": [
              "0x5f5e0ff",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      47208
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0xb916454e4e26fd2ac61beb2a571027c5a1b41797"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x2df",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      16243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x1e847f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      33555
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x80000000000000000000000000000000000082",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      528934,
      10897
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x2a30fff40aa9a3b88",
    "delay": [
      2100,
      12908
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0x8",
              8
            ]
          },
          {
            "Uint": [
              "0xea",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      602352,
      24917
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Uint": [
              "0x10000",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x1a53c6a9f24011865cc4d19f6e4827a",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      381175,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      47538
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xa4401a68d147ec72d78b16ec8a987eec520fbffce64742cde393983d7d5a78ac",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270286,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      403781,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xab",
              256
            ]
          },
          {
            "Uint": [
              "0x98a2095840544374896176372b3369964b86a403d92cd7ccd7774d28ddbec256",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      552779,
      25124
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3957,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0x2e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      377582,
      50440
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0xe6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      411857,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x3e5",
              256
            ]
          },
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8148,
      53496
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0xd8f5da496acac50d57b675fde00f6b95126a70b5"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      198635,
      34940
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0xedddc34fcbdf413a926adbf9ccfaecbc2fdacff338e68765d65f090c05d155d5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      490253,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x11f02294c5be08dab4b162f321140ae731349ee4"
          },
          {
            "Uint": [
              "0xe11",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      555640,
      47120
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x232a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      497065,
      35356
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5345,
      49361
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      370981,
      9420
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x24",
              256
            ]
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Address": "0xa309e267ea3f23e63f0c33d61398dc9f3b9b12bb"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      473143,
      58898
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x4f482aba402c4f02dec81e77a6fec7bfd7f3e2ab"
          },
          {
            "Address": "0xe194aa6b80ffd71989dd196c7f84fa624b8d7d5d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4248,
      44729
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x1e8482",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      42242
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0xb9288f2fa9d381658050b796348b4216fb8505d53499ef63958841ef21c6cf46",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      59148
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      597588,
      5666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x7d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      248199,
      55097
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      356832,
      35583
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0xc421353114300aced44562acf008fca1458a32a4"
          },
          {
            "Uint": [
              "0x6a911508d8bacc20df7adb13a26bbb69b1b83c9714ab5953df97563db13448af",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71449,
      24512
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      350907,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0x118",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      438407,
      4490
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x91d093090b5b38b881b728668d382e78ecd2c51a"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      268246,
      42103
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      236217,
      51822
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14517,
      60211
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x67",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      210670,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xedc8e0fba00d11537d7cf77559a37076d1f83d3b5ca8bcd33f9832c07880e61c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      29278
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x12c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      12554
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0x4df01b58b15ce81fb4d9283bbe95b0bb7c9354d9fde735e4cf773e7e38d5dd8d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31243,
      49348
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0xba00bd3fcf24777d5468c2b0764aaea60c1ac12b"
          },
          {
            "Address": "0x9df182df3c64a3d8458bef1cd99fb059706633e1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      263192,
      40602
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62704,
      15495
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      572168,
      17429
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x084eec24f7eadbb26dffa3b7ddc3cbd731b33b89"
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      352493,
      50277
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x42510535057e6eac9ccd5c08079248b97e7a9163"
          },
          {
            "Uint": [
              "0xc0949f7970262696a8ceca5c82bc3bcde5d341310427c66b966e5e31fba6a701",
              256
            ]
          },
          {
            "Uint": [
              "0xff",
              256
            ]
          },
          {
            "Uint": [
              "0xc5823aedafdf8db213b8941aa6e27d355961dc330834ddbcac3501f37ab91d6b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      47500
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x6e1158c743dc8a58aed8a2569a34a51f06fd49d963811c01527579373ad341cf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      48920
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0x52dabc9d955d5b96af79feab1d78d5d7bc4bf089"
          },
          {
            "Uint": [
              "0x19",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      357001,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      400474,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x4a2ce9caffb1a2a4f71842b5cc5fba1d691eb95ca8faf950c8fe5628c448ee95",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      569883,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      533588,
      39946
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x4d8f090e6060f7bbe5eae3bf82fd5dc07bd07cd333decab53c77356b70c5ba91",
              256
            ]
          },
          {
            "Uint": [
              "0x551430a1bfff30043386f89bbb5184d61887ffb6d4be8ccb7e55f6e89a121cc8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      180655,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      418931,
      2989
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      359819,
      48051
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      566827,
      26922
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Address": "0x0000000000000000000000000000000000000005"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      150381,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
          },
          {
            "Address": "0xffb6954ef5bab0fb3c7a036e58efa13d1237078f"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      43839
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0xd86d8709e08f7203e7b7e095b313310c91cdffb1"
          },
          {
            "Address": "0xa1352948d843f00f256fb0659bb091707abeee73"
          },
          {
            "Uint": [
              "0x10000000000000001",
              256
            ]
          },
          {
            "Uint": [
              "0xd1caf9bd9e50443402c0aa06abcc4aa45239dd9f79070312661366a55b9f4a6f",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      537612,
      30369
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0xa8b3b5c9f0eac96c5f720d5d21e30537f0c922d4"
          },
          {
            "Address": "0x031a6c576abf27aade886c2b5db3db7e0c794359"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22919,
      50976
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0x33",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22995,
      5702
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      286310,
      14618
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79255,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      158450,
      43144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x898a89d23784100571d2ce5e9a8a12b89be1176f0fcfedc033ca13ca1bb4bfb6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      574058,
      10609
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      525474,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0xc421353114300aced44562acf008fca1458a32a4"
          },
          {
            "Uint": [
              "0x2c",
              256
            ]
          },
          {
            "Uint": [
              "0x2a",
              256
            ]
          },
          {
            "Uint": [
              "0x4da5afaaf3a1e828c26069622cf351d93fbef6567b90f97da21684bfb2b480ea",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21415,
      37770
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0xe39114a0b5e70a76072ceacc0b64519a2cb3803c3a7dc9e1f54f07b7291e7f7e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      361227,
      864
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x66cc83ebdafe546b94e69ae559797dddb5c1ca3d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      408698,
      27424
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x1f8",
              256
            ]
          },
          {
            "Uint": [
              "0x44",
              256
            ]
          },
          {
            "Address": "0x8e6ceb7b76f32783f27218c969616119f2b1dbd3"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      448787,
      54529
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0x173",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      229003,
      49691
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x986d96b3a94d3120feaada8740bff927a039c7bf61fa8cde15ae7f5c758e03af",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      237850,
      9978
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0xda613b195ad3429390c2c7ed9be8b002a12433d333f4acdd1cf2a3bc3287400a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      4665
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30417,
      47957
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      320021,
      11638
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      184276,
      2243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      25019
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x82",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46211,
      24704
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x2eb",
              256
            ]
          },
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      308402,
      59699
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x4",
              256
            ]
          },
          {
            "Address": "0x57718027c33d0a175a51a4f26f337c9d5d549aa2"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      386467,
      38610
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0x9adb149588d67382e79b992ddcf46bc7a7e2b6bc89075fcc70c32cb2ce36ddd9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      10579
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Uint": [
              "0x100000000000000000000000000000002",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74346,
      1984
    ]
  }
]