[
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19255,
      139
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75149,
      53726
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7063,
      23686
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3699,
      5505
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0x5671317dc20e5ad3683f944a1baaddfe2b8b5198a764dfd694dc0d082b5f8b01",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119,
      3972
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43030,
      4133
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      386467,
      36268
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5315,
      59775
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20645,
      31482
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34063,
      15010
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0x22",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35810,
      799
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x0000000000000000000000000000000000000000000000000000000000000000",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36508,
      1850
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      171354,
      506
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x685918abc7ead284043c4362fe0133c62f9acb69c673f7f170b1e6eaefe4023b",
              256
            ]
          },
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7727,
      9919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77740,
      30957
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19854,
      1094
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85258,
      56144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83704,
      5547
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x36c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1814,
      38099
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "String": "O]+H*CE^`O0YA.&dEW"
              },
              {
                "String": "h4R"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Array": [
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  }
                ]
              },
              {
                "Uint": [
                  "0xa775308afe4be2132a8e39af7d4834d65d66534aa21682cf8489d50f59c4a859",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf1db5425e83f78197288650eaebae011353aa84df3b4c111ba899fb848665735",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfe",
                      256
                    ]
                  },
                  {
                    "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      183820,
      48004
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0x17",
              256
            ]
          },
          {
            "Uint": [
              "0xc29e49ea75ab7720f9590a7b1080f80caff14f47f7880c9b3bd440996a7ba194",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84809,
      6076
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21745,
      57865
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63098,
      17566
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75072,
      4932
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73139,
      23139
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71536,
      34700
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Uint": [
              "0x98befe434e4397efcd4e5c7bb7737e2762c624c07e025e60803a2245a3bde645",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86637,
      2911
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5814,
      40939
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      113,
      9071
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0x80",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21784,
      994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      191611,
      8733
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      223,
      15670
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67970,
      23814
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x3a8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      330051,
      4839
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0x7d",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4294,
      8778
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x14bc9b6477f670183edcf432037520050253cffb7726bf47",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44833,
      36880
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0xfa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16503,
      1377
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6184,
      37787
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x8201e8d50890252bdd1240e29da6187063557c2e4196f2f4ec09abf300e42c1",
              256
            ]
          },
          {
            "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60792,
      258
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      294145,
      11032
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17778,
      7335
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xc717a7a95106fb4b1d7e5242b9fc905309367f6b5523aa912e6f5dc72d67610e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8187,
      12792
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x4a1777a6651b4a40c03cb39da47f767d98c9e109e42a74b30dc36c4dff7b780f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      463898,
      38138
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79695,
      20195
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0xcd6425e5c4f6e58a296409640faeb6cf9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64985,
      7213
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0xfc000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50157,
      12795
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0x5f6f966e8d2ea7919568e7f1f2db5f5d80c92db580e8fb19a91b63f9b9f25a47",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6568,
      9205
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x3da245cdc9b3031f4dd658b436b38b671f5dc57875a024679c38697c6d2b9433",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64939,
      7844
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x53",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      444595,
      34190
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      160,
                      203,
                      136,
                      151,
                      7,
                      212,
                      38,
                      167,
                      163,
                      134,
                      135,
                      10,
                      3,
                      188,
                      112,
                      209,
                      176,
                      105,
                      117,
                      152,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      160,
                      203,
                      136,
                      151,
                      7,
                      212,
                      38,
                      167,
                      163,
                      134,
                      135,
                      10,
                      3,
                      188,
                      112,
                      209,
                      176,
                      105,
                      117,
                      152,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x13a64755c8a8124868e656ddb244ae75e5f91ce6ba8b057c7064049c5126c415",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfebf60709b7c78965543ce4d55866ff5a04638b71c77c74a660e583ee8d1e5c2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x193127e0e78b2ad22b1c462774df8ce1b758ff20adac0f8087dc30506c6f8bcf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0faf310fcde3b0642e0be77e54367241c885600183e17146d5c29a4e97e683d6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x75cf46eafd82571a880b021e4c85aeb29a52a0a0531b2a34907d298a44da9791",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x363511fbc29550b40650b38649a80f2e5952692905c1738ed37f2a694dca4394",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc2b71220a73aee285f8bc64b59abe1d1efa337b53ec5fdaf5e779e174f9f7bc2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x11295ffe992a5f1c707a5da4278d3ce62dd856f5ecf3552556f7b2584b365546",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20557d45abf081b877371d16f1d4590b7451ae4a1fd6b3a7130f54d8ff9d4636",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x366bdb550aa461619bb286fe057d3cd74faa60feef29deac50ad0b5ab4389752",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0feb0ab6c13c72ca62d0a43c764b6039b17601f712826d254c4d5da6fc2a3165",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6f10a25df46314f7036cb0c742f92b7cfe517669c02976ffe949c1271c413493",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8a655de133f16854728b7a9aa60e0373c9135a960cf2e066df577b999be4bd25",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xed5e110aeea76d586a0fddaf2ac71b2192d144bfa4b49c9d9fb4d9be56bf4f8f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x912048d3a81136e74b3c3a885924b7b3f803cc18b1ae981963a11dcc5e09ecc9",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd2da6a73432dcb0e282e42ab051309b412f8a3f29e2ea429c3d7f07e50c27b03",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x565c60eb6dfe7e021ff39014d4f3fc6124b220b38b1befc143fb6c8006173f9c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c4a14be2115ad74ff49141ed4b01f66cccec0bf849a465d65fe9a55018f20a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x108559361256df50d2ed9206184fdf0d6a37b3fce2b3f4e50f0d852b08acda4a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2ab22685f9ca396d5ac46f1e1c8568983701106201e841008afc5f1105240281",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9aedf588b777f5308a7eb0b8ef7473196af1718debf68ccb737f5593926c2ed8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x575e30fc25b676e22788400786f967cac3e2beaf1c03c4efd5f48dc07974ae3d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc659674681412bce744cd203affe4d638bcbdc97c1b845fc2b716e3e8e6872e9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4c8ae3adc81a3f5ec65a3aaca4d164a1c10129e7e7ea8620f5dd276a5a8a1c7c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56507eab9712dff8186aad1715207184470a9283867da0d14aa99800cd5fcb7e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb12819c64c2a0104c37f67d2d00e0eb2b9d064d68478866a6860ee831d0f5df9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb54ed64abce28fc64a433322cdfbc56d1e6fdb6287154db347de4af89c74736e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xecc413615819b7c04868a86c94f89c1b67c8155f95056aa823273bad9abbc6b1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x88f79280c7c3e07412618f7bd35a4d73d25ba44568ccbaf068c4b9bd891d1b6b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ba6026c52757d35c70b4d6abf14dfec7c5a87717de695bcbb4424ad6ce98658",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8541103fa1b3027b513ed6bc7991f2d3c621912da8f8cb81ae019d37bd1931cb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x878ea29ab3db1862de3edfbff8fe1832dac570de76c70dd23268199a59f2e3bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1bc7fc329bdee5b5a3cf4347d4641a0cea8c03fc4eafbf569f5486a0c065100a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe0a2f62610a2c8ff143a859c32427dac8d375bb9f8a687ac8f25d3f5264b03d6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x068d05820fb9aa283f842380dcccdf260a99dd4f1f8c67226dfa206afeb5d639",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2f514d5025f154c70318aa1bd1344231b7028bf3695e50f012ba4de12a06f3ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xea4a00f844b29205e0e03a1a34042913fd2660392a772ad2264bb270da2514ca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1c662b32939ea2918b6add89ec6199751bbbd6d6c10342432cc8f175b9d18109",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x52fb94d89939bda00830fdcd5e3405e1780481d9a3ea262910c48566eeee5699",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8403d552a0fd87671248841a31d16f838714b386b5ad32ba138f16757ec53325",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb48fc9cbef46fac94a9e8b6fbfffe2572826ade8a09f8bcfe67d2ab1013026f6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x64281f70f0fd01044a3df87ce90322163959064c7aa29cf7e81d8528478008ef",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8be19e8814e1bea552fe37cd539c9654ed4fba910d688693ad04926da53e0bd8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb15ea669ede470280514bf39b883284dcb9de4ad0b35668160f78af4a01ef546",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95e61eb5a18fb621a0755382cf3ffb69a1ff1f7a6e5c6e9f085d19ae967ed0f1",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x80ad6a271c06d41c1ec263376060ab4f2e189fc435889bc9dc02dd7e3bbb21ed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdc31c29b9f4676bf434283a14a3edf288994b3a89a06824592c5546da1c3bb76",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x413a4433ecf4521b19a79d5e14dfa88f606d413932c85eba612602b90c0d3576",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf63c84025b9e38107ec6fdf22b1f89408e0e0cfa5e423d27789eee3610525570",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9cbd6486cadce472c27142f6a46a0e0f07ddb5b61ed5375c626081944995ca64",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb8200c26cde881e8b3bfe5b2ead8e046d6126906da58ce43ed8211cd16f48184",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc6d64fd13937eba92ee329b6e5e97b24cf3a94ca83948804a4a8583682a1d304",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc1ceb441a3d47491d53e9390c786ce07017c5326ddb2981aecab8f52e70ab838",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd5bf7ca21ccaa40cacedb8723b373f574ba003d6d8b6b0cb910e8340df84cf7b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5582cfd0092bafcd8142f5ab1faee702da1a9cc8f223bdaace143b6bd899864e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcacf6483bf2ed66888ed80474adfd20120244866215f7ed1567e77b06a3dd884",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3c526533b54dce34a535d51e43cf1489340b6f51e841aecb5eee05f4f5d9236c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab31b11bf9208a29fec294c5d87f81c483719b27c4c12c113c25fa830539bcb0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe3785f4232d17156d0cede89719af27650a231581afb1bdb30c6e771215806f1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x26fc049e5ea9f539509636062a62240a9d773c1298331be1fd279b9405cb9d31",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x960848f59eb1f722c4ef8a30f97f72b24c7d47c4b2d46704ac1ece70aee55fb0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfcaabceb830ad643df5a610384f251ba8c89fafdf138f5bc1aa3d4c438dbcb7a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd2635f9eaaa2ea05b9a4d6d559fd2104581925d39aafb0e71f6901a7745103f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04ce7e69d2e241646e46fb3e22800f54150beafab4c143d230e9beb2f12ed555",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaf492e6bb71830f6d7e9adad3c15f0c8bd8ddd7924bcba83de1bd9ae51f90cd6",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb80c341ea6f538f99c06c412ab0d8dd1aaecf1e83731d59bc6cbada38768214b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1ee19a891707875d9b6a8de83b6c59af9defea77e236e2840106640dfce6edba",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7b5d2eab1b4a86368c8df674e5b702bafb90589b9fa5baa647bd0f9fa5b7076f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc74dc294694be423d7a92562415889ea6fa985c1d5bcc0dce7c6461f09f42db6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xddddae7fb928c4987826794055dd8b5b6b0866be2c0f9097ce7fd1071964cabc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf1f907c033ea8d5c59b137419cb522cbcfbb44b402dda779d85815ad6f3b3880",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x65daa736db6aa2564837a6aee62625bd6c7d7e8e058e54fbd009df2b8622803b",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x96b902278f000bad05e3abadae44450588563efd8ed1198344350687581f5218",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x71b918de3e35b731190492d435ec78b6dd81c22a706e8279bd9d3b8ca45816a4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xceb97aea1d95df9b8d5a035013dd926517f73d3d7581f0f8917fbac1cf08d660",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x604cbdcceb3624cac587d9af7a50dfada06914ccc85eee3869737fc4ab79270c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x468f21df8638f8025fc63fd2f50d89c76f0bb67f8f5e440055c72992029702e2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x48b29ea37935e9d451e39a98cffa847974f24a3914921335ccd7585823c0b4b6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7999a467fd5476468358020e9420564b9a67928c56b66a3799d4360457c0837e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6660b0cbc160b52336ae3f696273519eb1c0d4fd81105f83fe1e7eb51fe3e0b8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa2f3ef645ca6ec613de05b6da7602cc858717f3432ec05788bd9ccb179cdb790",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x51d72dab62e69bdcfe32cef9af14f5c2df3be4736a1c14d488b3acaa36b38fbf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb0c79aa1a8847db466ddc4bda2eab97fcdcad8f18ac53ab68766eacf2c1d6fb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x48dc0d7f3c944df4b07a73c0dff9efdee7ba547d4e1210d025ed5acc74ff63bd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1557b68ab912a6e37cb2e8653fd601f7236775fb8e885d50cc6ab8e895e0f6d7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x34168c0b36175fc996983ab759e256b083d0bd08a3518e71c348bfc36b83518f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x521531ae9ad56317ce95aae24c20e69d9eeb2355e6532e51477a77f7909a923f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x606624828df5ca6d22ec73e80bf2b0c2706164292315f831f7f021d154f78803",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd1c78a6fc832e3eb20e12e66244d8c186da8541d5437fd60b35b0faf61f91b8f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xda3a8b398bc74077e622884507db530d07b08bb19f3a3780607e68d24c8f540f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x627e7863818c900d7d86eba02998229567d5ad86ca8cdeca6016093e4e86820b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd08f5cd17213a9002af70c3676b55b5c4c494d2a482d707376294e3e69bc6734",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x92bd655e63e9b9101867c0eb229106c20dc26123c002cee20c34fc5ec45aca0e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6660b0cbc160b52336ae3f696273519eb1c0d4fd81105f83fe1e7eb51fe3e0b8",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x0dc71f027a63aaa1f7775658528f128330bb1f1701356b15c845f710137da34b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5e27b09a5d329dc63695132bc3024ebff1ddbf7a4cebc5fea8737b2b6fbeef25",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeec0f259b65f46d607b9e1117e658c044641288435a3cf805f0793601b8a73cd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc0058f6ba665a49be8a157932ffa2e316df975e61db3a68f54be1b0f53b976a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x18fb2358e538656bfc72d63144bc6fc59615fe4fb78103dc5171e957c153d490",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc58551ca78d80e76320234095355dab6718f6e3612a7c47df1b550163bce506",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x711ca06780a401c181da1756329ea65ebb761dd6d43d874be265d8f22ebc5c2d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2f9c49f51464b0e243adf8b1f7d228c91a72c482c703e88ea43f08f426240b0b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x58fdc2d2ac4f2217d79fa4ddc775faa5efa5a8904e487c6e569ba86b107dea51",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a1f7edee46b2fe2c3abdc64bba9d464d301d76f47a2b244e39b8f2ae5396334",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc47f3c1d62178934c0818dcaf58a90b237710ccf1ea29b851daab2b683c018f7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x871d40bdc9065e486b0951ddfb12c55877d2c540f4e0549d5373dd9dd5f451ad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x969d4e33f4ee26b3ed346d16b7a2369a72ec1d894c659365ca32c5cb293c0130",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbaa436e81a3ace0afa67af2f73d3324dd97a1f10a3649a76cd4fec26fe55e5ca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb19dadd45d845b2f8759321d6ae7dd2e40e74f4a5048da794e7e3f9bc7d0eeeb",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xcd231352ca546a81f50f57df9f3577e58a603ccdcdf37fd416f66d8f11613c74",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x26226fe7e7cd3c5f9af3974d7552f2c2a36455f7ab369324335621bded1a3a5c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x163bc081a619f6f183851583e20c6a3968ddc3bba3bd5e9a89a16cc098e64eed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb40a371f1c28dc12c5463afc70cec8fb1144dcf083391f73584d9effca94ca84",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4d93ef2bdf1e116d2126f33fefa02af1182501a20a9cf47b4dfee7a399aa74bf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c5d12e191a1e9d6ff94afc902013d652b21b74a8232109d9bd39e2163d94126",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd334484eff22ce846bb0299b85fe9ff1a981932bde0bc68920544b6c0e4c4c3e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4120d8bda11ca82c82689dc39197978f593fd6173ea20452dabbb83806f3319d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41c5c9354d93accf1e8bd8d85df68f586a9258597e610d6a47844d58bbb5ce04",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x31bcb99b4cd2a682b93e68b9e4213b8d38b714bd08f9cdd9b35f763bc345dd3e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x23aa92a141636795b3a93437edc771f1175353c7a93fb6632a0e6104947fcd36",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe3977a0d53714ef7bf23d2795fb3be4f6b77ed3366a59170d69212425d36a9a8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c2aa153fa165a9745d3bbdd7367ee63afd41fc4c9912dd570d0e0af7e797a31",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf2a89195d4f86fb18c1ee1651a36cce2f9f8acafcbfb798972d068c52d5860dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98a2956cf14bf788e5ecd2ed4ef1e5efa042f7df44cb38192dd6db8415a84d74",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb73cc20c4e5bd9dae4318e02504339270a20625bb782ce1f7eb6e1a62af68743",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3e12aa2da79d8ae94b764e7700e87d7cec6d7c8babcf34ee2a35a97e46ab9f4b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd7112a3a4bcb6ff93f998135b245a8e6bf7aabf5da56230a4dcf24baa9c4fa8f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab190eea4600a0e41333b2bdf8957fe41c105164093430ce1d2f65942197bc66",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x531e4c67a169207fca900eebdc9d474bd0c6a4e560c68292df9ef073f4bd6ed9",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x7006024b4d55bbd0c6268b0c36294bcd02f85d04a7ee3e23552f9b4307629cce",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x88944aa5ba922783f12f5b01edaf1fe520c978648a692407797a5e62d9a3bf43",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x86fdfe6e72af5b3aa5960fb35baebdf8390905406e3f32e4497a5c43327ca0cf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x39d51549de2100e9b21bd993f225bef28dc285f9b3c167f83c0ae6156bae1ebf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xda35f53bb0c3ca1982771d7ec8b5ddf002b003a0b78daf1b3b7564a2ce3136d8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x136c6f6d09d112ab7ee2b745702db583359b2c8032ac18732943fc527cb40bbe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdc46d53cdf6d81cafa2cf74c8eb2c5c33f02a8d30088f70a2a3291225d454f3f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9d39ca5fcec024b0c2857e8fffc5dbc71be16418a9dd6fe48256ad3e328b30ce",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x523073a7d8c3ede04b06916d3bbba6c9282a10f6afd555046eb607a8fa4c7946",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1b7bb60da72a35f85d6d6153b16ab735d506f675e21aea73aa7c332b192fac83",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x6edc4ca1766c0c54b7892882879548e5f3223639537af7cbff9bc3fa27eb41b8",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xf33b0de523deeecd2bd5063d0454e22a372b8edacd9ce26770f87794286852bd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8401dc4ca9fe86441ced37ad9ff05b2c37f15e108290203f52b6691f8a15a23",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9160a5fc7e69bd7eb0b18c6e13942a2329c3c05e132e8b7ce7fe9a4da4921c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6999ecf2b7332582158b1e72c3419bcf3ed1c85366365c88f562bab808be313b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xac31d56a6b1c9abddccdeafefe9ff2684f5189456195fec11048e434e9d6347a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc147b101fbcebf7e054ea0d1465bd074eee086bc5ba18993d8c27d13896c53dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb8a82b68c2884af0b32ad2fa07a243ceeab709c072bb11a12fb2675a707a855",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8003933b541cfcf485692e7bf0c89ea6ff70021cd3f0101e5243a65f68b5679c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x27464ddb5ed98af5bf8fa5b4cb2c3e6286712a1016de94b85b1e206c0b713220",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc96443536a239054a9dad81e05149f64faaa5a6c7aaa4311c38ad645c14b236",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x53fb112d1ee10b16ea00baf3cdb77bd291ff0208ce04ef12555b906c7cb76ad5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeec49a4408ba83e8c26a2722e3cc0da159ed69be4377cadd2fd50b6f6088de03",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaf746b2f7fbec194c7ef8afda7912fb222f595d3482f5c40a3246e5ac9b5924c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8ef1df635c151bfe724b561d2cd89745e90ecc73f4b4e3ca27b5a7d9cfba5a11",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1d34b4f70087e224843354400e90ac6c1501c6389a7115bd50f0a7428d101f11",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7ba2aa3413f74e59e2f8146d1fcc9c9c4cc66aace09d2ee9464add929f2abf81",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8c8eeb80a3a6d4dd2f7bd77c02e605826608998965564d57f4d4cb440a49b3d2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x633f0b049cd07d6ae67cb834b90f3f5be703be8c001aaf8a141e50a477a14e99",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3c4c9356fcebaaf022e608f9f84f450ade83bd1b76b9aefa44c17c167e44266e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb777a25515feede87160cb066d6244350c4a060d28d8fed701fd5907c6f2ed3a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xabba1bfc64b16b2680a81a4c56d21f796cdd37076332bcb804ab5fb81dbf7aca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x23833883404074396a865da6eac3f72e03ea07b80a3c2956a9a4d5b6d413081a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x07b91ae22bb7eac903f0f228251292a2007c7e75b738ad424e74ce901766e3c9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8b01b3f9c73ed4ab7a20ec878ef409329b567b722eef13aa878708ff93e81984",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc9c3e285e396494ea36a111f492375caec5b8d993574deae732e0d94970ed595",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xac50cf3ef0cd2479142825c75286a6cedf5dcfd332614644e2f2c7780dd0a22a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x55f40e68d4d6edb5c82acf2970824b43b8c2a1cf6ddd3c28a7e4158ed408d82f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc426046c1708477867dbc1424bafbad0546fd0be5d832894ab4d96e4d9937eac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4ee64aa1124eba946f1268b81a9ae6866554d656f42690218173f51d6479ef4c",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x0b2a60b43d7510367a86b1da7039bb2be583f9208a6ad5d0229976b083cbcd51",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45cdb57fabd8d841eae69d8e2b0c542f2e0a67b2fa97bfd707683162c0888718",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x487528db1109fd6e43c52ab91892043b95a2734dd03df942d01d651a197c0b8e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8f0b3331eb39e00c7bf5ca0e9465bcba062fca71e6208180895416e41d8bb12d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x49bfc4216d73c0a148430fe99a5b046c75c133a72aabfa817c0557b295f36287",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x53f072a945ecc037b6f5e3c168b5eca30d3a890ecfe75e30167f4fd723a1219e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd31c6ced7ac89dde804c30da148a3a1dcaf7adeafc5721af68953b8a5db3368d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc2667d277aafb7cc77456040ae680678d82f04c6b07f2f1c5035fe0624c2de2b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x016a5bad458eaa9f8e522a01ce051fde38db968156256b461a886bfe231c5712",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b3c19349833b5b4dbdfd3ec0cf518eceef4c094dad2ff3871d5af8dc81c0d2d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfa7662ce6757464bfa98cece9521f896d873d6ba92c8a4f0da4ce5a3147712c6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7a7cd984b08fc26264c0541cc4cf7a4a6b9286f57cc50cb9d0e42e83a3f6c52f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x365b48ccd3a32ce84dd947b41f7db6474bdbd0f8a7879d2d423e6a5324612cb4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5e327ecf1f798394b9dd6faf6e75fe9f8cd22b0d0df4abe8e9171e770528cf30",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x347247f640bc4a1fbbdcac19e961279670d2532349852e36aadd8a3c6af686d5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x63b73ee5fa45c1fa437f49c78187fac3a299e479e6b9d9d403dfd31bbd1ba454",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7aea60badacc7d606f411a5885a867d99f85b24e1fdfa48082838fe2196d07ad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6320772f8fc6078f9db666d8588c0e27c208cb3b3278be26e837c474cfb72896",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3b6a18e59d500920fb7e49a8a289f0e1595102de2d973181b84e915b5446674e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25b0006e3e4ca83d0245b3a998aef8d6aeb5496cb1b8ea3391fc6f0e147b2651",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x28fce41b7cafc2b239480f3fccd72db295400c8ae745366e58a15406ebcc35c3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe7738fb3205dbb0eef7dd5b761bb49c754bb97067f38f991ca6254eb6aa40ad4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2a53eb50cd1f956bb1560eed341e4514cd90d5f5379339531d91eb5db7e502d2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x48591f96b23096835a36f80b71c6845a626dcdd686fbb771adf68ab886fc3558",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4f8c4ea7989a4b9839fa8722035c5aa3eb57642656042b8e2f21ba20666f3425",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b05808795d76017f83e765ae02839f4491913dc5d6b9d680b8b4d3f0f002af2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb96f57bc407604b5e6d59778f827879da7df0c97f02289c545ee6e05aa50b8c1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x891fa89c6026b748500aa5bafc26c44ae26d33cc809fdfa2127aa6ce7db84c4b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa7e0d38b320f0c182a09ee70850f9c281002205ea7cfc52cfc1af037bd3180d2",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x098ad8f4284981bf26386ab9e0c81d5d6656b3d3e877731e7ba792f542428855",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x62c57887416255fddf8d7b912de90fb160268637f8877a1750a4eeaf417cd8d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25026d55759709f8055291f62173f04f261ee565ab8936b04ab71155d236e77a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8bfcb978d7491a6e3f92ee9af7ccc19ceb91c4dd523e55835d3b46e3353a1dc0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9332c490ae32a9de17f95158f2c8ab8eb0db5f6fc952f5a0189b113511465860",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0ed4069c65eb6e68ec7d34daf1460c6b4bec218198c83438275bff2e58e535ed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x890f97445338ea2af7650eadf6e2f45d33e28a3577b326a2d40e4b6435c1c78d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x104e8f8cbc262bf50737097e485e2940a06a31e94e7d9bf29ee2a52420733996",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8c3528a4582ef4a7e10aec84af93c02454e2e0f7737ecc4e31509cd01abaecec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaef6dfacab8ec8f1f16e3b2cf5ae350dab9fa5d7482668dbfcfd25cefd881947",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb58f9a24cc3d687c8938ba78a1048938f34906587be8ef7b5595e6a3116b841e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa13e12f3d29ba76d5cedd490bd382a298d21921013daf9961543d0cd7ad9953c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd529afb691ca89be267568aeea0c37cdafc93e0b1d8cb4f3b29c0a50fb814dcb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x58106b555f434e24ea922e2507bc6b22bff45e06e8ce4addbc837dee41de7ffe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa51f19a09919152a4aab81846f095d7321254e23a36e7d0284c6bf8f38b07898",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x29349c2828f7def8b1accbdaf0af7ff5ca4201e813c469306696d1624c607ee2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x01a6a12f034f2bd6660e9f05bbdc5836df9e6172a192d087fa21e3377642d342",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1b926e34bb04123c0b607266ddb761262ceaf5b5f86ea427e64901c4cef50f5e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25ce751126f70e1b85b2e42d969098a8065bee707d475438546fa2c083d13d8b",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xf1ecedf4e2f57ead132c901154f528525bdd88b1fa401f6a276256c8d22b2a01",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x71ae81ecbf2f225af462fda78416192e220af1975af8a09193071ce92cf718c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa3778e258d33abf1a9edbebb1126f05c725651e56f9ac21c255a37bff6c2f67c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98699960f92901f0c214698ceabfac493bbfac66c4e6d45ceb2020b67699108d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x60d580fe20cc0e405f8d81f3c3d8b9da71c87d4e53bfc8d92988e2bccec16720",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x77dafa071ac2fc723f9e64907ed31568919bbb80dfdd1ae87d16126b044e82d4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xad11a1ce049c92aec73ec19fb1ca8441a5f4f48c2b5bd3985cdb794207bd1c50",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdc331ea0df1231b40518dad36e6fa9c2e14961949fc1a6f9b6becb11abeaed45",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6f53e1657654ddbe382b03debe8cc53894902f65d89bfb14887a27f43e9dc8a9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5390f78d2d5b1f858fddfc6f7ed4ab0d86f2f2efadb0918e728214be7d21afc0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd0e26268748ade0b3e6adc5be831e917a394830f25ce12789b400ce587a63da4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcfcc17e5ce37cebb080e41d8866ac9d7a1613b9c90b71e83afe4b89918cfc6b9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa66dec03ab7b053c65a958835d16191c0ca3c145a53cac727ed3c214b79a67c2",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe49356de9ed661644b378fa5cf930f10907b3085dd2b6036b3a178e32c9dc589",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x861de052986bc08539350c359f97161abcd808638412f463453d7e93bd0b5b19",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf44d69dd83d0e0023cb5ffd5348389d8dc48b6bc1ff123c6f0a1802bf33df8d7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf58fd13d9ebbea0a51106e072015f64230982cf6e5da49f53ad1834b893e00fe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe19dccf52d329bdc878448b0b846eb799955859064dffeb4589f1b880611989e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab399fc384c51f7d66ea54582cf765ab46257fe220da90b9706da891be797b5c",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xaa323b8c58b7838f363ea8b1d40312f684cd1c5325230f85baf64c18e929fdd6",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x2c3505677309f4e7350e4ac451302bd90938cb33fdc0284c934ad6ea1a47e93e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x179ae1db0a42a0124ecbe4e988459fe0096579492df50f9ea094a53088f33e79",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc34f7707818907e5bb425ff6876c90e524bbc05749fee465d22a7115dc3ab1b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbbb5b5fa5e81b2e33df19c3ac99c8143ce611ca65590f091003e7a579ff22954",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7625a1d3cf90acd7693e046cd25d2dd8e8ab4baeabb7ef193164d3b2eb60d537",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f3066d7298ef2e5180d44930455503c491b80c933b82a09ac658570fb872772",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2bfc102605e99f6e72958bdc9ba049ccd10dca8742c73f723177425d696f6ec6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd8c9aa9615ad98ca71c63db636a6be4539757398dfbfdfcfdf58b5f70b1a69b6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x81da728eccf5849a60892c8c20575a60fdf9f94217660786d58e7a952aee3c15",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeddf837f05a937a4499be2a8afa410cb075250119d45b31f3cc2573a7014e8bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2d3df3bd3f9d81dabac0fc86d6a4adb91d8bbc3ddf45ce3981c85c4dd230e1da",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x691f137631d867e4adcff589556c71a9cb425a648bfc273e19723a785c8c3e61",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeda73aa829ee99eac9eec44781faeaa54b5ee5a04491686fb5f1f01feda6ce9e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x17f29d081e243e4b6442b028280db58bbd54ebe06c19cadd0cc454e15af905c5",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x63e78ccc66f7b89dc24b32a13cdeab21a18005c3fd9b4f2df88a091673ab1fc3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c80f6b96bd5ade4c6b605d6c95f6f5895b304b110689ad4e8147f5186bfa63a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x625258a93986f6ae914106182fdddd6437ccfc620dec5809df391f63a5489d58",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x52b6fd9ec51b3cfc62be72c2df8943b653743b85b710f6ac77ac07fe760f5973",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x27de533ae10ba029f3d51fd3401c147f2f6106e3b3cc58c10618e9e0dd782837",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcf995b4b89dae240aa8d45c38dd0219525f7e5aef569d064c6ec774d28837ce7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25a57596c374e3459a40aff1eea225eafe4c45126c5bc39132e1e6398ff38103",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xee0bed8eac572f37d9429f24abfbbb6c8f951871a29cc6d99be5202767bf7c92",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc20a31a8719f7854d5515b46deb628258bd09508c79a41208ed9730a4ff5e480",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20c7b6f1a816e22007be0878e1b75bc7070e0f20ce69d136456d013326861300",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3a3a561f14dc259ab7fddfc16bb00af08684c2d1af4026fdf5272d733b2ec222",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc3b1fe724fc9bf5711f3b72048b7cb98fd5f05c47c7d9f7a7832c55a4efafbea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2f6f4a051a98c08eeb303e1b64da7e0f606b4504c3631488527c438fb6944c12",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x55b2343950edd693b2c0ba58d1a2eec43fedf01384ce53fda2857c2a98f5d8d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2d4bd6e6e664428e30867c856b0622d7cec5b53f345b734479fe04cefeafe0d0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf7a27ba604d64f96f71a47ff24f469d8487197e9ec256c05aedb566b95918e32",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6255bfbe0a1c50eac8d4461d664b85abe8f755020e13b86758aff24fcda70c8f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc1636625337d25c4c3a30d1ec7ffbc6e86a17c1b2d15f2385dd672d10a355bd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x541f282dc67156d0fd9ca32b755532018d71310e3f66d387b818a149af869fc5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x391409662b459e904378af8314f61306aae0ee9283a042e87c5e38f0baaff7c2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xed7a4432e594673991a8e448708fa03d286fe3a64b3e5f286715fbcac7094fcc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95906c256dd07ae7a177ac17727b33d62374b54ef750dad431405ff92c4bcc8c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xac125c643c65dad715486a64aca188acaaf607ea93adf725414f7c570d69cfe6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1a0923c66ccc10a6aa842e3a26e82ef354301198bb83a3f6d9838c023b988eed",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe8ef84d936ee37e6e66ef03b60c08718717e13c751e1f0626ff39b82108a09df",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbf9dacc80b6832f73384f76875d9b468e18281f8d14afb729967cb303fd149bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x76133236737f46be80f0abdc2566c38f16e0e612c426d021ed2adce6488c3dd1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcc5f25fc3844415c979a0aec70a4fc5f4469123fe2fae6293ddeab407cefa3da",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xde5a134c901c6cc92eecdba8cf06b580a60bdf6d06e88f6618ed9532d68615c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x28ca2406e49ea02769237bb53f4b817c0b24b6a56590d3fcbba4f30fd0e5fd9a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x84ca6bd89e2570140cdb95a5b76332a35b58a67cb2b717c0d5b0f76e11da55e5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc7e724a4d1cd2c441adfb286afe2ac8f9f8621a47953ff47a311964533db813b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38b80de86c1e442272fc5e3e6640a979343384e6e94c43d30eeba539708f7bda",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9ca9ae00a6f5355cfabea286fcd860f319282e631311b5c08bcd523a88957d86",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xec3f93d40d98f8f5cf995ab8e72c2a5decc304bc94d7e67250b9e5f7869bf31f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5d13a032abbe986d82ff04d8908266f09906869d15f8096f995da9e200c7c561",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xee0a0fcfbe57de77c190f817eb1998346fee137124112153cdfc750d49dcf090",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x4d11",
    "delay": [
      68879,
      1243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      145310,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60977,
      32750
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      22680
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53441,
      39044
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0xfe",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2310,
      41276
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8083,
      28258
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67646,
      5820
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84085,
      360
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19568,
      28899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44409,
      23861
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79423,
      18450
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_approve",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Uint": [
              "0x468c6eee05e5765cb32f64a4849796b848a815adb0b3c4954c6e819f9a6de8c8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79161,
      20650
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3242,
      1675
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x128770f65ac69c0856987da160710d6012dc2eb60fa777cbbb05242dbfcde365",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      505750,
      12523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0xb539781ba928d4b85982b4f900dc28bf06577162e41f947fc3773fda989a60d3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6125,
      9602
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21220,
      169
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x9a2af17631e6373e012497237912bc2a2738685977c8a46024529602ebb7f0b",
              256
            ]
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      195477,
      59241
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1288,
      55999
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86761,
      41042
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0x000000000000000000000000000000020efffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      388381,
      7880
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76501,
      7021
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44319,
      39270
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x4effcb4dbac9032b742e3778af105fbdad950dcbfce95113193f6f90ca01f4b0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      12254
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x614f1224491049197adbc51361c3d08551580cef0e39d77d14cddc43ae772035",
              256
            ]
          },
          {
            "Uint": [
              "0x77e62da40af003418512e3405bd6a53ae06caeadea74f246aecad091c960db5d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31407,
      59336
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      496846,
      17237
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x3d3b8417ab19be1c07df7b334f24f376eea41c0ca7b89245f6ee677984cb513",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1beb54b141394eb33409cc6a9086bc888cdfb22384bdb705e52fe4eb2151e0d1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6c1768405990b810e38af6b4379558e29bd7f2a7f06bce3392ba469d997f8f94",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x2e46a6a977c09835a6f5d3a3425a6f7d7127b705c0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2a91271166a25221c4cbfe0252b83e465d653c3c5b29a018fd1f998f05bcbbff",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2411654ad41971d04126eb796552ae32e5e12cdfed4b26e9daa7393ea57ebb1c",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1239
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      120305,
      58243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x138111b908839b6c4e4e48ce31627e411d4a3cd04cc7b1bfebf8e3b29439cd4a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74967,
      14129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      12346
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x1e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4792,
      9820
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64108,
      9863
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x16",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9659,
      40797
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17589,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9316,
      18915
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60472,
      5654
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      387,
      2720
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      579403,
      25994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81682,
      1112
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5412,
      35173
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3842,
      1924
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x4c",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      390901,
      10705
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0xc7f5853d4c99c1461ae705432b344bcc02bc5ac36a03aff97c9218dd935b67ae",
              256
            ]
          },
          {
            "Address": "0x4939532cc892f7c0e6dc5df532e9666f47221b6d"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      163,
      23943
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58772,
      33015
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0xc9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      601704,
      4806
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18302,
      56774
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5030,
      36345
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0xd77d44e858947b436efb197b23d61a8ecb139c75cfac26eb69f62aa74e03a5cc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9086,
      5598
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15375,
      20102
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0xaa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1288
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x8335baedf31191cca9ac2631ffc0baacf3e690617b79b57b1a7207e095d31bf9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59253,
      15222
    ]
  }
]