[
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0xd2c644a7e7675c14aa6b7116aaed6e7c922b5e6a20d719d1e6fffe76e7912668",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7836,
      46541
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      223258,
      9549
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      554,
      5750
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52380,
      7606
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6002,
      15270
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5025,
      54839
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      176250,
      7965
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43306,
      3498
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15367,
      4921
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x3d3b8417ab19be1c07df7b334f24f376eea41c0ca7b89245f6ee677984cb513",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1beb54b141394eb33409cc6a9086bc888cdfb22384bdb705e52fe4eb2151e0d1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6c1768405990b810e38af6b4379558e29bd7f2a7f06bce3392ba469d997f8f94",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x2e46a6a977c09835a6f5d3a3425a6f7d7127b705c0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2a91271166a25221c4cbfe0252b83e465d653c3c5b29a018fd1f998f05bcbbff",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2411654ad41971d04126eb796552ae32e5e12cdfed4b26e9daa7393ea57ebb1c",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56941,
      24359
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70008,
      4610
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38313,
      1338
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x5",
              256
            ]
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      106359,
      38160
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37450,
      51971
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10282,
      10267
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x200000000000000000000000000000000000001",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58839,
      6017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3211,
      2025
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      471530,
      59095
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x253c32a237f4f0947206eb5e5d20f10c6f6afa0a950aff146907172283f50e1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76535,
      22624
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      472225,
      35251
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66038,
      4562
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0xce35c508302e905f727b9f513d1c0ff86757022b",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57855,
      34666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x1f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4741,
      2300
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      481343,
      23835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8077,
      19918
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      540477,
      979
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77381,
      10215
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      826,
      25459
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77784,
      51792
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      94368,
      40789
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0xcd2f82139ebebce5995264e947bc318049573e1c8fd362c22defb8a795a901b0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      180212,
      5213
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x82a3d5356cdc6d1f5ccee481f3706dc3561764110df8891abe124104a191a987",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      934,
      8180
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x747674c1c8b63a5adddc6947279a9d072b814924ef9eacb9b043455ed29ed245",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118786,
      1372
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4449,
      10554
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x98945c673730e1d792ddbe46acb87d835c156a7e2a51ebbe2b8a04a23481502e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8524,
      4503
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81386,
      34114
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x6",
              256
            ]
          },
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72525,
      1066
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49005,
      43681
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0x19d",
              8
            ]
          },
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23473,
      29352
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77760,
      7346
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x4a72703a6d2c46aabfac38afbf93778dcc6d9cdfe307f1d883ba12d84a6b41",
              256
            ]
          },
          {
            "Uint": [
              "0x790e6bd74003fa6b8a10301c10beb7e4aebc6668cf20171871062dc2efb9f335",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33482,
      23424
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      419224,
      24243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x3fffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26985,
      805
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x39a5f496c5cb34674a9d0bf2b1e82c784e059ca6026dee1f2162365bad1849f0",
              256
            ]
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      535296,
      1511
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x48c473a24aef3a20cb45f6649ab86232a1181fe84668ddfdea3929d04f887ad6",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8466,
      23235
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45702,
      47100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xf823a228bd0ffa613ccc21c8b7081fe8f4e5feb6a666a8498db00bfdd6cc130f",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21606,
      25834
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          8,
                          137,
                          28,
                          186,
                          54,
                          59,
                          190,
                          15,
                          218,
                          194,
                          43,
                          121,
                          66,
                          73,
                          246,
                          59,
                          184,
                          83,
                          133,
                          61,
                          44,
                          3,
                          92,
                          190,
                          180,
                          111,
                          36,
                          247,
                          1,
                          58,
                          52
                        ]
                      },
                      {
                        "Bytes": [
                          91,
                          84,
                          240,
                          95,
                          230
                        ]
                      },
                      {
                        "Bytes": [
                          9,
                          185,
                          167,
                          17,
                          42,
                          210,
                          91,
                          92,
                          152,
                          115,
                          161,
                          25,
                          119,
                          176,
                          58,
                          104,
                          19,
                          170,
                          238,
                          145,
                          115,
                          248,
                          6,
                          212,
                          26,
                          148,
                          1,
                          60,
                          141,
                          74,
                          222
                        ]
                      },
                      {
                        "Bytes": [
                          237,
                          63
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          168,
                          73,
                          249,
                          13,
                          21,
                          18,
                          192,
                          206,
                          205,
                          224,
                          158,
                          28
                        ]
                      },
                      {
                        "Bytes": [
                          187,
                          251,
                          250,
                          143,
                          251,
                          115,
                          25,
                          7,
                          101,
                          52,
                          103,
                          39,
                          133,
                          111,
                          13,
                          95,
                          248,
                          99,
                          87,
                          179,
                          70,
                          36,
                          236,
                          183,
                          253,
                          165
                        ]
                      },
                      {
                        "Bytes": [
                          23,
                          219,
                          83,
                          206,
                          127,
                          91,
                          109,
                          144,
                          237,
                          26,
                          212,
                          81,
                          141,
                          123,
                          43,
                          127,
                          174,
                          74,
                          133,
                          97,
                          130,
                          190,
                          218,
                          87,
                          241,
                          196,
                          245,
                          90
                        ]
                      },
                      {
                        "Bytes": [
                          59,
                          149,
                          67,
                          132,
                          129,
                          71,
                          135,
                          66,
                          195,
                          83,
                          95,
                          152,
                          87,
                          63,
                          243,
                          244,
                          206
                        ]
                      },
                      {
                        "Bytes": [
                          207,
                          136,
                          133,
                          211,
                          80,
                          29,
                          75,
                          84,
                          245,
                          169,
                          86,
                          19,
                          85,
                          58,
                          141,
                          45,
                          34,
                          144,
                          244,
                          58,
                          79,
                          128,
                          117,
                          62,
                          115,
                          240
                        ]
                      },
                      {
                        "Bytes": [
                          65,
                          184,
                          244,
                          148,
                          161,
                          59,
                          60
                        ]
                      },
                      {
                        "Bytes": [
                          15,
                          44,
                          47,
                          93,
                          223,
                          84,
                          38,
                          197,
                          168,
                          44,
                          179
                        ]
                      },
                      {
                        "Bytes": [
                          37,
                          131,
                          187,
                          254
                        ]
                      },
                      {
                        "Bytes": [
                          197,
                          168,
                          117,
                          199,
                          102,
                          33,
                          174,
                          49,
                          83,
                          104,
                          225,
                          34,
                          242,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          37,
                          131,
                          187,
                          254
                        ]
                      },
                      {
                        "Bytes": [
                          160,
                          168,
                          38,
                          238,
                          63,
                          241,
                          190,
                          149,
                          202,
                          95,
                          160,
                          50,
                          157
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          80,
                          30,
                          103,
                          177,
                          83,
                          184,
                          26,
                          26,
                          28,
                          111,
                          221,
                          184,
                          136,
                          161,
                          210,
                          83,
                          200,
                          106,
                          74,
                          97,
                          65,
                          66,
                          184
                        ]
                      },
                      {
                        "Bytes": [
                          137,
                          157,
                          198,
                          159,
                          97,
                          201,
                          100,
                          40,
                          65,
                          253,
                          60,
                          52,
                          143,
                          255,
                          144
                        ]
                      },
                      {
                        "Bytes": [
                          236,
                          46,
                          209,
                          110,
                          214,
                          128,
                          243,
                          105,
                          141,
                          9,
                          18,
                          107,
                          209,
                          13,
                          100,
                          3,
                          221,
                          57,
                          151,
                          178,
                          145,
                          213,
                          110,
                          175,
                          241,
                          99,
                          199,
                          110,
                          102
                        ]
                      },
                      {
                        "Bytes": [
                          137,
                          192,
                          217,
                          145,
                          193,
                          239,
                          162,
                          6,
                          173,
                          20,
                          46,
                          36,
                          96,
                          122,
                          16,
                          159,
                          201,
                          10,
                          154,
                          12,
                          206,
                          240,
                          60,
                          201,
                          104,
                          108
                        ]
                      },
                      {
                        "Bytes": [
                          240,
                          210,
                          207,
                          139,
                          168
                        ]
                      },
                      {
                        "Bytes": [
                          18,
                          156
                        ]
                      },
                      {
                        "Bytes": [
                          166,
                          104,
                          173,
                          47,
                          224,
                          172,
                          227,
                          218,
                          13,
                          181,
                          239,
                          185,
                          100,
                          235,
                          244,
                          248,
                          79,
                          208,
                          123,
                          185,
                          183,
                          40,
                          26,
                          74,
                          26,
                          75,
                          71,
                          123,
                          195,
                          13,
                          8
                        ]
                      },
                      {
                        "Bytes": [
                          155,
                          163,
                          102
                        ]
                      },
                      {
                        "Bytes": [
                          155,
                          57,
                          172,
                          138,
                          116,
                          11,
                          243,
                          48,
                          88,
                          227,
                          187,
                          214,
                          29,
                          255,
                          228,
                          180,
                          206,
                          24,
                          137,
                          238,
                          173,
                          62,
                          73,
                          7,
                          70,
                          44,
                          243,
                          44,
                          251,
                          32
                        ]
                      },
                      {
                        "Bytes": [
                          9,
                          203,
                          198,
                          217,
                          208,
                          126,
                          24,
                          159,
                          146,
                          5,
                          75,
                          153,
                          252,
                          2,
                          86,
                          106,
                          105
                        ]
                      },
                      {
                        "Bytes": [
                          209,
                          148,
                          250,
                          24,
                          97,
                          225,
                          73,
                          18,
                          124,
                          239
                        ]
                      },
                      {
                        "Bytes": [
                          124,
                          72,
                          78,
                          27,
                          144,
                          84,
                          21,
                          199,
                          217,
                          15,
                          56,
                          182,
                          35,
                          142,
                          187,
                          107,
                          228,
                          121
                        ]
                      },
                      {
                        "Bytes": [
                          114,
                          235,
                          254,
                          24,
                          113,
                          141,
                          37
                        ]
                      },
                      {
                        "Bytes": [
                          66,
                          37,
                          191,
                          116,
                          177,
                          76,
                          130,
                          42,
                          185,
                          250
                        ]
                      },
                      {
                        "Bytes": [
                          251,
                          44,
                          102,
                          230,
                          165,
                          212
                        ]
                      },
                      {
                        "Bytes": [
                          69,
                          41,
                          132,
                          158,
                          44
                        ]
                      },
                      {
                        "Bytes": [
                          219,
                          117
                        ]
                      },
                      {
                        "Bytes": [
                          10,
                          153,
                          72,
                          125,
                          133,
                          135,
                          118,
                          28,
                          49,
                          31,
                          218
                        ]
                      },
                      {
                        "Bytes": [
                          242,
                          48,
                          219,
                          228,
                          65,
                          29,
                          62,
                          57,
                          59,
                          48,
                          212,
                          104,
                          60,
                          240,
                          22,
                          86,
                          201,
                          240,
                          139,
                          103,
                          117,
                          80,
                          48,
                          14,
                          76,
                          28,
                          41,
                          78,
                          245,
                          178,
                          57,
                          23
                        ]
                      },
                      {
                        "Bytes": [
                          199,
                          171,
                          137,
                          142,
                          29,
                          233,
                          81,
                          38,
                          80,
                          146,
                          176,
                          195,
                          189,
                          118,
                          21,
                          79,
                          114,
                          117,
                          187,
                          113,
                          223,
                          193,
                          20,
                          255,
                          32
                        ]
                      },
                      {
                        "Bytes": [
                          221,
                          178,
                          107
                        ]
                      },
                      {
                        "Bytes": [
                          47,
                          39,
                          11,
                          4,
                          96,
                          174,
                          13,
                          57,
                          191,
                          197,
                          108,
                          189,
                          100
                        ]
                      },
                      {
                        "Bytes": [
                          243,
                          91
                        ]
                      },
                      {
                        "Bytes": [
                          16,
                          98,
                          239,
                          184,
                          100,
                          37,
                          66,
                          225,
                          37,
                          67,
                          77,
                          249
                        ]
                      },
                      {
                        "Bytes": [
                          193,
                          136,
                          216,
                          0,
                          24
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          10,
                          28,
                          16,
                          231,
                          178,
                          101,
                          43,
                          16,
                          92,
                          76,
                          239,
                          141,
                          182,
                          214,
                          237,
                          125,
                          48,
                          172,
                          99,
                          35,
                          23,
                          82,
                          246,
                          130,
                          252,
                          97,
                          103,
                          174,
                          53,
                          48
                        ]
                      },
                      {
                        "Bytes": [
                          177,
                          95,
                          212,
                          183,
                          184,
                          113,
                          83,
                          200,
                          118,
                          127,
                          90,
                          101,
                          203,
                          147,
                          220,
                          4,
                          171,
                          11,
                          200,
                          72,
                          183,
                          192,
                          33,
                          23,
                          2
                        ]
                      },
                      {
                        "Bytes": [
                          68,
                          239,
                          43,
                          225,
                          138,
                          208,
                          1,
                          110,
                          3,
                          37,
                          47,
                          24,
                          108,
                          110,
                          6,
                          248,
                          81,
                          51,
                          74,
                          109,
                          141,
                          141
                        ]
                      },
                      {
                        "Bytes": [
                          103,
                          92,
                          107,
                          112,
                          115,
                          246,
                          85,
                          250,
                          7,
                          176,
                          240,
                          101,
                          171,
                          17,
                          216,
                          209,
                          93,
                          132,
                          7,
                          169,
                          29,
                          25,
                          140,
                          226,
                          90,
                          185,
                          244,
                          176,
                          58,
                          151
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          180,
                          213,
                          236,
                          41,
                          163,
                          42,
                          10,
                          237,
                          63,
                          65,
                          255,
                          185,
                          44,
                          205,
                          150,
                          250,
                          247,
                          209,
                          237,
                          83,
                          242,
                          187,
                          219
                        ]
                      },
                      {
                        "Bytes": [
                          252,
                          150,
                          102,
                          157,
                          8,
                          115,
                          152,
                          233,
                          214,
                          98,
                          52,
                          52,
                          165,
                          157,
                          82,
                          185,
                          251
                        ]
                      },
                      {
                        "Bytes": [
                          89,
                          151,
                          111,
                          95,
                          221,
                          18,
                          12,
                          111,
                          55,
                          144,
                          121,
                          88,
                          50,
                          211,
                          160,
                          250,
                          231,
                          150,
                          55,
                          8,
                          112,
                          215,
                          195,
                          72
                        ]
                      },
                      {
                        "Bytes": [
                          15,
                          249,
                          15,
                          114,
                          242,
                          149,
                          140,
                          171,
                          134,
                          32,
                          254,
                          154,
                          107,
                          199,
                          51,
                          92,
                          110,
                          42,
                          134,
                          24,
                          30,
                          211,
                          226,
                          8,
                          106,
                          78,
                          77,
                          89,
                          94,
                          194
                        ]
                      },
                      {
                        "Bytes": [
                          120,
                          149,
                          251,
                          192,
                          222,
                          87,
                          13,
                          165,
                          72,
                          186,
                          102,
                          238,
                          140,
                          118,
                          135,
                          241,
                          0,
                          53,
                          15,
                          100
                        ]
                      },
                      {
                        "Bytes": [
                          2,
                          37,
                          105,
                          26,
                          27
                        ]
                      },
                      {
                        "Bytes": [
                          200,
                          152,
                          121,
                          170,
                          77,
                          102,
                          107,
                          219,
                          208,
                          10,
                          139,
                          78,
                          28,
                          27,
                          131,
                          67,
                          11,
                          63,
                          157,
                          57,
                          194,
                          92,
                          63,
                          193,
                          19,
                          47,
                          30,
                          218,
                          23
                        ]
                      },
                      {
                        "Bytes": [
                          142,
                          58,
                          24,
                          230,
                          233,
                          102,
                          5,
                          37,
                          73,
                          202,
                          246,
                          115,
                          79,
                          134,
                          192,
                          189,
                          30,
                          88,
                          28,
                          3,
                          16,
                          107,
                          247,
                          246,
                          18,
                          12,
                          62,
                          210,
                          39,
                          166
                        ]
                      },
                      {
                        "Bytes": [
                          198,
                          131,
                          160,
                          173,
                          114,
                          66,
                          177,
                          200,
                          59,
                          50,
                          89,
                          2,
                          247,
                          28,
                          201,
                          20,
                          251,
                          228,
                          32,
                          229,
                          209,
                          161,
                          173,
                          83,
                          76,
                          249,
                          238,
                          54,
                          222,
                          169
                        ]
                      },
                      {
                        "Bytes": [
                          6,
                          108,
                          22,
                          50,
                          74,
                          48,
                          66,
                          42,
                          74
                        ]
                      },
                      {
                        "Bytes": [
                          129,
                          128,
                          15
                        ]
                      },
                      {
                        "Bytes": [
                          9,
                          199,
                          234,
                          152,
                          168,
                          95,
                          109,
                          57,
                          162,
                          103,
                          170,
                          110,
                          218,
                          129,
                          66,
                          72,
                          71,
                          65,
                          152,
                          94,
                          223,
                          90,
                          58,
                          95,
                          48,
                          28,
                          123,
                          215
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          24,
                          207,
                          236,
                          60,
                          232,
                          67,
                          220,
                          154,
                          149,
                          141,
                          88,
                          226,
                          16
                        ]
                      },
                      {
                        "Bytes": [
                          35,
                          68,
                          230,
                          78,
                          32,
                          49,
                          56,
                          228,
                          9,
                          145,
                          27,
                          18,
                          48,
                          161
                        ]
                      },
                      {
                        "Bytes": [
                          32,
                          158,
                          106,
                          238,
                          14,
                          234,
                          217,
                          99,
                          239,
                          139,
                          4,
                          55,
                          66,
                          97,
                          179,
                          6
                        ]
                      },
                      {
                        "Bytes": [
                          90,
                          35,
                          67
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          57,
                          216,
                          129,
                          208,
                          200,
                          67,
                          124,
                          12,
                          126,
                          65,
                          193,
                          206,
                          140,
                          22,
                          34,
                          176
                        ]
                      },
                      {
                        "Bytes": [
                          170,
                          128
                        ]
                      },
                      {
                        "Bytes": [
                          248,
                          20,
                          88,
                          50,
                          250,
                          42,
                          204
                        ]
                      },
                      {
                        "Bytes": [
                          208,
                          220,
                          196,
                          92,
                          51,
                          24,
                          141,
                          23,
                          14,
                          236,
                          111,
                          128,
                          185,
                          49,
                          224,
                          212,
                          241,
                          41,
                          21
                        ]
                      },
                      {
                        "Bytes": [
                          238,
                          236,
                          224
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          17,
                          195,
                          90,
                          22,
                          190,
                          22,
                          164,
                          168,
                          18,
                          200,
                          231,
                          195,
                          255,
                          130,
                          24,
                          134
                        ]
                      },
                      {
                        "Bytes": [
                          100,
                          74,
                          126,
                          87,
                          244,
                          7,
                          70,
                          70,
                          121,
                          183,
                          159,
                          221
                        ]
                      },
                      {
                        "Bytes": [
                          95,
                          19,
                          31,
                          74,
                          69,
                          216,
                          152,
                          238,
                          248,
                          24,
                          9,
                          156,
                          111,
                          192,
                          178,
                          147,
                          213,
                          135,
                          133,
                          251,
                          32,
                          91,
                          47,
                          137,
                          98,
                          3
                        ]
                      },
                      {
                        "Bytes": [
                          100,
                          44,
                          246,
                          160,
                          192,
                          16,
                          202,
                          151,
                          116,
                          152,
                          6,
                          196,
                          97,
                          136,
                          161,
                          93,
                          38,
                          203,
                          43,
                          177,
                          118,
                          205,
                          26,
                          196,
                          78,
                          94
                        ]
                      },
                      {
                        "Bytes": [
                          78,
                          230,
                          28,
                          177
                        ]
                      },
                      {
                        "Bytes": [
                          22,
                          184,
                          39,
                          226,
                          12,
                          214,
                          222,
                          43,
                          53,
                          41,
                          27,
                          175,
                          235,
                          34
                        ]
                      },
                      {
                        "Bytes": [
                          162,
                          42,
                          246,
                          182
                        ]
                      },
                      {
                        "Bytes": [
                          75,
                          72,
                          135,
                          100,
                          160,
                          140,
                          147,
                          3,
                          19,
                          225,
                          5,
                          21,
                          151,
                          243,
                          2,
                          58,
                          147,
                          129,
                          211,
                          242,
                          66,
                          23,
                          207,
                          133,
                          26,
                          88,
                          209,
                          186,
                          26,
                          247,
                          49
                        ]
                      },
                      {
                        "Bytes": [
                          217,
                          151,
                          196,
                          255,
                          58
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          228,
                          189,
                          194,
                          133
                        ]
                      },
                      {
                        "Bytes": [
                          139,
                          202,
                          21,
                          210,
                          26,
                          76,
                          55,
                          80,
                          83,
                          169,
                          138,
                          49
                        ]
                      },
                      {
                        "Bytes": [
                          81,
                          128,
                          22,
                          220,
                          231,
                          244,
                          98,
                          118,
                          56,
                          227,
                          171,
                          7,
                          150,
                          251,
                          50,
                          254,
                          13,
                          189,
                          138,
                          78,
                          112,
                          42,
                          236,
                          217,
                          198,
                          6,
                          189,
                          0,
                          218,
                          160
                        ]
                      },
                      {
                        "Bytes": [
                          32,
                          12,
                          254,
                          240,
                          141,
                          69,
                          129,
                          243,
                          13,
                          129,
                          53,
                          217,
                          29,
                          38,
                          250,
                          96,
                          222,
                          111,
                          185,
                          169,
                          164,
                          41
                        ]
                      },
                      {
                        "Bytes": [
                          184,
                          83,
                          90,
                          10,
                          39
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          93,
                          223,
                          136,
                          141,
                          0,
                          95,
                          136,
                          198,
                          212,
                          254,
                          232,
                          198,
                          67,
                          160,
                          248,
                          204,
                          212,
                          170,
                          18,
                          199,
                          207,
                          74,
                          115,
                          224,
                          46
                        ]
                      },
                      {
                        "Bytes": [
                          144,
                          237,
                          88,
                          163,
                          149,
                          46,
                          146,
                          15,
                          90,
                          163,
                          44,
                          40,
                          67,
                          197,
                          216,
                          51,
                          135,
                          243,
                          99,
                          195,
                          73,
                          222,
                          6,
                          3,
                          250,
                          194,
                          215
                        ]
                      },
                      {
                        "Bytes": [
                          185,
                          208,
                          109,
                          133,
                          86,
                          128,
                          44,
                          221,
                          150,
                          58,
                          64,
                          127,
                          209
                        ]
                      },
                      {
                        "Bytes": [
                          189,
                          220,
                          197,
                          91,
                          78,
                          1,
                          121,
                          38,
                          232,
                          22,
                          199,
                          72,
                          219,
                          65,
                          59,
                          5,
                          97,
                          37,
                          51,
                          205,
                          135,
                          118,
                          146
                        ]
                      },
                      {
                        "Bytes": [
                          23,
                          120,
                          168,
                          202,
                          169,
                          158,
                          79,
                          9,
                          116,
                          99,
                          26,
                          191,
                          55,
                          86
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          125,
                          119,
                          254,
                          162,
                          44,
                          92,
                          45,
                          0,
                          128,
                          147,
                          48,
                          195,
                          0,
                          168,
                          65,
                          150,
                          170,
                          253,
                          178,
                          134,
                          182,
                          49
                        ]
                      },
                      {
                        "Bytes": [
                          46,
                          211,
                          124
                        ]
                      },
                      {
                        "Bytes": [
                          160,
                          21,
                          10
                        ]
                      },
                      {
                        "Bytes": [
                          238,
                          202,
                          178,
                          8,
                          183,
                          61,
                          84,
                          6,
                          3,
                          136,
                          211,
                          170,
                          228,
                          112,
                          59,
                          253,
                          225,
                          129,
                          213,
                          160,
                          64,
                          33,
                          84
                        ]
                      },
                      {
                        "Bytes": [
                          48,
                          63,
                          119
                        ]
                      },
                      {
                        "Bytes": [
                          127,
                          15,
                          8,
                          148,
                          90,
                          64,
                          1,
                          168,
                          57,
                          82,
                          180,
                          82,
                          131,
                          53,
                          165,
                          24,
                          239,
                          89,
                          184,
                          225,
                          126,
                          153,
                          114,
                          83,
                          78,
                          164,
                          101,
                          144
                        ]
                      },
                      {
                        "Bytes": [
                          105,
                          165,
                          53,
                          252,
                          164,
                          97,
                          234,
                          82,
                          253,
                          165
                        ]
                      },
                      {
                        "Bytes": [
                          181,
                          221,
                          214,
                          125,
                          7,
                          180,
                          13,
                          200
                        ]
                      },
                      {
                        "Bytes": [
                          232,
                          238,
                          57,
                          186,
                          153,
                          117,
                          84,
                          53,
                          234,
                          127,
                          77,
                          163,
                          124,
                          78,
                          254,
                          144,
                          104,
                          194,
                          54
                        ]
                      },
                      {
                        "Bytes": [
                          213,
                          181,
                          219,
                          134,
                          204,
                          53,
                          202,
                          192,
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb84d3ed48e2310a924d0e0db506f02def86e6fbe3fa5aaccf1b03895d4b1e59a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x53c617554b9b18e70bf6fb8a1479f2c569935cdca57d1f8bbe819ccf3a0f2626",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd2b4f322102e27cb2338191cccae87042a515e034e10374ffcaee29e9ae88d07",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9c239cd7a2671893b919ca6bfabb508ab1290d038a7239a63f82a2d4fd17b078",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc74ac6db64fb71566dfd811efc26787f94d30cdb68847c7cda95d29fbd9019f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb3050e22c1cdea46dd4336d3627d9d49192efa35960f1a6c8e20ae999fe873a0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb3050e22c1cdea46dd4336d3627d9d49192efa35960f1a6c8e20ae999fe873a0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xceb3a7235455666a6ccb17b6aef682037a49cee1a0ddb7fd1e547ab428dc2ebd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8b4084bf45269bd35dd91603b632593067873eda87f97a41a165f3c88dbddbd8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x73f2059bdf5e7d5883f141bb75801e4b0b7297b6a17d2dcf52769f44ed56d278",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x86e25b4cfdcf8562b5de664f6314639fce466acb900d65dcb7d8b68925bd53fe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x471cc485ee74a8b4b26ccb9265d98335b3530b433bce9bd7a725cc5092364159",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x63541b9b5e12dd758dba4f22d8178b3a10cf4f5964e7ed91577c1f793f63fa0f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1d3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5b334c6e92fa3a6ffa77afa867ca8d266683b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe6935318d28c875bf439d7585ac5ac80a2d19767cc2748e2ccd666a0e508579",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5a85009fce61039f20fab7b1cad1d41549888fc523226aef71644625aa37ea9f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6df62997d70d0003cba046469b466bac36432947e5e84bd3addf5fb490cc29d2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x10bd40c5ab5cf2bb22b083983c03404374890dbcd4ab3a334d764ad40171d029",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2b08d34c19be98583c1d97e0b99313ee0bdcb835676e73c0411ca4bd9d611c82",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2c2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1ca",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x17485b7f8bcb32ed59c049b96e60a571f8aabf92e4c0bf884b9884f81ec06d7a",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xce32f97341dbbba1dcd59e774b1ec2ed5f39ba64055798b5a130f5e4262dfed",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3053fd6b4a54b9bc089e2989f2e0d6521e04a7bc985fbd00f83f17093554dbe1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd8969755d1f4794e6ec1c1538f9db580661d0f0d39f146275a334881e487a9c0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe440e776a89481e6a28256f652842c10351838d7d30cce48648760a0577068d2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3c7047569f312068dacffbb4deb32b29e090d2e0cf8eca2b81914f4c34ffa33",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x290",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x52b3e201bc508026c3a9f34b1788b048bf4c541db0a666fe28d80b7adb91026f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x47f16cb4ba6af9aeeff4af99c200783aa505e0348829b8987939c0164dfde670",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xba",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf9f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6210c8df93e31317965995f7875dd570d1b5f40d5bbbcbc5907862479008c462",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc144c2104dbe33010decf3d02a4ff8a2a77bb00f0f9fb0f7786190f81fc977eb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x13",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5a7047730499d8b48d22dbbb313a2aeb8ee73df4db429c81710bee75c5abd1af",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb4d2260ca6ddaa0abe5de1a5f95d291ba23a45f24ce215c61fba0c7c9ae6a8e1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf15b12ff08cbfd1cd9fb1787bbb49080b18f0dbcd7bfea1cdb123a9f75663938",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x14",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x84345b19d9b760e2521c5cdff6630510265baf5dda7e12f46f2b23b85ac0e87b",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xadced5aa775e11dfd85e5b15292cf5d5bdf4c6e1cfc4f278fb81ec25167cef5f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4332818dc2c020ad507224568de79c8709736913f9ef923235172c2a9806bfb6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x82fdb2a58e9eba080c33888d8ab93f012a8dcbe9dd6a5f2bbefc55adbd4522df",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x762d7ebf05db37ac2b5bfa6315fc43fd12d4d1871410332206e53d64277fe954",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe9a52c29e21cb80d82439a28766f87b84b68c1eaa0658e0fa1d3afb2f3f5c0b7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9f2d6065f9051c690610eb4139d7aa17f56a4e2bfc5a0452a6cfcc4bb0ec25d5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x132",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x36",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xcd796d8a2163474d58171b3f6f2a58a6abe3e81138450991e979987c6c43ae93",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1ef",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50005,
      55032
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      243580,
      21100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59230,
      58805
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x9f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80280,
      3881
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19986,
      7492
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000000"
          },
          {
            "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      527139,
      24244
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      217426,
      330
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8334,
      4065
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      563686,
      5437
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          },
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45150,
      25797
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7604,
      23524
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0xb78c7143dd497909b22c84b0de72fce652bbfb445705e04cb99c4ee868a2b0b6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18500,
      50767
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Uint": [
              "0xbe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      96180,
      312
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc60eae75fa431dce1afc34479b3e1dd9748001b9e4b9c040499e262",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf38ceb31da6906f7bae8ba0937f7b45c5b790594a0f3e32c44cbe60976916a11",
                  256
                ]
              },
              {
                "Uint": [
                  "0x67c2be362bb983d3559a042d2a2b63dd3c57033563079208fc324c01725d8449",
                  256
                ]
              },
              {
                "Uint": [
                  "0x48",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5693bcbd0da6bd9e3b238c7d7c82ab19880c7f4047fb9e025b671cd74bbe393f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4192850e0334e8bc834603154f8ade1976db46167445feba35d3ad39e41747cb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa5",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x686ecbd77207a4e2a540e91e246dc8c5552a3ce7093a0ca97b89fb1d97d7524d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x57410c80467855d0cb62d62fc78902ba272550b98d061fcee5845dfdfe6160d8",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x29e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x67dad727e4be4c3fa0dee4c14fe14b4091e296c32ce52c6c0f6ef5db199d2cf",
                  256
                ]
              },
              {
                "Uint": [
                  "0x85aee3c68c8e6cdf238af44dc4aa57b0dbd76bf5361861a809d0989a4339f14d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3b7f3a0cac56c9c34187500853ad195ecc989090c01f95d4fcce015d1f87be67",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x23",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc04534d932b673bc624eec37e66dd1297b5a5df04cda8948d64f9a301f832067",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x14db532830cc459ae",
    "delay": [
      81684,
      58357
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33513,
      19172
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x4cd1616c52ff6ae19425a89f5f045f3371bfeb636aaaa84d6417cb604b286fa",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      21991
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42991,
      20692
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0x293",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57307,
      5924
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5675,
      6665
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0xfe2789f686d2a41c5cd4aea834057420ef378f72b5922d2f232de5e1af9d50f3",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50257,
      59698
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119285,
      27544
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0xb2",
              8
            ]
          },
          {
            "Uint": [
              "0x60b555de4a33c3a7e6fb005fbb3b599e29d72b52bc01e29c4e5344a64650dd8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84009,
      28272
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000008"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60275,
      8502
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0xaafde8878335528f5ae7ef15f35772cc2e57a867ac7a3c06091c5b5e3620d0a0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35500,
      59579
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Uint": [
              "0x6aa3fd81676acb5e56c0db341b30577044197661baf9b9e6be985dc7af5b8d7f",
              256
            ]
          },
          {
            "Uint": [
              "0xcc784b3adb9bf56abaa36da40c71928de67164287ba70cc045a190e5b404a520",
              256
            ]
          },
          {
            "Uint": [
              "0xb38a8d869552cf8c17ca015cce9153923ea1bff54583d1b079626c85167ce792",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119722,
      23665
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      102538,
      5664
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x32fffa1476f38d53e3a5c5b6bfbef2d8671017e97a90563f6c43005c78134043",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80247,
      15960
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14095,
      22118
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x57fc395db4a0fc16d6cc0219d695b0abdc4c2e80814b364f3e2a133d73344e7c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58621,
      60324
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      101319,
      54833
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x7d7c86445ad23bdf61ed878a34",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70300,
      36945
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60766,
      9377
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69567,
      5974
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57163,
      23833
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x377cfd142be4f111b478f77d5328a409e934e5736be072c79195cef0be1f957e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9544,
      60039
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Uint": [
              "0x872f8faafd2f03bf76703e84ffdafd1e966e54e9474e6e4af0cc8e97a25b477b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10783,
      44407
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x849e8610136af771adb6c161dd2f707198883d30c63560836b2dd35114097ea9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9390,
      41603
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x67c65125c7ef38242449de42cb80ea9cb61e9cc22f88fa57c984e40184e7c0f0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28825,
      51908
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81608,
      231
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      91454,
      59761
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46751,
      13084
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x65f89820920971a835e8feec8e932de0a3a4b886575f0bbdc3ea9dc6673bab3e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2644,
      4261
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      591953,
      2221
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      552802,
      3174
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x383",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47458,
      51753
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x593b9ee23ba40e2b4117276cf04b76c4b6b3ca8db6257ddd5cfea70b78c660ee",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75455,
      50640
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      26428
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      519756,
      42727
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_withdraw",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0x52f2c2755949f23d9bdebe923315810ccdd8a49a5f4600554bb0dd26ba2d5dda",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      202730,
      1560
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9392,
      18433
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84296,
      4445
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54346,
      31517
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Uint": [
              "0x4",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34264,
      20545
    ]
  }
]