[
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
              },
              {
                "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x0000000000000000000000000000000000020000"
              },
              {
                "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56155,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x100000000",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5005,
      5663
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36489,
      39553
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x1e8483",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7741,
      9475
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Uint": [
              "0x1",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      689,
      2162
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xd460e654d9bbaad68beedae47ac8cab2",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      292,
      25796
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x34370689aa9ec99a008d52e45ab8d0421156139bd2ebbe0392e38f235a4ca50a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72317,
      6305
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82566,
      19800
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x1f6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8560,
      15879
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0x20",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74376,
      22195
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9392,
      1496
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0xb63ec54bd3b909d2992bf5b1e0ca0c4ecd89e3a2e3e65772bbe2bf9fa8fd6a94",
              256
            ]
          },
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      378648,
      19374
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360350,
      11465
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x100000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      345,
      7257
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "String": "c&X&`{S"
              },
              {
                "String": "����������������"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000010000"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
                  },
                  {
                    "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
                  },
                  {
                    "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
                  },
                  {
                    "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  }
                ]
              },
              {
                "Uint": [
                  "0x9c516389bccf7a1fe5f0504852c5880cda404945de993815d17e10ac015a9177",
                  256
                ]
              },
              {
                "Uint": [
                  "0x26",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x12b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x140ae467d782ef3bb8a31996434a274a44cd04b54cb0b9add13b89fcee5ae8b9",
                      256
                    ]
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57988,
      9706
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Uint": [
              "0x1396",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74609,
      7255
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x32",
              256
            ]
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Address": "0x0000000000000000000000000000000000010000"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79035,
      7326
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2427,
      22239
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      467575,
      2950
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      466,
      57934
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x5f5e102",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      513,
      13897
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x513be6f84e30914dc9a0296026799aef177e110e0fc9b8d9fc3dc3d932d34bc7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46299,
      10649
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x2bd568ac29cad7bb081d7aedaca8b8a486658060c2e682f84f5091b044f69036",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      528592,
      3473
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x7e",
              8
            ]
          },
          {
            "Uint": [
              "0x115905b3994324625a370bb195ea2b064daf8efce5b4800eb6c61e71410b80a3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85644,
      3662
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24430,
      5783
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x42038211c42885256db9fae7d52fb14f2a1ed30adaeab642651ee696a1ce1ea",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      110,
      1049
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      237390,
      22320
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7842,
      44050
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0xa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5701,
      17373
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x15183",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6123,
      7403
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0xeb",
              8
            ]
          },
          {
            "Uint": [
              "0x3c7",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39928,
      4740
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000010000"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84933,
      57646
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x9b3612636b970e47e96dcdf4ab9e7b2f0db0808d5abbf3bca9c5a317199309a3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5365,
      52683
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60652,
      6577
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51390,
      25087
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x7cf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      441,
      9263
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Uint": [
              "0xffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77497,
      54945
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x2d361fdada18abf44d7e7495414e17231b161b03d4f8c342226fcd8792451d58",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45525,
      18660
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x82bbfa193e02cf8b67b7e8e6fce681da2208b662ecd18ef6cfd4118dadcf4915",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      92632,
      59362
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86511,
      10108
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x88",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      337561,
      3994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x64",
              256
            ]
          },
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      297141,
      19630
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x2f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      117972,
      4035
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000007"
          },
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      438081,
      2144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x9f52b8c65d67f029c69870d08c1b38072c9d33d92bbf1badf7328dde704d9aa8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14773,
      57131
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4809,
      2441
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      171987,
      34402
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x40",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59537,
      3133
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x18b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3722,
      12550
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0xc4",
              8
            ]
          },
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Uint": [
              "0xde15ae6acaeb5460f78c7d70724e57d01bf251ca9b44cc7ddb63cb337b6ffc07",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24758,
      20050
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Uint": [
              "0xf9e",
              256
            ]
          },
          {
            "Uint": [
              "0x271",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6279,
      46025
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x12",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      404,
      596
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xfff28aa2b7c4a91eebe773e7c6574fd91871a3c5d1cbe5004316f0f29c532ecb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26870,
      14485
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21786,
      51155
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000020000"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30206,
      20587
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79228,
      666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x3255701680b828e51abd8b9d3c77bfb92b08b1b551a07de4f21a44ba78b98f05",
              256
            ]
          },
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4848,
      6539
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1496,
      5538
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      489086,
      32165
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84966,
      7581
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Uint": [
              "0x15182",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13305,
      38516
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      120696,
      40196
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85547,
      17617
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81969,
      29946
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      402331,
      18816
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x5fd3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83498,
      24201
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83257,
      57645
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000000"
          },
          {
            "Uint": [
              "0x4e4b6d13a86905343949392389dcb84b66dee8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45379,
      1629
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2624,
      25906
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13133,
      1377
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      299542,
      31581
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x15182",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43855,
      20556
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11375,
      3689
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0xc14e2bf410a5d0dec639ede8d0ac9702ef4c87ba1ae2d7352cd1ac000e0e3c92",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      169260,
      198
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "String": "IhD@T@H!v^65f>%['((Z-AN\\>'LI"
              },
              {
                "String": "A`D}NzNeEa\"+YF4v%,T]m7y28's]ZB5"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
                  }
                ]
              },
              {
                "Uint": [
                  "0x7d1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1f3cbcfb68c8dc5d464c2f751bd6752fbe1b642938807318229",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x1616dc137de461f507256a33921c2d0821240af80af76ad80f7adeed15536ceb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf4e604192629072419bcadf53d3ccae83d3272c5769c7df802bdacbf354c599a",
                      256
                    ]
                  },
                  {
                    "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      120354,
      7076
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0xe0d43c999b7a651ddbae49e6c36a663e907f85a20ce57632cf7389c819116cc1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50641,
      57045
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
                  },
                  {
                    "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000010000"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
                  },
                  {
                    "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
                  },
                  {
                    "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
                  },
                  {
                    "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
                  },
                  {
                    "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          65,
                          153,
                          213,
                          176,
                          83,
                          7,
                          44,
                          107,
                          225,
                          114
                        ]
                      },
                      {
                        "Bytes": [
                          8,
                          131
                        ]
                      },
                      {
                        "Bytes": [
                          213,
                          119,
                          98,
                          201,
                          140,
                          54,
                          207,
                          198,
                          121,
                          3,
                          187,
                          230,
                          139,
                          7,
                          46,
                          165,
                          3,
                          234,
                          229,
                          208,
                          228,
                          182,
                          205,
                          202,
                          24
                        ]
                      },
                      {
                        "Bytes": [
                          21,
                          29,
                          201,
                          169,
                          43
                        ]
                      },
                      {
                        "Bytes": [
                          177,
                          41,
                          50,
                          233,
                          97,
                          217,
                          180,
                          37,
                          254,
                          193,
                          198,
                          202,
                          71,
                          246
                        ]
                      },
                      {
                        "Bytes": [
                          203,
                          191,
                          133,
                          170,
                          83,
                          225,
                          107,
                          28,
                          252,
                          160,
                          110,
                          126
                        ]
                      },
                      {
                        "Bytes": [
                          26,
                          134,
                          20,
                          54,
                          181,
                          70,
                          220,
                          38,
                          230,
                          26,
                          16,
                          94,
                          234,
                          241,
                          92,
                          27,
                          90,
                          162,
                          194,
                          141
                        ]
                      },
                      {
                        "Bytes": [
                          52,
                          70,
                          55,
                          235,
                          57,
                          118,
                          190,
                          246,
                          230,
                          7,
                          248,
                          245,
                          117,
                          238,
                          81,
                          199,
                          129
                        ]
                      },
                      {
                        "Bytes": [
                          87,
                          178,
                          1,
                          203,
                          136,
                          70,
                          48,
                          188,
                          153,
                          179,
                          141,
                          132,
                          196,
                          253,
                          85,
                          167,
                          91,
                          176,
                          74,
                          178,
                          142,
                          36,
                          172,
                          128,
                          125,
                          197,
                          142,
                          197,
                          73
                        ]
                      },
                      {
                        "Bytes": [
                          110
                        ]
                      },
                      {
                        "Bytes": [
                          122,
                          205,
                          215,
                          244,
                          178,
                          42
                        ]
                      },
                      {
                        "Bytes": [
                          210,
                          31,
                          207,
                          147,
                          236,
                          57,
                          200,
                          9,
                          159,
                          241,
                          166,
                          52,
                          13,
                          36,
                          218,
                          104,
                          90,
                          194,
                          190,
                          205,
                          216,
                          22,
                          32,
                          255,
                          36,
                          186,
                          52,
                          224,
                          21,
                          215,
                          250
                        ]
                      },
                      {
                        "Bytes": [
                          59,
                          247,
                          8,
                          10,
                          122,
                          144,
                          196,
                          17,
                          132,
                          194,
                          189,
                          114,
                          3,
                          64,
                          212,
                          13,
                          222,
                          232,
                          174,
                          87,
                          191,
                          152
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          140,
                          188,
                          45,
                          169,
                          142,
                          254,
                          10,
                          20,
                          156,
                          85,
                          145,
                          241,
                          75,
                          126,
                          202,
                          236,
                          144
                        ]
                      },
                      {
                        "Bytes": [
                          49,
                          171,
                          172,
                          91,
                          6,
                          120,
                          195,
                          184,
                          102,
                          33
                        ]
                      },
                      {
                        "Bytes": [
                          248,
                          186,
                          9,
                          141,
                          34,
                          155
                        ]
                      },
                      {
                        "Bytes": [
                          115,
                          33,
                          132,
                          96,
                          100,
                          107,
                          169
                        ]
                      },
                      {
                        "Bytes": [
                          195,
                          79,
                          111,
                          48,
                          97,
                          3,
                          198,
                          178,
                          153,
                          207,
                          24,
                          17,
                          28,
                          201,
                          2,
                          15,
                          104
                        ]
                      },
                      {
                        "Bytes": [
                          79,
                          67,
                          163,
                          85,
                          80,
                          172,
                          52,
                          177,
                          168,
                          53,
                          207,
                          252,
                          246,
                          248,
                          232,
                          54
                        ]
                      },
                      {
                        "Bytes": [
                          210,
                          224,
                          111,
                          6,
                          123,
                          1,
                          254,
                          190,
                          3,
                          133,
                          118,
                          148,
                          180,
                          81,
                          69,
                          131,
                          176,
                          91,
                          59,
                          199,
                          14,
                          247,
                          244,
                          214,
                          204,
                          88,
                          121
                        ]
                      },
                      {
                        "Bytes": [
                          180,
                          225,
                          250,
                          223,
                          249,
                          184,
                          149,
                          7,
                          91,
                          58,
                          66,
                          61,
                          159,
                          170,
                          41,
                          161,
                          119,
                          176,
                          11,
                          20,
                          128,
                          111,
                          88,
                          17,
                          15,
                          50,
                          244
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          207,
                          223,
                          122,
                          148,
                          61,
                          177,
                          79,
                          234,
                          139,
                          149
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          82,
                          19,
                          151,
                          86,
                          126,
                          246,
                          84,
                          173,
                          199,
                          10,
                          2,
                          138
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          154,
                          140,
                          49,
                          192,
                          248,
                          36,
                          3,
                          180,
                          27,
                          44,
                          153,
                          135
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          195,
                          160,
                          186,
                          180,
                          209,
                          198,
                          64,
                          171,
                          80,
                          42,
                          169,
                          138,
                          180,
                          238,
                          81,
                          23,
                          167
                        ]
                      },
                      {
                        "Bytes": [
                          191,
                          27,
                          69,
                          190,
                          22,
                          240,
                          121,
                          37,
                          205,
                          205,
                          195,
                          231,
                          238,
                          165,
                          85,
                          153,
                          4,
                          190,
                          7,
                          197,
                          61,
                          111,
                          137,
                          31,
                          129,
                          101
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          208
                        ]
                      },
                      {
                        "Bytes": [
                          85,
                          109,
                          129,
                          162,
                          149,
                          62,
                          59,
                          246,
                          0,
                          165,
                          118
                        ]
                      },
                      {
                        "Bytes": [
                          144,
                          72,
                          136,
                          140,
                          234,
                          133
                        ]
                      },
                      {
                        "Bytes": [
                          201,
                          127,
                          181,
                          132,
                          233,
                          40,
                          197,
                          61,
                          244,
                          156,
                          225,
                          75,
                          177,
                          64,
                          52,
                          12,
                          60,
                          167,
                          94,
                          143,
                          251,
                          78,
                          223,
                          84
                        ]
                      },
                      {
                        "Bytes": [
                          246,
                          125,
                          7,
                          78,
                          72,
                          118,
                          47,
                          226,
                          6,
                          94
                        ]
                      },
                      {
                        "Bytes": [
                          185,
                          83,
                          74,
                          82,
                          26,
                          95,
                          72,
                          3,
                          116,
                          248,
                          139,
                          250,
                          91,
                          218,
                          255,
                          252,
                          118,
                          45,
                          252,
                          146,
                          59,
                          37,
                          197,
                          145,
                          208,
                          120
                        ]
                      },
                      {
                        "Bytes": [
                          246,
                          226,
                          255,
                          244,
                          76
                        ]
                      },
                      {
                        "Bytes": [
                          38,
                          77,
                          137,
                          14,
                          164,
                          229,
                          226,
                          176,
                          179,
                          216,
                          183,
                          206
                        ]
                      },
                      {
                        "Bytes": [
                          77,
                          207,
                          22,
                          153,
                          54,
                          138,
                          200,
                          91
                        ]
                      },
                      {
                        "Bytes": [
                          217,
                          131,
                          147,
                          24,
                          18,
                          39,
                          29,
                          59,
                          244,
                          80,
                          157,
                          5,
                          159,
                          19
                        ]
                      },
                      {
                        "Bytes": [
                          84,
                          136,
                          2,
                          222,
                          226,
                          212,
                          123,
                          78,
                          199,
                          252,
                          230,
                          209,
                          226,
                          152,
                          243,
                          179,
                          87,
                          61,
                          141,
                          91,
                          106,
                          93,
                          242,
                          114,
                          52,
                          16,
                          232
                        ]
                      },
                      {
                        "Bytes": [
                          20,
                          16,
                          155,
                          108,
                          209
                        ]
                      },
                      {
                        "Bytes": [
                          20,
                          248,
                          194,
                          51,
                          111,
                          240,
                          185,
                          112,
                          60,
                          177,
                          137
                        ]
                      },
                      {
                        "Bytes": [
                          12,
                          53,
                          198,
                          252,
                          143,
                          33,
                          200,
                          19
                        ]
                      },
                      {
                        "Bytes": [
                          237,
                          214,
                          158,
                          108,
                          101,
                          145,
                          216,
                          190,
                          61,
                          109,
                          169,
                          252,
                          65,
                          108,
                          219,
                          51,
                          136,
                          171,
                          24,
                          113
                        ]
                      },
                      {
                        "Bytes": [
                          230,
                          16,
                          56,
                          32,
                          67,
                          162,
                          97,
                          8,
                          102,
                          50,
                          37,
                          45,
                          82,
                          195,
                          201,
                          178,
                          207,
                          12,
                          247,
                          58,
                          96,
                          145,
                          231,
                          121,
                          72,
                          80,
                          101,
                          156,
                          224,
                          150,
                          163,
                          60
                        ]
                      },
                      {
                        "Bytes": [
                          61,
                          90,
                          198,
                          25,
                          112,
                          205,
                          25,
                          204,
                          242,
                          186,
                          71,
                          180,
                          150,
                          16,
                          4
                        ]
                      },
                      {
                        "Bytes": [
                          176,
                          57,
                          2,
                          112,
                          217,
                          157,
                          26,
                          146,
                          99,
                          180,
                          125,
                          152,
                          218,
                          166,
                          251,
                          92,
                          233,
                          125,
                          111,
                          119,
                          44,
                          149
                        ]
                      },
                      {
                        "Bytes": [
                          101,
                          188,
                          165,
                          235,
                          163,
                          47,
                          123,
                          46,
                          14,
                          194,
                          111,
                          69,
                          1,
                          15,
                          191,
                          100,
                          189,
                          115,
                          72,
                          124,
                          134,
                          201,
                          169,
                          144,
                          12,
                          189,
                          92,
                          177
                        ]
                      },
                      {
                        "Bytes": [
                          118,
                          17,
                          149,
                          23,
                          35,
                          35,
                          132,
                          180,
                          229,
                          229,
                          17,
                          28,
                          100,
                          242,
                          72,
                          204,
                          192,
                          24,
                          71,
                          190,
                          20,
                          134,
                          63,
                          37
                        ]
                      },
                      {
                        "Bytes": [
                          20,
                          240,
                          193,
                          20,
                          31,
                          74,
                          225,
                          205,
                          130,
                          120
                        ]
                      },
                      {
                        "Bytes": [
                          50,
                          163,
                          186,
                          252,
                          74,
                          244,
                          252,
                          234,
                          187,
                          40,
                          70,
                          71,
                          241,
                          131,
                          153,
                          43,
                          219,
                          28,
                          0,
                          187
                        ]
                      },
                      {
                        "Bytes": [
                          187,
                          187
                        ]
                      },
                      {
                        "Bytes": [
                          232,
                          22,
                          196,
                          89,
                          106,
                          182,
                          255,
                          81,
                          213,
                          35,
                          246,
                          41,
                          95,
                          134,
                          85,
                          226,
                          200,
                          47,
                          126,
                          131,
                          64,
                          110,
                          220,
                          77,
                          221,
                          232,
                          62,
                          252,
                          240,
                          154
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          179,
                          205,
                          150,
                          98,
                          137,
                          73,
                          247
                        ]
                      },
                      {
                        "Bytes": [
                          247,
                          34,
                          51,
                          73,
                          196,
                          61,
                          176,
                          177,
                          162,
                          121,
                          227,
                          85,
                          57,
                          220,
                          51,
                          104,
                          132,
                          154,
                          78
                        ]
                      },
                      {
                        "Bytes": [
                          36
                        ]
                      },
                      {
                        "Bytes": [
                          76,
                          55,
                          81,
                          87,
                          200,
                          191,
                          42,
                          254,
                          50,
                          24,
                          252
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          200,
                          243,
                          102,
                          250,
                          102,
                          238,
                          70,
                          249,
                          222,
                          76,
                          113,
                          245,
                          39,
                          33,
                          141,
                          200,
                          242,
                          144,
                          193,
                          164,
                          163,
                          40,
                          13,
                          162,
                          148,
                          160,
                          166,
                          26
                        ]
                      },
                      {
                        "Bytes": [
                          221,
                          178,
                          183,
                          209,
                          168,
                          11,
                          249,
                          22,
                          88,
                          204,
                          57,
                          41,
                          243,
                          165,
                          31,
                          162,
                          107,
                          210,
                          44,
                          81
                        ]
                      },
                      {
                        "Bytes": [
                          219,
                          145,
                          177
                        ]
                      },
                      {
                        "Bytes": [
                          129,
                          231,
                          18,
                          160,
                          120,
                          231,
                          26,
                          226,
                          2,
                          124,
                          140,
                          69,
                          174,
                          174,
                          233,
                          10,
                          186,
                          255,
                          43,
                          134,
                          17,
                          115,
                          162
                        ]
                      },
                      {
                        "Bytes": [
                          56,
                          36,
                          92,
                          205,
                          143
                        ]
                      },
                      {
                        "Bytes": [
                          123,
                          201,
                          44,
                          115,
                          2,
                          72,
                          18,
                          173,
                          111,
                          14,
                          172,
                          112,
                          219,
                          199
                        ]
                      },
                      {
                        "Bytes": [
                          180
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          198,
                          140,
                          13,
                          133,
                          8,
                          134,
                          212,
                          182,
                          199,
                          3,
                          235,
                          10,
                          134,
                          96,
                          155,
                          82,
                          53,
                          226,
                          217,
                          226,
                          173,
                          130,
                          233,
                          38,
                          241,
                          124,
                          1,
                          27,
                          177
                        ]
                      },
                      {
                        "Bytes": [
                          18,
                          62,
                          66,
                          234,
                          78,
                          155,
                          176,
                          3,
                          95,
                          81,
                          148,
                          139,
                          170,
                          185,
                          69,
                          246,
                          118,
                          47,
                          1,
                          90,
                          37,
                          86,
                          77,
                          86,
                          45,
                          222
                        ]
                      },
                      {
                        "Bytes": [
                          65,
                          103,
                          149,
                          207,
                          22,
                          213,
                          40,
                          146,
                          35,
                          92,
                          11,
                          156,
                          127,
                          85,
                          252,
                          20,
                          188,
                          70,
                          145,
                          188,
                          70,
                          160
                        ]
                      },
                      {
                        "Bytes": [
                          160,
                          77
                        ]
                      },
                      {
                        "Bytes": [
                          3,
                          178,
                          247,
                          79,
                          97,
                          27,
                          128,
                          100,
                          56,
                          95,
                          36,
                          236,
                          84,
                          207,
                          228,
                          209,
                          225,
                          83,
                          140,
                          70,
                          84,
                          77,
                          247,
                          72,
                          73,
                          64,
                          55,
                          187,
                          63,
                          25,
                          82
                        ]
                      },
                      {
                        "Bytes": [
                          47,
                          238,
                          229,
                          191,
                          44,
                          67
                        ]
                      },
                      {
                        "Bytes": [
                          224,
                          234,
                          36,
                          55,
                          50,
                          93,
                          25,
                          97,
                          176,
                          224,
                          96,
                          212,
                          7,
                          75,
                          87,
                          250,
                          235,
                          119,
                          66,
                          75,
                          80,
                          62,
                          229,
                          51,
                          158,
                          242,
                          220,
                          114
                        ]
                      },
                      {
                        "Bytes": [
                          231,
                          182,
                          190
                        ]
                      },
                      {
                        "Bytes": [
                          59,
                          169,
                          202,
                          225,
                          239,
                          13,
                          235,
                          231,
                          138,
                          157,
                          40
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          201,
                          144,
                          142,
                          148,
                          179,
                          122,
                          246,
                          25
                        ]
                      },
                      {
                        "Bytes": [
                          61,
                          63,
                          81,
                          204,
                          16,
                          135,
                          125,
                          188,
                          220,
                          171,
                          126,
                          222,
                          54,
                          42,
                          101,
                          196,
                          245,
                          49,
                          173
                        ]
                      },
                      {
                        "Bytes": [
                          216,
                          4
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          212,
                          103,
                          163,
                          82,
                          64,
                          210,
                          253,
                          87,
                          97,
                          252,
                          203,
                          56,
                          101
                        ]
                      },
                      {
                        "Bytes": [
                          121,
                          76,
                          104,
                          181,
                          29,
                          6,
                          56,
                          164,
                          62,
                          43
                        ]
                      },
                      {
                        "Bytes": [
                          205,
                          34,
                          140,
                          164,
                          93,
                          131,
                          158,
                          82,
                          91,
                          179,
                          222,
                          183
                        ]
                      },
                      {
                        "Bytes": [
                          241,
                          215,
                          197,
                          152,
                          172,
                          157,
                          92,
                          77,
                          64,
                          204,
                          1,
                          233,
                          48,
                          106,
                          83,
                          121,
                          249,
                          90,
                          87,
                          227
                        ]
                      },
                      {
                        "Bytes": [
                          119,
                          54,
                          78,
                          238,
                          50,
                          145,
                          189,
                          25,
                          198,
                          36
                        ]
                      },
                      {
                        "Bytes": [
                          173,
                          205,
                          159,
                          192,
                          45,
                          22,
                          13,
                          123,
                          18,
                          161,
                          111,
                          118,
                          13,
                          92,
                          221,
                          213,
                          200,
                          1,
                          236,
                          184,
                          175,
                          96,
                          51
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          44,
                          224,
                          31,
                          155,
                          215,
                          86,
                          58,
                          23,
                          200,
                          103,
                          40,
                          10,
                          231,
                          70,
                          208,
                          96,
                          176,
                          138,
                          46,
                          210
                        ]
                      },
                      {
                        "Bytes": [
                          251,
                          7,
                          231,
                          55,
                          57,
                          253,
                          156,
                          57,
                          250,
                          99,
                          35,
                          157,
                          92,
                          195,
                          36,
                          14,
                          72,
                          201,
                          223,
                          188
                        ]
                      },
                      {
                        "Bytes": [
                          97,
                          1,
                          209,
                          94,
                          53,
                          198,
                          0,
                          19,
                          85,
                          3,
                          75,
                          94,
                          82,
                          0,
                          248,
                          202,
                          110,
                          44,
                          251,
                          209,
                          129,
                          26,
                          160,
                          1,
                          47,
                          26,
                          152,
                          154,
                          65,
                          150
                        ]
                      },
                      {
                        "Bytes": [
                          126,
                          41,
                          23,
                          214,
                          40,
                          54,
                          86,
                          126,
                          183,
                          86,
                          107,
                          23,
                          181,
                          8,
                          115,
                          126,
                          229,
                          228,
                          87,
                          171,
                          239
                        ]
                      },
                      {
                        "Bytes": [
                          206,
                          244
                        ]
                      },
                      {
                        "Bytes": [
                          162,
                          69,
                          31,
                          32,
                          85,
                          47,
                          68
                        ]
                      },
                      {
                        "Bytes": [
                          189,
                          19,
                          230,
                          115,
                          123,
                          228,
                          107,
                          153,
                          21,
                          177,
                          136,
                          88,
                          157,
                          186,
                          244,
                          14,
                          255,
                          34,
                          51,
                          76,
                          250,
                          17,
                          128
                        ]
                      },
                      {
                        "Bytes": [
                          249,
                          170,
                          157,
                          186,
                          217,
                          77,
                          154,
                          231,
                          71,
                          214
                        ]
                      },
                      {
                        "Bytes": [
                          228,
                          202,
                          20,
                          122,
                          137,
                          242,
                          211,
                          209
                        ]
                      },
                      {
                        "Bytes": [
                          63,
                          38,
                          106,
                          127,
                          185,
                          174,
                          22,
                          11
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          62,
                          44,
                          239,
                          85,
                          244,
                          105,
                          12,
                          243,
                          98,
                          94,
                          185,
                          181,
                          161,
                          100,
                          223,
                          252,
                          131,
                          62,
                          164,
                          138,
                          209,
                          238,
                          238,
                          142,
                          93,
                          215,
                          93,
                          94,
                          22,
                          25
                        ]
                      },
                      {
                        "Bytes": [
                          240,
                          203,
                          121,
                          61,
                          145,
                          69,
                          87,
                          1,
                          155,
                          62,
                          15,
                          77,
                          250,
                          1,
                          41,
                          49
                        ]
                      },
                      {
                        "Bytes": [
                          99,
                          39,
                          116,
                          103,
                          105,
                          89,
                          247,
                          9,
                          26,
                          51,
                          236,
                          167,
                          132,
                          223,
                          141,
                          232,
                          251,
                          85,
                          248,
                          143,
                          163,
                          206,
                          195,
                          149,
                          222,
                          168,
                          33,
                          91,
                          14,
                          72,
                          9,
                          202
                        ]
                      },
                      {
                        "Bytes": [
                          173,
                          173,
                          119,
                          19,
                          59,
                          122,
                          118,
                          75,
                          202,
                          212,
                          70,
                          3,
                          248,
                          147,
                          145,
                          215,
                          14,
                          244,
                          55,
                          208,
                          110,
                          92,
                          8,
                          106,
                          239
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9e84b37e2c814247c9afafc1c78f5df0b47406e20cb87264c7071b4f5b42d3c2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd4af7e5f06c7ee41486658ca10249c6a69e58e814ba53c4435c14a9c9a5b80e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x138c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x248",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x638298e22d5349abd8729b68bad4ea5c2610cae200fcee31483c45cf32e22e3a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfe7e776780807e4bdc9887788e07fafe08e17e426615723f59da179326bb7a28",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5f5e102",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x65",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdf3f7758f2ea47b4d169593c0cd2f50606f28fe2ca73186b027433eb9640c7f2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb6ace58cc0279eb9d4e7c781352cc2b03cf5ab86cb244b94db957bc9fdeebd60",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa2a0829df3b6cf0527caebf28ebd8b1b7d9a68fed31a52b0b4be4c200acf8902",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3ca",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x41",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x100000000",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x178",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e847d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4eccc62d6aa55daf68cd9d27e9e1401d9520cef390eaf3aaaa2a0bb238a9c868",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x95ec210a35b46f00ea98cbc347a79e4a10446c92637fd3a2d5252b7f997f450c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x138b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e847f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2328",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x800000000000000000000000000000000000000000000000000002d8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xca85232a448680a5d828916d7c79b5d9c6edfb59f04274982f7c41e69aff4437",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x100000000000000000000000000000000",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x964a62a23a37d7f55378dd64f20b1947a564e7c7e878dcde9d36563eebd21a43",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x67",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2329",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x18",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2b462467e50dd87d501ca02482e83c16dc81b31330bba9af618fc24a3053dbc1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x324",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe14",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2329",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1a3dfe4ebd16bf51534105595b6b91043e5e570425201501322b102f2ab81a69",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x23f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xcb63ee82d1015c996510ec297f5c024fcc9d535f63814c29471d090ae033f299",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x92691ac92e46cbd4f8dc23e9c4a061d5e063c1f6afde4557d040c9d3d6540f6f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdeb74ba3fc50b68026d131796e776618707f400f43138d59320c85bfee5e724b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x12d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x60",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x369a07c0c14987d9b576bead5a436b66175d6869f572372dbb157ce8cc87f1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xcef9b942f445c21c24dae4f93a6dccc33fc867974ee1c324359db92f17f44fa9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x42b5d17d25a815e2f95792b5f81a4d93b297d08857f16245c1982b28a14a4b8e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7d2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x875fd5f06df7063164308e617b22cac9db6bda65e0a8df3081cb55f3cd3ed7a7",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xfffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa83c753e4cfc3c05d0ad50ad72e6b97a9ba6da60555e0b1b0de5c4f41cb771e7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa83c753e4cfc3c05d0ad50ad72e6b97a9ba6da60555e0b1b0de5c4f41cb771e7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5061cd2cd5027224834d5d82668bc62c65713cf5dcebecffaf42da19f8d9dd8d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3d7",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xf27fdc9a27080882fb61a296acf47733fc7e67bbd6163ea2cebfed45741bc8d8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4681cf5bcf163d55537cc48a3054fd89c7030758e37b5cbd1d9cb4efe56d76",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7a237b25101ffeaed84ac70a12b4472ac2110f0166062eb73d7fc970d92dc89c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7d0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x488ba2582946c5d925877cc97f4a457913da16b4be6bf3435130a773c690b2b0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e8483",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa91d628e2078199a9606c71bb3f966544c5ce634f19fd97a0a71048925577d13",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe7fdc15518e3fd904c8b47c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4f0a287ebae1e7d4fb1fe933d6c89c9759dd9239cab227bc8b390b0b703f3d7e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x29374d4e83aedb32cd2ca8639688c64d7235b1db180640916862517d6773be58",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe10",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4f",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74504,
      21932
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x9d67957f64e7695e19749851b7d5b9f604575c599409f2754ed3e121547d3142",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7590,
      6546
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86586,
      32433
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x22f",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffc",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7cd",
                  256
                ]
              },
              {
                "Uint": [
                  "0xbfaa3c4f5464cc52f229bb65ae9aba6202ac269c93ca9fd95d38525cb68759b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x22",
                  256
                ]
              },
              {
                "Uint": [
                  "0x66039105381c578bce74c1761cba1565390d227553cbd230611f0d83f29b97f9",
                  256
                ]
              },
              {
                "Uint": [
                  "0xad9512cc0c7eab01eae9861eccad12b94446341eed810a76e20a186e8994abc8",
                  256
                ]
              },
              {
                "Uint": [
                  "0x99df72203278dc4d1324695ea8ba4e20efaff1fb254e864811ecaadf07d6cbf4",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc5fed8e140f698eed3a9cc93ae432442725a3dd38eeb598c4e4b92736f9d7321",
                  256
                ]
              },
              {
                "Uint": [
                  "0xdc8b234255a4dac7fee86f46f0009d3e07f342217eddc9cae65aa553f84e65bf",
                  256
                ]
              },
              {
                "Uint": [
                  "0x8a16b3a9c706fbd6b516ecf4d92685d2786e9eae67b883744a459c1265c36072",
                  256
                ]
              },
              {
                "Uint": [
                  "0x102",
                  256
                ]
              },
              {
                "Uint": [
                  "0xeb3b434d19725246d517ff46c2a0e01ac99fc01a908959698d1e828838ac80f5",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7329575958f593b8c942e09eccbbeb9725522db7c4a8799922ef9e5446682396",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf8d0c9ed9f0f3d553e45e469f26e620f972c54cd144864b8feec96f094ca5dac",
                  256
                ]
              },
              {
                "Uint": [
                  "0x18",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf9dfec05258ae848247aabce5f0318a0616c6987059f08cc91ccf840b708e13c",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x393",
                  256
                ]
              },
              {
                "Uint": [
                  "0x30",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x269",
                  256
                ]
              },
              {
                "Uint": [
                  "0x100000002",
                  256
                ]
              },
              {
                "Uint": [
                  "0x15180",
                  256
                ]
              },
              {
                "Uint": [
                  "0x65",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5f5e102",
                  256
                ]
              },
              {
                "Uint": [
                  "0x22cdab517df87c95f6be89c69ce43544a250ac83313d9f2c0b034f9b7d17fe40",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1af20ef7dfe05192fbd32b9439985a6bc188c66137cac6b7",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2326",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x65",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1517d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x79b2927e517c7d0af320e5cd4c9478f75692feb06fae0578c7db02c42a80b4c2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x88979e620755bd5ce8c4754a96633f32372bfc8a33139798c139626780ac8a46",
                  256
                ]
              },
              {
                "Uint": [
                  "0x100000000000000000000000000000002",
                  256
                ]
              },
              {
                "Uint": [
                  "0x8f13c780fd9e1ffbd190ff2226471c13ed138030d8b4c98f6c39573bca7d8e41",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd68995316658a222a1b572f57a2921d09484fc4dc51d34b41b894426751aa9a0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffd",
                  256
                ]
              },
              {
                "Uint": [
                  "0xaa0b5382deb7a4cd21849e3d6910db3b7f98fe5ddf33fbdfd6b305b07fe3ff56",
                  256
                ]
              },
              {
                "Uint": [
                  "0x129",
                  256
                ]
              },
              {
                "Uint": [
                  "0x138b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x65",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb30593a67bf9923dc48b8d14251637d969cbac7c71af6bd84359910ec47f1605",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5904609e3d55697b86ef4500fb8f2a041dfc10917ea1ea4a5e6319d9cdf1f633",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc8d4ff4a3133aa2957c57e7e70d09d3480c212826f66bc545a4a2c6a9f626a79",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6fe1256d2775c3dd69b465d7b41524da1f411fec4e8e02c326d7329757f5b4dc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x31a92690de6a36ed56106edc6f81016cc0bcd2cbf0cf6e2f5715dc5ff8eb2878",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe0357b6e3aaa42b571b8d9ce991b4e340a7e16208a3c5d282361bed794e2d9dc",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                  256
                ]
              },
              {
                "Uint": [
                  "0x11a245e596c6ea692e0777ee310b1f3be3dfe41e1b1a1f423a4584",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2b04209ed3a40d285333b24bd935fbd45d9d8ad527cb3dc9ce0aa7353ed65364",
                  256
                ]
              },
              {
                "Uint": [
                  "0x9bf7e69453a9abab8242f9528cc970e6524c41d50328199f64881ad3d6bcb7ee",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x82a3",
    "delay": [
      8497,
      29467
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0xaf1b07c0893130a206201982907dd38d36f87a88a0f930b1a2ad1d87d9a98fc6",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      120608,
      8858
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35697,
      14384
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x2d21473f9042d426b4fbfd5f84c392130e2c25449258e1651a50b16dc54945b8",
              256
            ]
          },
          {
            "Uint": [
              "0x67",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6870,
      10402
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          },
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2611,
      23701
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x6194784699b4481456f9d4ebc98ba6165edcaf4bc31f94186b464e38aa304f9b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37029,
      1271
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82179,
      13047
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x64",
              256
            ]
          },
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5934,
      45637
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24006,
      13300
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33722,
      54242
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0xfffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40921,
      30771
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x3c",
              256
            ]
          },
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63941,
      22889
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x7d3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      332330,
      29017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0xca9cfb6e358aec463ebb89ee9c5f4476057105161ddcc98e0fd835f42021b42a",
              256
            ]
          },
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58967,
      33536
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Address": "0x0000000000000000000000000000000000010000"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4327,
      35217
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x3fe56daa9ea5c8bb04d8b21420b38b4d61282885472532a2ab16c641ec28bced",
              256
            ]
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      28663
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x141",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      367933,
      42319
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0xc4a0d17090649ef3ef06915bdb83bc149e305fb502a29369a315038436cdc451",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      435,
      59693
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0xfd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      408419,
      4396
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82853,
      5080
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3643,
      38130
    ]
  }
]