[
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36857,
      36943
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75145,
      24899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0x3c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50005,
      41607
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Uint": [
              "0x200000000000000000000000000000000000000000000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19944,
      20240
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x5fd4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83395,
      6782
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0xb7388718ea221d02533f5e2e5cce7fffc350231d6aaad7b88b3e92544cd13ade",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67607,
      9035
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0xdaccf2ced60510ba2251baa699d4f5f6efbac91489042b182acc85cc64c55bab",
              256
            ]
          },
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6254,
      54368
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x67",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5327,
      12709
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x2d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19016,
      58382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0xc5",
              8
            ]
          },
          {
            "Uint": [
              "0xd28f604a599938c0b99f6cc9ba76f2efc4a45573f6c374be46ef0fab0a0cd26e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69401,
      21570
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16767,
      55404
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x6efd9d9c50e3594d799dcaed01aece26b4ede09e925b980c7e64a28303e8f642",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7796,
      15017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
          },
          {
            "Uint": [
              "0x12c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      350101,
      17370
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0x0000000000000000000000000000000000000004"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
              },
              {
                "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
              },
              {
                "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
              },
              {
                "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
              },
              {
                "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x38",
                  8
                ]
              },
              {
                "Uint": [
                  "0x47",
                  8
                ]
              },
              {
                "Uint": [
                  "0xff",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x39",
                  8
                ]
              },
              {
                "Uint": [
                  "0xaa",
                  8
                ]
              },
              {
                "Uint": [
                  "0x64",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0xa4",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfc",
                  8
                ]
              },
              {
                "Uint": [
                  "0x6f",
                  8
                ]
              },
              {
                "Uint": [
                  "0x64",
                  8
                ]
              },
              {
                "Uint": [
                  "0x42",
                  8
                ]
              },
              {
                "Uint": [
                  "0x96",
                  8
                ]
              },
              {
                "Uint": [
                  "0xa2",
                  8
                ]
              },
              {
                "Uint": [
                  "0xea",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1f",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2a",
                  8
                ]
              },
              {
                "Uint": [
                  "0x57",
                  8
                ]
              },
              {
                "Uint": [
                  "0x80",
                  8
                ]
              },
              {
                "Uint": [
                  "0x79",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfc",
                  8
                ]
              },
              {
                "Uint": [
                  "0x14f",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66983,
      40919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x1f7",
              256
            ]
          },
          {
            "Uint": [
              "0xdd163afff2f3ce4f8f7425c63ecfe81e6bfd4765dc3b2f025056ac176c89ed2a",
              256
            ]
          },
          {
            "Uint": [
              "0xe1bd699a59124d0b0b8f800b7daebd5c881fef272b0bba37ab5251aa3f2d2890",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118748,
      55408
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x988e9d1d41cde2d3a6ad4316c8da0b9a4e9c23b0359fe803d164bce7236df941",
              256
            ]
          },
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8083,
      59666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0x57ea2a919563e33227809406feac5f7c4e38d5e15e05c7851501a18db2fd569f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2614,
      55999
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xd7cf79e9d8ebbda71046e37b3e1b8e319f4a3722e39b27190bfd3230873954e1",
              256
            ]
          },
          {
            "Uint": [
              "0xcc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5798,
      7766
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0xfa2",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          },
          {
            "Uint": [
              "0x441d9a776a3c5ed3486e55b6f05c1cc4fe8905388d4900910850786a860c7d8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63548,
      7098
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x6c0caf36aa4e2f88e735a885a1cadb2e89ea0dffa2d69d1539cc075e837e3998",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11106,
      31975
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xeb799e6f192a1c730d8feddf5ed36a4ac601a5f86d7af0769f316284f9b3860e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71039,
      17280
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Uint": [
              "0x4c62552216bc206fa4b72e5175bad6d4e4932c82eb5eef488bc6dc1a9446f63a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25419,
      13107
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5512,
      49420
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75921,
      59480
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Uint": [
              "0x1b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      471581,
      2382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x100",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40433,
      53318
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76339,
      15554
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      393561,
      16587
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x271",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33561,
      3551
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4191,
      11382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x6405e020610807f3900bcd5e69d04411141731a6cda50dbaeb770dc290ff04",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5563,
      19446
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      300279,
      27720
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0xd2b02e700f39519d4b6575b3cbcbd5785aed972f9050cedd686e3a8c36d4c872",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68331,
      11768
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x693d645addbd929be20aeec7ab4bc590be0e125cd0317461c7fc18a21edf9b5c",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2c13cd0447b0a6b87ca185b5298c4280fed0c8cc45a60dd2aa95f4d0335d8429",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x1f6",
                  256
                ]
              },
              {
                "Uint": [
                  "0x63",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfa1",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49063,
      26789
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xe00c130327962757630d12d8f9d65e02418c7aebede18ee669c7687d6e5601a8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3992,
      46106
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0xd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2226,
      2023
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70277,
      31016
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47289,
      54181
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57853,
      8374
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xded7f529077b985188ca272d158dbc1a0de70c6dc8bf6e6d6903a9cbc259ee3c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      208492,
      23324
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11773,
      25883
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23248,
      6387
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65202,
      41357
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31015,
      55212
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29951,
      834
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      103028,
      162
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0x5f",
              8
            ]
          },
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Uint": [
              "0x914adeabd5c4e942b5f53c056053546284bc3e78718c2f522472ea5f645e0427",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16501,
      20461
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63916,
      47458
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Uint": [
              "0x8d984146a17ddd4e2acebf227d5e4c85bd15b8ba44d4294b16b61b4d588c1413",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34456,
      22580
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0x1f5605f8036fda6fa0ab764d8a6db5a58292805ba6608b6e17f86ba828a6b988",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28349,
      12980
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0xdcc9dc66f36ece74952dd89fd61400761914cb8becb21b27abc62734a0b2536f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      205750,
      2772
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31643,
      1951
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9162,
      15747
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Uint": [
              "0x311c1c0969958b3e6f54107ae1ae92a6233cfdc3449b25b4beae23b31fc24d40",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      112132,
      41056
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0xffffffff",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0x0000000000000000000000000000000000000200"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      171539,
      13138
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_withdraw",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Uint": [
              "0x12",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84180,
      29714
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x13",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16909,
      18184
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64939,
      25784
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x232b",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14686,
      21501
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x44",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77634,
      23981
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86006,
      18670
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0x564efb39b7f7830e27a3db78037581301603032eda2ac967e633448b36c29df9",
              256
            ]
          },
          {
            "Uint": [
              "0x6a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32881,
      52271
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8311,
      10967
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0xef92e252bdaaea9114b02c40e953c03c7cb0ced0a5b970f0b21a2201e0217885",
              256
            ]
          },
          {
            "Uint": [
              "0x11",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33726,
      6941
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x40c315c2fa3e8d9f4804f07d8fbb462c804426cbe036f0276722c519cd77faab",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50591,
      35747
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x5fd0",
              256
            ]
          },
          {
            "Uint": [
              "0xfbf5517a9927f38ce52ffae3206dff4fb8ef94ebb02042258917ef6a904d4fe6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118687,
      32175
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0x101",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77279,
      7020
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x41",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      185599,
      24229
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x53",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      529070,
      13477
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x2e8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36803,
      16984
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Uint": [
              "0x1",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17636,
      23035
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "String": "_>B8s`WjT3B1 S~9lTVQd4Y,'F"
              },
              {
                "String": "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000"
              },
              {
                "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
              },
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  }
                ]
              },
              {
                "Uint": [
                  "0xb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x32c896998eda9859828f80e531f5224b44898675a72c6b3bb1a7e2ccd84012fb",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x62e09d4fdfb7bb9fe0a2a6d10d2655ae854703be95671bce10d6bbd87a5942b0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xffffffff",
                      256
                    ]
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      923,
      11632
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x44",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34454,
      796
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  },
                  {
                    "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
                  },
                  {
                    "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
                  },
                  {
                    "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
                  },
                  {
                    "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
                  },
                  {
                    "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          103,
                          157,
                          122,
                          104,
                          82,
                          40,
                          214,
                          14,
                          116,
                          75,
                          0,
                          177,
                          207,
                          80,
                          185,
                          80,
                          145,
                          7,
                          35,
                          63,
                          103,
                          126,
                          240,
                          190,
                          110,
                          0,
                          160,
                          93,
                          86,
                          239,
                          172,
                          29
                        ]
                      },
                      {
                        "Bytes": [
                          55,
                          141,
                          213,
                          211,
                          206,
                          47,
                          225,
                          56,
                          250,
                          24,
                          40,
                          166,
                          73,
                          205,
                          153,
                          79,
                          32,
                          169,
                          225,
                          153
                        ]
                      },
                      {
                        "Bytes": [
                          54,
                          100,
                          188,
                          242,
                          249,
                          79,
                          167,
                          68,
                          55,
                          219,
                          56,
                          39,
                          201,
                          84,
                          199,
                          28,
                          41,
                          205,
                          9,
                          146,
                          92,
                          196,
                          139,
                          153,
                          47,
                          183,
                          12
                        ]
                      },
                      {
                        "Bytes": [
                          254,
                          114,
                          1,
                          83,
                          251,
                          162,
                          242
                        ]
                      },
                      {
                        "Bytes": [
                          169,
                          134,
                          150,
                          96,
                          169,
                          146,
                          200,
                          217,
                          135,
                          104,
                          237
                        ]
                      },
                      {
                        "Bytes": [
                          5,
                          12,
                          181,
                          73,
                          56,
                          127,
                          127,
                          217,
                          205,
                          26,
                          127,
                          1,
                          5,
                          7,
                          95,
                          182,
                          8,
                          114,
                          105,
                          92,
                          193,
                          124,
                          218,
                          194,
                          151,
                          169,
                          245,
                          35,
                          42,
                          242,
                          88,
                          88
                        ]
                      },
                      {
                        "Bytes": [
                          143,
                          72,
                          123,
                          226,
                          162,
                          145,
                          189,
                          109,
                          80,
                          114,
                          183,
                          172,
                          218,
                          144
                        ]
                      },
                      {
                        "Bytes": [
                          31,
                          15,
                          197,
                          192,
                          95,
                          59,
                          205,
                          32,
                          69,
                          65,
                          62,
                          187,
                          252,
                          207,
                          57,
                          183,
                          4,
                          22,
                          116,
                          228,
                          117,
                          142
                        ]
                      },
                      {
                        "Bytes": [
                          192,
                          57,
                          24,
                          142,
                          90,
                          219,
                          191,
                          156,
                          235,
                          90,
                          187,
                          130,
                          235,
                          64,
                          221,
                          168
                        ]
                      },
                      {
                        "Bytes": [
                          255,
                          136,
                          3,
                          170,
                          207,
                          86,
                          9,
                          173,
                          101,
                          110,
                          128,
                          70,
                          98,
                          31,
                          161,
                          160,
                          237,
                          228
                        ]
                      },
                      {
                        "Bytes": [
                          52,
                          251,
                          185,
                          26,
                          210,
                          124,
                          97,
                          172,
                          200,
                          181,
                          32,
                          3,
                          90,
                          178,
                          129,
                          3,
                          118,
                          184,
                          79,
                          202,
                          120,
                          222,
                          229,
                          176
                        ]
                      },
                      {
                        "Bytes": [
                          97,
                          45,
                          1,
                          246,
                          167,
                          225,
                          122,
                          239,
                          67,
                          68,
                          59,
                          182,
                          94,
                          79,
                          239,
                          152,
                          81,
                          190,
                          126,
                          250,
                          250,
                          175
                        ]
                      },
                      {
                        "Bytes": [
                          135,
                          81,
                          25,
                          242,
                          149,
                          183,
                          71,
                          177
                        ]
                      },
                      {
                        "Bytes": [
                          36,
                          189,
                          180,
                          85,
                          190,
                          134,
                          90,
                          229,
                          76,
                          46,
                          151,
                          32,
                          187,
                          251,
                          80,
                          176,
                          207,
                          153,
                          238,
                          17,
                          254,
                          144,
                          227,
                          177,
                          60,
                          233,
                          189,
                          99,
                          27,
                          3,
                          147,
                          172
                        ]
                      },
                      {
                        "Bytes": [
                          238,
                          121,
                          85,
                          44,
                          129,
                          11,
                          0,
                          225,
                          254,
                          128,
                          78,
                          22,
                          239,
                          165,
                          0,
                          191,
                          126,
                          250,
                          32,
                          77,
                          235,
                          90,
                          57,
                          159,
                          224,
                          71,
                          142,
                          224,
                          189,
                          1,
                          71,
                          190
                        ]
                      },
                      {
                        "Bytes": [
                          244,
                          31,
                          189,
                          32,
                          76,
                          3,
                          239,
                          29,
                          117,
                          220,
                          41,
                          239
                        ]
                      },
                      {
                        "Bytes": [
                          211,
                          248,
                          247,
                          9,
                          74,
                          242,
                          178,
                          242,
                          190,
                          81,
                          39,
                          136,
                          103,
                          127,
                          31,
                          129,
                          183,
                          78,
                          127,
                          142,
                          19,
                          194,
                          121,
                          117,
                          82,
                          203,
                          133,
                          87
                        ]
                      },
                      {
                        "Bytes": [
                          81,
                          54,
                          219,
                          133,
                          75,
                          41,
                          169,
                          63,
                          89,
                          96,
                          196,
                          24,
                          96,
                          13,
                          219,
                          182,
                          148,
                          138,
                          95,
                          217,
                          242,
                          7,
                          50,
                          34,
                          149,
                          85,
                          93,
                          86,
                          208,
                          5,
                          98,
                          87
                        ]
                      },
                      {
                        "Bytes": [
                          173,
                          213,
                          51,
                          176,
                          32,
                          241,
                          95,
                          234,
                          247,
                          44,
                          98,
                          190,
                          125,
                          176
                        ]
                      },
                      {
                        "Bytes": [
                          118,
                          97,
                          113,
                          95,
                          74,
                          54,
                          254,
                          25,
                          245,
                          147,
                          177
                        ]
                      },
                      {
                        "Bytes": [
                          19,
                          246,
                          235,
                          216,
                          236,
                          52,
                          147,
                          75,
                          193,
                          181,
                          98,
                          105,
                          212,
                          28,
                          56,
                          64,
                          145,
                          112,
                          120,
                          96,
                          119,
                          100,
                          5,
                          198,
                          86
                        ]
                      },
                      {
                        "Bytes": [
                          118,
                          25,
                          6,
                          69,
                          16,
                          136,
                          214,
                          246,
                          86,
                          66,
                          237,
                          78,
                          116,
                          68,
                          128,
                          78
                        ]
                      },
                      {
                        "Bytes": [
                          255,
                          162,
                          21,
                          69,
                          254,
                          187,
                          142,
                          114,
                          166,
                          100,
                          123,
                          70,
                          51,
                          163,
                          143,
                          142,
                          9
                        ]
                      },
                      {
                        "Bytes": [
                          30,
                          79,
                          215,
                          135,
                          154,
                          109,
                          99,
                          102,
                          147,
                          178,
                          235,
                          253,
                          107,
                          115,
                          116,
                          44,
                          149,
                          192,
                          43,
                          147,
                          112,
                          68,
                          94
                        ]
                      },
                      {
                        "Bytes": [
                          82,
                          27,
                          248,
                          133,
                          34,
                          51,
                          202,
                          213,
                          165,
                          140,
                          137,
                          29,
                          62,
                          231,
                          102,
                          127,
                          238,
                          191,
                          39,
                          76,
                          82,
                          238,
                          190
                        ]
                      },
                      {
                        "Bytes": [
                          212,
                          91,
                          61,
                          98,
                          220,
                          44,
                          195,
                          67,
                          36,
                          138
                        ]
                      },
                      {
                        "Bytes": [
                          116,
                          44,
                          197,
                          173,
                          182,
                          87,
                          171,
                          94,
                          187,
                          151
                        ]
                      },
                      {
                        "Bytes": [
                          132,
                          159,
                          167,
                          126,
                          174,
                          63,
                          21,
                          25,
                          73,
                          45,
                          12,
                          189,
                          29,
                          28,
                          139,
                          250,
                          82,
                          181,
                          208,
                          94,
                          71,
                          158,
                          5,
                          111,
                          213,
                          61,
                          174,
                          9,
                          99,
                          244,
                          175,
                          72
                        ]
                      },
                      {
                        "Bytes": [
                          60,
                          9,
                          188,
                          59,
                          73,
                          51,
                          238,
                          99,
                          178,
                          254,
                          26,
                          175,
                          125,
                          237
                        ]
                      },
                      {
                        "Bytes": [
                          43,
                          156,
                          210,
                          105,
                          15,
                          255,
                          122,
                          65,
                          45,
                          94,
                          171,
                          53,
                          54,
                          72,
                          126,
                          127,
                          7,
                          237,
                          170,
                          175,
                          250,
                          196,
                          41,
                          236
                        ]
                      },
                      {
                        "Bytes": [
                          40,
                          200,
                          135,
                          213,
                          109,
                          168,
                          132,
                          239,
                          58,
                          1,
                          23,
                          101,
                          200,
                          245,
                          89,
                          165,
                          244,
                          27,
                          93,
                          199,
                          67,
                          196,
                          135,
                          170,
                          218,
                          115,
                          236
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          33,
                          163,
                          204,
                          146,
                          246,
                          88,
                          116,
                          228,
                          152,
                          51,
                          149,
                          96,
                          28,
                          21,
                          181,
                          39,
                          204,
                          3,
                          183,
                          28,
                          56,
                          82
                        ]
                      },
                      {
                        "Bytes": [
                          227,
                          8,
                          100,
                          82,
                          173
                        ]
                      },
                      {
                        "Bytes": [
                          187,
                          13,
                          130,
                          125,
                          112,
                          208,
                          235,
                          69,
                          195,
                          122,
                          186,
                          38,
                          158,
                          116,
                          120,
                          111,
                          239,
                          242,
                          71,
                          252,
                          17
                        ]
                      },
                      {
                        "Bytes": [
                          79
                        ]
                      },
                      {
                        "Bytes": [
                          76,
                          40,
                          47,
                          202,
                          243,
                          68,
                          117,
                          228,
                          160,
                          75,
                          153,
                          209,
                          122,
                          80,
                          35,
                          173,
                          110,
                          202,
                          36,
                          130
                        ]
                      },
                      {
                        "Bytes": [
                          128,
                          135,
                          94
                        ]
                      },
                      {
                        "Bytes": [
                          159,
                          41,
                          1,
                          34,
                          141
                        ]
                      },
                      {
                        "Bytes": [
                          154,
                          80,
                          141,
                          19,
                          132,
                          161,
                          71,
                          177,
                          17,
                          208,
                          101,
                          120,
                          26,
                          139
                        ]
                      },
                      {
                        "Bytes": [
                          82,
                          23,
                          234,
                          49,
                          231,
                          28,
                          230,
                          109,
                          195,
                          209,
                          149,
                          80,
                          156,
                          179,
                          40,
                          248,
                          227,
                          56,
                          108,
                          162,
                          241,
                          158,
                          169,
                          3,
                          104,
                          197,
                          216,
                          242,
                          42
                        ]
                      },
                      {
                        "Bytes": [
                          252,
                          72,
                          248,
                          135,
                          183,
                          65,
                          6,
                          63,
                          29,
                          178,
                          94,
                          143,
                          209,
                          247,
                          28,
                          105,
                          4,
                          232,
                          1,
                          229,
                          181
                        ]
                      },
                      {
                        "Bytes": [
                          25,
                          73,
                          149,
                          44,
                          144,
                          216,
                          5,
                          195,
                          95,
                          150,
                          217,
                          131,
                          88,
                          68,
                          134,
                          27,
                          166,
                          208,
                          192,
                          84,
                          76,
                          36
                        ]
                      },
                      {
                        "Bytes": [
                          140,
                          234,
                          251,
                          240,
                          184,
                          28,
                          253,
                          227,
                          181,
                          164,
                          127,
                          221,
                          128,
                          219,
                          9,
                          192,
                          25,
                          106,
                          174,
                          11,
                          41,
                          234,
                          51,
                          53,
                          19,
                          51,
                          101,
                          38,
                          182,
                          78
                        ]
                      },
                      {
                        "Bytes": [
                          243,
                          83,
                          111,
                          119,
                          191,
                          149,
                          218,
                          111,
                          215,
                          15,
                          53,
                          48,
                          116,
                          109
                        ]
                      },
                      {
                        "Bytes": [
                          112,
                          249,
                          185,
                          98,
                          197,
                          227,
                          23,
                          201,
                          86,
                          52,
                          19,
                          0,
                          242,
                          76,
                          216,
                          241,
                          126,
                          112,
                          241,
                          189
                        ]
                      },
                      {
                        "Bytes": [
                          193,
                          143,
                          117,
                          7,
                          64,
                          37,
                          7,
                          228,
                          36,
                          174,
                          117,
                          190,
                          248,
                          214,
                          50,
                          20,
                          224,
                          97,
                          121,
                          44,
                          186,
                          130,
                          50
                        ]
                      },
                      {
                        "Bytes": [
                          159,
                          96,
                          30,
                          110,
                          139,
                          6,
                          225,
                          92,
                          140,
                          216,
                          172,
                          167,
                          4,
                          107,
                          69,
                          13,
                          133,
                          83,
                          223,
                          57,
                          208,
                          172,
                          191,
                          191,
                          164,
                          76,
                          167,
                          150,
                          207,
                          108,
                          171
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          250,
                          102,
                          162,
                          42,
                          124,
                          165,
                          194,
                          156,
                          178,
                          127,
                          199,
                          151,
                          201,
                          110,
                          140,
                          241,
                          175,
                          20,
                          174,
                          136
                        ]
                      },
                      {
                        "Bytes": [
                          105,
                          239,
                          16,
                          14,
                          152,
                          59,
                          10,
                          149,
                          188,
                          2,
                          83,
                          8,
                          129,
                          184,
                          23,
                          152,
                          76,
                          38,
                          224,
                          76,
                          152,
                          37,
                          202,
                          25
                        ]
                      },
                      {
                        "Bytes": [
                          117,
                          145,
                          204,
                          224,
                          58,
                          10,
                          250,
                          18,
                          157,
                          22,
                          95,
                          94
                        ]
                      },
                      {
                        "Bytes": [
                          63,
                          52,
                          228,
                          38,
                          142,
                          177,
                          184,
                          248,
                          209,
                          112,
                          118,
                          54,
                          55,
                          20,
                          23,
                          101,
                          100,
                          69,
                          71,
                          90,
                          124,
                          72,
                          54,
                          84,
                          152,
                          28,
                          54,
                          236
                        ]
                      },
                      {
                        "Bytes": [
                          190,
                          196,
                          232,
                          192,
                          127,
                          192,
                          204,
                          119,
                          133,
                          212,
                          230,
                          251,
                          219,
                          223,
                          30,
                          51,
                          39,
                          201,
                          10,
                          194,
                          182,
                          196,
                          107,
                          203,
                          128
                        ]
                      },
                      {
                        "Bytes": [
                          193,
                          156,
                          83,
                          247,
                          148,
                          126,
                          38,
                          227
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          26,
                          219,
                          203,
                          253,
                          109,
                          238,
                          155,
                          206,
                          231,
                          18,
                          151,
                          83,
                          179,
                          12,
                          175,
                          210,
                          208,
                          64,
                          249,
                          159,
                          204,
                          215,
                          138,
                          43,
                          87,
                          250,
                          98,
                          170,
                          149,
                          196
                        ]
                      },
                      {
                        "Bytes": [
                          217,
                          211,
                          15,
                          138
                        ]
                      },
                      {
                        "Bytes": [
                          113
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          192,
                          99,
                          10,
                          82,
                          37,
                          192,
                          96,
                          97,
                          117,
                          48,
                          133,
                          232,
                          189,
                          31,
                          97,
                          78,
                          241,
                          28,
                          63,
                          170,
                          236,
                          222,
                          146,
                          90,
                          219
                        ]
                      },
                      {
                        "Bytes": [
                          253,
                          226,
                          3,
                          211,
                          68,
                          100,
                          167,
                          32,
                          159,
                          43,
                          79,
                          62,
                          209,
                          195,
                          118,
                          234,
                          54,
                          221,
                          77,
                          127,
                          86,
                          220
                        ]
                      },
                      {
                        "Bytes": [
                          156,
                          164,
                          177,
                          236,
                          37,
                          85,
                          67,
                          30,
                          155,
                          140,
                          233,
                          5,
                          9,
                          88
                        ]
                      },
                      {
                        "Bytes": [
                          217,
                          92
                        ]
                      },
                      {
                        "Bytes": [
                          124,
                          218,
                          224,
                          231,
                          3,
                          35,
                          70,
                          127,
                          193
                        ]
                      },
                      {
                        "Bytes": [
                          96,
                          13,
                          7,
                          45,
                          122,
                          65
                        ]
                      },
                      {
                        "Bytes": [
                          118,
                          172,
                          232,
                          104
                        ]
                      },
                      {
                        "Bytes": [
                          167,
                          209,
                          150,
                          73,
                          179,
                          195,
                          140,
                          28,
                          149,
                          7,
                          196,
                          250,
                          24
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          184,
                          101,
                          188,
                          129,
                          40,
                          61,
                          252,
                          205,
                          165,
                          148,
                          222,
                          82,
                          140,
                          11,
                          163,
                          106,
                          104,
                          160,
                          52,
                          142,
                          75,
                          248,
                          23,
                          110,
                          215,
                          116,
                          154,
                          103
                        ]
                      },
                      {
                        "Bytes": [
                          27,
                          241
                        ]
                      },
                      {
                        "Bytes": [
                          167,
                          146,
                          54,
                          129,
                          147,
                          5,
                          172,
                          51,
                          144,
                          1,
                          178,
                          197,
                          64,
                          42,
                          160,
                          34,
                          168,
                          97,
                          137,
                          67,
                          145
                        ]
                      },
                      {
                        "Bytes": [
                          195,
                          193,
                          238,
                          114,
                          83,
                          49,
                          191,
                          220,
                          34,
                          217,
                          56
                        ]
                      },
                      {
                        "Bytes": [
                          11,
                          85,
                          210,
                          217,
                          231
                        ]
                      },
                      {
                        "Bytes": [
                          81,
                          84,
                          37,
                          214,
                          73,
                          112,
                          100,
                          223,
                          186,
                          205,
                          79,
                          136,
                          149,
                          236
                        ]
                      },
                      {
                        "Bytes": [
                          152,
                          193,
                          236,
                          199,
                          146,
                          224,
                          3,
                          233,
                          51,
                          98,
                          199,
                          250,
                          51,
                          237,
                          10,
                          83,
                          29,
                          29
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          63,
                          34,
                          171,
                          173,
                          92,
                          220,
                          189,
                          13,
                          4,
                          230,
                          100,
                          196,
                          185,
                          30,
                          7,
                          117,
                          201,
                          186,
                          207,
                          112,
                          144
                        ]
                      },
                      {
                        "Bytes": [
                          146,
                          142,
                          85,
                          51,
                          33,
                          158,
                          49,
                          84,
                          222,
                          179,
                          119,
                          220,
                          191
                        ]
                      },
                      {
                        "Bytes": [
                          237,
                          169,
                          72,
                          221,
                          98,
                          53,
                          34,
                          124,
                          15,
                          249,
                          163,
                          196,
                          59,
                          39,
                          176,
                          188,
                          172,
                          247,
                          184,
                          240,
                          161
                        ]
                      },
                      {
                        "Bytes": [
                          200,
                          114,
                          191,
                          174,
                          66,
                          136,
                          234,
                          198,
                          18,
                          171,
                          190,
                          54,
                          254,
                          188,
                          160,
                          128,
                          211,
                          243,
                          203
                        ]
                      },
                      {
                        "Bytes": [
                          33,
                          230,
                          197,
                          143,
                          201,
                          250,
                          3
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          36,
                          89,
                          67,
                          198,
                          9,
                          144,
                          12,
                          101,
                          25,
                          60,
                          80,
                          16,
                          179,
                          127,
                          148,
                          72,
                          200,
                          242,
                          201,
                          187,
                          115,
                          7,
                          48,
                          234,
                          151,
                          209,
                          3,
                          241,
                          228
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          26,
                          176,
                          122,
                          97,
                          153,
                          119,
                          83,
                          252,
                          86,
                          139,
                          170,
                          64,
                          122,
                          156,
                          84,
                          14
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          246,
                          70,
                          188,
                          108,
                          248,
                          114,
                          38,
                          245,
                          19,
                          119,
                          11,
                          46,
                          212,
                          69,
                          237,
                          36,
                          78,
                          106,
                          131,
                          194,
                          116,
                          180,
                          86,
                          25
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          104,
                          21,
                          48,
                          7,
                          1,
                          100,
                          142
                        ]
                      },
                      {
                        "Bytes": [
                          23,
                          6,
                          101,
                          196,
                          28,
                          196,
                          190,
                          187,
                          216,
                          114
                        ]
                      },
                      {
                        "Bytes": [
                          168,
                          229,
                          241,
                          193,
                          129,
                          184,
                          130,
                          140,
                          118,
                          88,
                          176,
                          35,
                          8
                        ]
                      },
                      {
                        "Bytes": [
                          255,
                          170,
                          28,
                          165,
                          158,
                          15,
                          199,
                          16,
                          52,
                          37,
                          148,
                          69,
                          17,
                          227,
                          72,
                          47,
                          202,
                          105,
                          251,
                          66,
                          119,
                          115,
                          139,
                          115,
                          81,
                          198,
                          67
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          225,
                          90,
                          213,
                          38,
                          182,
                          67,
                          67,
                          58,
                          22,
                          57,
                          175,
                          71,
                          72,
                          172,
                          219,
                          230,
                          208,
                          157,
                          105,
                          32,
                          227,
                          102,
                          197,
                          127
                        ]
                      },
                      {
                        "Bytes": [
                          251,
                          6,
                          85,
                          134,
                          110,
                          137,
                          248,
                          8,
                          190,
                          97,
                          195,
                          11,
                          110,
                          66,
                          84,
                          90,
                          137,
                          117,
                          105,
                          166
                        ]
                      },
                      {
                        "Bytes": [
                          171
                        ]
                      },
                      {
                        "Bytes": [
                          147,
                          97,
                          37,
                          44,
                          209,
                          172,
                          51,
                          246,
                          179,
                          215,
                          74,
                          54,
                          137,
                          86,
                          221,
                          189,
                          148,
                          148,
                          15
                        ]
                      },
                      {
                        "Bytes": [
                          93,
                          62,
                          127,
                          111,
                          78
                        ]
                      },
                      {
                        "Bytes": [
                          11,
                          29,
                          29,
                          122,
                          46,
                          224,
                          127,
                          204,
                          121,
                          52,
                          239,
                          132,
                          138,
                          22,
                          25,
                          34,
                          229,
                          8,
                          32,
                          231,
                          65,
                          56
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          239,
                          93,
                          218,
                          147,
                          150,
                          144,
                          74,
                          73,
                          103,
                          23,
                          129,
                          213,
                          198,
                          59,
                          119,
                          163,
                          75,
                          44,
                          224,
                          146,
                          166,
                          69,
                          138
                        ]
                      },
                      {
                        "Bytes": [
                          130,
                          139,
                          197,
                          203,
                          20,
                          35,
                          82,
                          136,
                          12,
                          17,
                          70,
                          243,
                          54,
                          58,
                          198,
                          80,
                          3,
                          214,
                          122,
                          126,
                          129,
                          179,
                          201,
                          172,
                          203,
                          79,
                          31,
                          151,
                          223,
                          44
                        ]
                      },
                      {
                        "Bytes": [
                          27,
                          23,
                          209,
                          53,
                          216,
                          187,
                          40,
                          149,
                          138,
                          11
                        ]
                      },
                      {
                        "Bytes": [
                          144,
                          174
                        ]
                      },
                      {
                        "Bytes": [
                          59,
                          112,
                          157,
                          70
                        ]
                      },
                      {
                        "Bytes": [
                          43,
                          197,
                          43,
                          221,
                          238,
                          229,
                          27,
                          76,
                          204,
                          127,
                          75,
                          84,
                          64,
                          99,
                          153,
                          113,
                          19,
                          22,
                          120,
                          241,
                          190,
                          101,
                          106,
                          96,
                          39,
                          107,
                          169,
                          52,
                          37,
                          123,
                          42
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          143,
                          37,
                          127,
                          61,
                          244,
                          104,
                          86,
                          75,
                          205,
                          109,
                          209,
                          168,
                          73,
                          163,
                          26,
                          12
                        ]
                      },
                      {
                        "Bytes": [
                          240,
                          42,
                          103,
                          23,
                          136,
                          149,
                          122,
                          159,
                          221,
                          138,
                          46,
                          5,
                          103,
                          13,
                          177,
                          244,
                          194,
                          219,
                          226,
                          200,
                          81,
                          178,
                          250,
                          36,
                          120,
                          134,
                          249
                        ]
                      },
                      {
                        "Bytes": [
                          130,
                          67,
                          19,
                          51,
                          189,
                          25,
                          117,
                          214,
                          231,
                          221,
                          48,
                          40,
                          223,
                          15,
                          149,
                          53,
                          140,
                          224,
                          88,
                          192,
                          236,
                          76,
                          254,
                          183,
                          89,
                          205
                        ]
                      },
                      {
                        "Bytes": [
                          228,
                          54,
                          208,
                          65,
                          73,
                          172,
                          215,
                          33,
                          123,
                          188,
                          122,
                          167,
                          226,
                          78
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          19,
                          129,
                          112,
                          86
                        ]
                      },
                      {
                        "Bytes": [
                          115,
                          134,
                          85,
                          211,
                          160
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          201,
                          12,
                          108,
                          166,
                          80,
                          219,
                          173,
                          155,
                          58,
                          60,
                          205,
                          27,
                          39,
                          121,
                          174,
                          64,
                          97,
                          131,
                          82,
                          8,
                          10,
                          59,
                          252,
                          84,
                          72
                        ]
                      },
                      {
                        "Bytes": [
                          68,
                          129,
                          122,
                          225,
                          98,
                          63,
                          20,
                          20,
                          16,
                          217,
                          0,
                          126,
                          9,
                          151,
                          200,
                          108,
                          247,
                          17,
                          233,
                          48,
                          104,
                          32,
                          53,
                          208,
                          229
                        ]
                      },
                      {
                        "Bytes": [
                          193,
                          4,
                          8,
                          236,
                          170,
                          179,
                          1,
                          151,
                          223,
                          91,
                          141,
                          249,
                          214,
                          158,
                          223,
                          116,
                          232,
                          226
                        ]
                      },
                      {
                        "Bytes": [
                          183,
                          145,
                          91,
                          80,
                          240,
                          160,
                          1,
                          204,
                          144,
                          71,
                          180,
                          12,
                          0,
                          2,
                          44,
                          145,
                          10,
                          45,
                          178,
                          214,
                          2,
                          12,
                          141,
                          3
                        ]
                      },
                      {
                        "Bytes": [
                          218,
                          85,
                          92,
                          89,
                          54,
                          201,
                          5,
                          17,
                          104,
                          17,
                          114,
                          9,
                          1,
                          14,
                          247,
                          90,
                          192,
                          81,
                          39,
                          193,
                          75,
                          5,
                          21,
                          235,
                          161,
                          219,
                          101,
                          128,
                          247
                        ]
                      },
                      {
                        "Bytes": [
                          113,
                          93,
                          16,
                          155,
                          215,
                          181,
                          96,
                          12,
                          97,
                          111,
                          235,
                          85,
                          146,
                          250,
                          25,
                          208,
                          177,
                          243,
                          241,
                          53,
                          237,
                          114,
                          117,
                          185,
                          235,
                          143,
                          137,
                          230,
                          116,
                          30
                        ]
                      },
                      {
                        "Bytes": [
                          74,
                          176,
                          66,
                          17,
                          220,
                          62,
                          14,
                          74,
                          65,
                          115,
                          39,
                          193,
                          154,
                          231,
                          26,
                          64,
                          82,
                          251,
                          82,
                          126,
                          6,
                          42
                        ]
                      },
                      {
                        "Bytes": [
                          133,
                          161,
                          164,
                          38,
                          43,
                          45,
                          31,
                          34,
                          195,
                          99,
                          187,
                          163,
                          203,
                          71,
                          18,
                          195,
                          231,
                          111,
                          221,
                          60,
                          194,
                          246,
                          154
                        ]
                      },
                      {
                        "Bytes": [
                          102,
                          178,
                          39,
                          204,
                          242,
                          31,
                          98,
                          29,
                          161,
                          240,
                          100,
                          13,
                          120,
                          177,
                          36,
                          9,
                          82,
                          189,
                          35,
                          51
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          1,
                          200,
                          141,
                          24,
                          29,
                          119,
                          175,
                          229,
                          219,
                          81,
                          20,
                          151,
                          108,
                          219,
                          10,
                          55,
                          246,
                          87,
                          150,
                          0,
                          97,
                          178,
                          47,
                          16
                        ]
                      },
                      {
                        "Bytes": [
                          247,
                          207,
                          140,
                          80,
                          113,
                          22,
                          205,
                          233,
                          97,
                          78,
                          36,
                          218,
                          81,
                          31,
                          55,
                          250,
                          147,
                          135,
                          38,
                          64,
                          49,
                          184,
                          151,
                          59,
                          235,
                          128
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          88,
                          95,
                          206,
                          160,
                          227,
                          69,
                          233,
                          253,
                          202,
                          150,
                          177,
                          239,
                          147,
                          113,
                          30,
                          98,
                          220,
                          142,
                          46,
                          125,
                          108,
                          135,
                          142,
                          145,
                          145,
                          216,
                          243,
                          61,
                          246
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x6706f4b4b6e5473984305905a329e25e35ae1418e4bf7edb6fbc5b81ec327c1b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x14",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x102",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x25",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2c0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x100",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe12",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x81827f6fd3a5da2bcdefe7393fa88f768050e4b11c53bd70821ce0f27f20fe1c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x33",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x997438784c1eeefafc9d35d852469cbb28dae5e4c54d378aa1e8edefaa135297",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xff9fb85796313d6683108ca1f074f44a3611dfab6eef9f19e01a71913affca81",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b209f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa12782f781f38f33d96de5d13b8ad426814b2f6eeb3845736c21bbe42531c00",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb94a0154fc9a66a641e3b7d5a18870ac0e901a2a80dc6b18a36fd3f3f366a4a9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x11",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc77c32bc90be697c90b5a6f6089b70cd175965c5aff9405e62c9775fb6896d5e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x367681d405a290f024e44ce5cca7f3fa63a5273bde2eaf217f1b01692a40e3af",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdd9837b87253bb7730713ec8c7462ae844361386e03698f221449bdd0a5d865d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x62e10c3e9ae8880e6d0a3daabba8ba7b2f87f9f9a9280ab50acc0d5eadaae3aa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa355ce3cd1568e61ef3f8368e071be311e975a52103809657bb9f9e119e26175",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd5189f05c1541a5eb312b1a98831dcfbd18d597a3d0736312e04f929ae241e68",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa355ce3cd1568e61ef3f8368e071be311e975a52103809657bb9f9e119e26175",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5fd2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x30",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe818d06db0b90f7ad7f0fd6a256ffb1481b3cca6f20e929467064dc699259a44",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x15183",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd1a2cfe239310de389dfc41ebae562945b08a876177cc0171fe1af345e05f07f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5459d72dc8458baf499e47be57fcd81d01216bd86332163b279ae558590704da",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x232b",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x1df186a8c41402bd2dc7e3b5270a3c2eba22f0bbdfc3b80e1d7d920d6e8b148a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb4dbd28e821704bd861f57592355a27ff5e6813197fd0b171b0a5e1659ac6416",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf0e67698788c17b16e424423f105823363ff41805e9c5a8c7c17f7772aedcfb3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x35dd03969b0d2b06313b4d3ff0cd2000d84c2287d5ae51fbc42b420f85ed3618",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd3709c28b78f33fd503a6b1f47fa5e013be2eded0ec5050f963916ea8f973746",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5fd1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1c709128cd23af96cdebf1abc70483f35724386f499f28f32a64b7d40a12e352",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd8543209974d8adf0bfe7ef379f43510a4b32863ddd59325a8d6212b73b90ae2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1f2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x173",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd4b0b80fb738bab639d2025042cd0567537954cbd60fb5ad6a866dba67ea43f8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x68",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb0d0beed2147a2c52e2166528658446c10ee3dc5d7fa916a35aa3d3755eafc1b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x12c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x730e03be383e7f01c51a4c777419d596d1db1f45714814a46105293e79167551",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4735116cb128330c181413afc0610c38938e2d50d42b13acca4f50b3fa0b92a6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdeb8af8a05513b578599f743d6686b5e5dd44b2aa9890418868bde6308518950",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd1f4a0c8f669e3736fef708bcbccc026f0b4a5f898ac47b250f5833ba07960d3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x26",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x76437b5b5bfe5038dec1fe42a312073fbb816a0ca13ebb396f22c1d7033e3198",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x15183",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x50",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe2a68bbf35c0ac7cffd844ab74dc343ca22366ad36823501659d5e1b6793e4bf",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x12",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3eb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b209f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x10",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfabef103e7b0ce637209c4c18b80b50b7d1144af4bf474dc5824bfcb11800a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2dc502dfd336f22a112f020b5329156800b1f39df8050fd6871c06e67adc6d7c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa4e743baf02aa55e7bf10fc7dbc033ccf975f7b9f2c3fe93a7a93bc751307755",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf9e7b1b85db6afb5b806afdae6a1a73bc144c8bff0316bbda28443f7820f14d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x81",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe0f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x10002",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      274,
      18321
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      195473,
      54200
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78361,
      15368
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1454,
      4001
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      455217,
      5920
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0xfa2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33337,
      13769
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      668,
      38164
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000dead"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72915,
      43855
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0xcc3f9f5aba54b1125aaac2f47cf2520749e17b731454f0e6e391d3d19d9203cc",
              256
            ]
          },
          {
            "Uint": [
              "0x1f1",
              256
            ]
          },
          {
            "Uint": [
              "0xdd7455a9ca73cc14978888fefd03877d3c5106967431a1e4b3b56af23481443e",
              256
            ]
          },
          {
            "Uint": [
              "0xffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31316,
      4846
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x82",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44408,
      19798
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0x442252f76584a3e7c6741bfc5c812682779c8274be1000d1b4dadf39d485b6e5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2771,
      58272
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      126689,
      22318
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x4bfd20902468c0931a644d57833fa883595d06f0535cfb4cb556c92393513cb1",
              256
            ]
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53339,
      25450
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71755,
      20272
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0xc5e610f8e2f03e03c1a5bd8e14cd53cbe7fe0c11e4ff50e67cf5a938fe7223c8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16464,
      41884
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x29cf4735979cb1eff2ef5b8edff28ad5a0dc70d8116e256630b4ec67f539b624",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4810,
      40011
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82124,
      4176
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xc780638a4f8fa21b3e7768eeb0573f6e874e7c90b4305e88554e2d4e13e0a6e0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2727,
      4486
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xa08f74c93ddc8971f711a199bd415d016ff2182c81625e6a84ea3ef10b10ac16",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16749,
      38842
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0xedd74471469764de19c458e70ec1dc8c0a2eb9a5f2c85adb38a7660c01c7e0ce",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11056,
      26058
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x2f1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49676,
      9301
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14089,
      55331
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x4",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1056,
      38674
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76829,
      7623
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3354,
      2660
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x7cc90986696b776de14e9e4ff1fc98d812e785837b857eebfd8f91990309ae38",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37628,
      22573
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42029,
      37444
    ]
  }
]