[
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86024,
      59814
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x1f59543492d800ddbe12fbdd312dcef618e260576102b3e8fec6d63108ce7e10",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56558,
      1837
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xfa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41765,
      7716
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6453,
      9210
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7438,
      58814
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24749,
      29466
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37445,
      34412
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xf6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58952,
      4508
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0xa0cb885d07d426a7a386870a03bc70d1b0697598"
          },
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27706,
      989
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      446515,
      19124
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x87b2ba9e510dae01c34303f3d2b49cfcca592494e753fc263c0b5216d828b85e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75489,
      962
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45948,
      58602
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Uint": [
              "0xba",
              256
            ]
          },
          {
            "Uint": [
              "0x24d",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26535,
      24803
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2938,
      37730
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33736,
      8042
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x39d",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31315,
      45483
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x9a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74663,
      31621
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65404,
      16485
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73212,
      2691
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x6009731d7d162448b50694568c7ee9eb9b0a516ecfb050ed81e932f00aed6f90",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      885,
      2901
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x25",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34214,
      38095
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xac6e8b9bba6c73bc868da38368a04ecd58f488e7606ec9413eb59adbbeb1f869",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62,
      48510
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4662,
      3108
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x9503e6a5e6bdf27fa3e541203a8e8ebb30892e7020681c81f49c5c53e94d8e91",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72139,
      8907
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xe73e761b1ca9d8124c0edc1e125cdea957c8af359c4efec4c516d14acbd5cd33",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83660,
      22468
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Uint": [
              "0x659f3f0b3d1a5628c279daeef5abdf80312caea896a7dc150ad021612d06790c",
              256
            ]
          },
          {
            "Uint": [
              "0xf489e2b9dc947f6ea9382a83ae3a5688fa6783ea93da6aad6581901a512c527a",
              256
            ]
          },
          {
            "Uint": [
              "0xa0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29278,
      25836
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x91f7c8852c9eb7a271990dfa13251d91c05162c58743b7c51cc215a3fceee494",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4604,
      16026
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56273,
      26337
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3244,
      9386
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x68ceb2cb9eab110ee7a6cc457aea66a115946452f90da8d2dece8135f000268d",
              256
            ]
          },
          {
            "Uint": [
              "0xa728e8a77ce3abec3688d8a108f1a9a8023c00e4968bc459b194f90161e8f563",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19281,
      20665
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x766b1b2622b714a75e9ca3acbf1afafbd338fd17af8eff0416a75cce5ae3948c",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe5",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4a1dd53d8d74f18a9ac43a777677066009256f204957db859f401be8b11bbabe",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe5",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5b1f3abf472fded230f1e59baf6c09a7d7878a751f59edb8cd8c03180c1a4af3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x10",
                  256
                ]
              },
              {
                "Uint": [
                  "0xaf",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd40398b6cad528dfe6b41f9e69622c949e4aaa4718152b18816c77f2e6bbf982",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa0aeb8e1a1d4cc180db194d5e3111e5dbcddc8c7a85d59d1d783cb4aed2c6508",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd7c024373bb0182368e259f0c8a2e49ad79eb8fcce2dc92d27b20c60f83f9ee2",
                  256
                ]
              },
              {
                "Uint": [
                  "0xce553bf0d53c205f39f01fb05ad967bd711bd4becbafe08f426c11008fe84cf8",
                  256
                ]
              },
              {
                "Uint": [
                  "0x60a002402ee5a36edf2f7d0343acbf783802c906f49336be6ebfb1db7f69bc42",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd8",
                  256
                ]
              },
              {
                "Uint": [
                  "0x51",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb8",
                  256
                ]
              },
              {
                "Uint": [
                  "0x74bb58b63cf0921e1c3b5fce7380b79d2c8a8e8369ed4a4e8323001b458662bf",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd1",
                  256
                ]
              },
              {
                "Uint": [
                  "0xdd",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb7a40d285f297e270b2ad1f0ba0325a97824d19e8a1e77dd046a3f24506ead1f",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa45d413033c0a242a99a23e231e842e017980f1de85c437d55badb3314fc73fe",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x98",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x46",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd8",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd3185f86fdc1ce817572589f2a20527de99d33e2a55b22d7a4b0b604c0c9ca72",
                  256
                ]
              },
              {
                "Uint": [
                  "0x78",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe3728753502aa6feca54f8cb3d0ab48aee6c1cc14db4fdbcc7a0d5987f6594cd",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1f2",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xf887be953a96a04b8f6168a2b0822c6fe168af316dcb051c8b85b2cb2badccb1",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd7fdac901647e2f1855284fb30c53f12c467d24f441ee037fc34b65965725a51",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                  256
                ]
              },
              {
                "Uint": [
                  "0x9f65fa5ecd24f4c91f81d2c04847ecbb270be130d16b7ea7a2ed478417f50031",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4a",
                  256
                ]
              },
              {
                "Uint": [
                  "0xbee33b908f4f7d27a31684a0eff6b4b55443b129e49601d7ded2331fd38ff91",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb7",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb6",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1069ddf2c81a061d24e65eadd0da2733adcd30783e90e82ce5df21a609787b40",
                  256
                ]
              },
              {
                "Uint": [
                  "0x326734d32226a14d4aba383963f60a99037119c631178e2d95ecfc1b1cda1db6",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc8",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x9d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x43",
                  256
                ]
              },
              {
                "Uint": [
                  "0x10",
                  256
                ]
              },
              {
                "Uint": [
                  "0x893f349d958e15b928343f25ffa6d519614a2fdb6010e6b0e8399167e9387cd",
                  256
                ]
              },
              {
                "Uint": [
                  "0x892561c4c1d8d1d2ba5601e5c6ab858193d073a4df5d47ba58e26d538168fd36",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa8",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd57c812ea6f2f393b777c051d0a53479141f6c4dd69b7d0d3734f38cb031e4c5",
                  256
                ]
              },
              {
                "Uint": [
                  "0x38e",
                  256
                ]
              },
              {
                "Uint": [
                  "0xbfdc78b00639220bb8d94838b2b9432e9a3abfc7c56c85116c8847165948bafe",
                  256
                ]
              },
              {
                "Uint": [
                  "0xda",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2b",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x974b",
    "delay": [
      2921,
      23586
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0xfffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23881,
      14262
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Uint": [
              "0x39",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      389,
      607
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0xa5",
              256
            ]
          },
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          },
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65021,
      55224
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0xee25e0830aa8b5f03efaf66cc5c91c19db1789e7466ca9b20f975dbc10ac29a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8951,
      5363
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x2ac6361e3f3a405d3a9522f2c06512864f428f8aa1a66653898e6bab01335967",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      349634,
      4442
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86437,
      7692
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1551,
      24641
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Uint": [
              "0xfd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4434,
      49483
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7158,
      8685
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0xea",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16764,
      37855
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      384733,
      6096
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0xf9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65057,
      55117
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x27",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62292,
      26380
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x7a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      138967,
      15160
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xf5c324f6cb81b32da133c6121064c84ce4a389368a35a7b2df6fc99ba52f252f",
              256
            ]
          },
          {
            "Uint": [
              "0xc217b05b3dd6a8bf48db3455262a2600e9484c93a134407c990311b8c6579cb7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5119,
      583
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
              },
              {
                "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
              },
              {
                "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
              },
              {
                "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
              },
              {
                "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
              },
              {
                "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
              },
              {
                "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
              },
              {
                "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
              },
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xfc",
                  8
                ]
              },
              {
                "Uint": [
                  "0x18",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc8",
                  8
                ]
              },
              {
                "Uint": [
                  "0xad",
                  8
                ]
              },
              {
                "Uint": [
                  "0x4b",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118127,
      17885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3809,
      50012
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0xb8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36085,
      60216
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x95",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000007"
          },
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79320,
      5242
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x2e9daeff06f425d16c92374ff0b94ef1ff2069ec632c6c530bd7fea5c7471727",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16462,
      25920
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0xb6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      92636,
      18330
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x9888afb2de23b9b772f95747f16e74680b17d5037bcfa1c18beab446edb9cf63",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119362,
      3755
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x4cc73c8596e6ebe59078d174f6632dd4206c036ebca159df2e6407146d18b7a5",
              256
            ]
          },
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4053,
      21177
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          },
          {
            "Uint": [
              "0xd2c0b16425c586a52446e826db83cabe5c54f802cdd3bacc34dc583a8f795db1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81594,
      3736
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x2f7662a193f972c6ae311502b722e83d992652b6edf481b4a3de5e6f01dd1212",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6800,
      13860
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          },
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Uint": [
              "0xab",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11246,
      23667
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119869,
      25225
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0x68",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      194,
      7020
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Uint": [
              "0xa825a1f5286dfa11e7c850beade63d393a7622ac404d7c4e7f1fce3452dac1ac",
              256
            ]
          },
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Uint": [
              "0x2944d7cbdada72ee30fbafb2c00f960c87b7",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73317,
      8551
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1960,
      55383
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67159,
      41731
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20850,
      22321
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x0000000000000000000000000000000000000000000000000000000000000000",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36388,
      30633
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Uint": [
              "0xf2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      573176,
      6670
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xb3dbd21ee54a930de0f279fe0e7ebe47ace6591fb279ce93c891a9d1e28af97e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5860,
      52561
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  }
                ]
              },
              {
                "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,
                      106,
                      252,
                      116,
                      58,
                      164,
                      233,
                      217,
                      141,
                      15,
                      83,
                      255,
                      17,
                      25,
                      150,
                      233,
                      129,
                      125,
                      121,
                      211,
                      1,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      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": [
                      "0x41",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x44ee98e54feb905fb7fded93a03987d1d9237fc880d40f5062f54729802f72b8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x23",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x33",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4a",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x71a75c96b647e33ecf035f1bbffb33a2aa9349e894e0a5326b6c46745da4263b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x542afcfe57c2b6e72279120d92690d80c1f450c9f6e8a3113e058650ac814d8f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb61cdf516b35b49ab037e43ab78d4c93b82e901e7970d022d7f7d07d12f62b0e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4815652f9b141df0fe93529780cffa28a25695845bc2d7c9a64a340e9d9c8cd0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcf0e0534c69da4ed66586cf9b0cb64abff3e0458f11e3df5deb46d627c8b3cde",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaa31e33318fd19d37ce4a54dad6472f49a0ce877c50c8d877dec1d0c06839eb2",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x22bf6b2746b5574b57f6818dc12c5a1321114b5246357d40f0e36b91c4e0efcc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1359227a711c9060970d629a89a5e2cd9585ba305bdbc881c01167d58aec9645",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xce36aa59ae284a841b28c4505554e981813261595381edc40d4530e13514ccdd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7bacd047e795bf75f6d9bbb0f1a6de5e73ec8aaede155317334fd8cf5f993d68",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0afd47409ce6149604c489e8ebeb04f139387abbf306a9881f85ba62377a20dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb3551a69fc84337e5c0558ffcc9b3668c2d676abff4e0fdf5a5be6da1c2d66a4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6173d234ae945fd13c3855c9e32a00ad4e4fb54ab994196d1da572225c10ae47",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3c8e5f8a8f6934b9dddf58e459f36ee0a0b5bf469797e4cda3f030fced9b168c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf6ad623db9f0f637ae9b2bfc0c75dc97499f332e669d9d0874cb4e768b2f194e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf1c04c63b4c6c927da925a0613a100bc169548661d04452cf3738eaa74770aed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c08cd84e1f5644d5b00969bbf1ed3d29dec0a622a01a14c1c6b11677cca5e4b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa103af3353dc7ecd2ccc94c304d00ca81cea4b325563911f203aa0321333fea0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf8cb0ecd11c9e047c3c430bfaa4fa06f4783370cfc8249deffbf94af2a4c0f80",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x326d381af434ecf0788106c478254a0c10f21639e94e018505faaad5b140fa9f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x877a9b1b1fa00c866b04add04bb30a454f8ccb0897b2ae734d1c7f6c11ba9463",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa451a63943db229d5a71d6808d22c0fc68a28ca3938a43bb4afc22950a2ea40e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3964ff45abbfba75999a4cf0d8d975114b28d028207c4b1c9a205e5605536d02",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd43e192515c6b5a82f947c25c04fd9ecbbd4705b62dbe91335467b1a1c759551",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95bc240f9ae2226d23f5f4bb4707622616c3e12bb0ca51f7eb2b26f72e9bfd5c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x553c32922d2688bbe5defc2d6c9495d7135f63a145d17a85150fc7c65e41b18a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f90f14562246017337b85f3c33e3fc7015b43cb45a4557bc04248f5fca0f854",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9cf881cbcd0dfdb119f6f33c369cb082979c5bacbeaeb07c0d214f23c848a11b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa3965f4a5dc3936b9618ba6169ea63b506e4144d89cef2c19d2ac8cef0cac2c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6e9dc5cff66080ccf51eebca5cfd40b059f243bb23766e54a9a47ad15723fa48",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeee1a069c5eda0cdcfe4ec95dec0c822455781e9fa6eebd34e82512371748682",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x14564f62bdcde03ce566561ee76a95fadb5d591c33b4b4eeb16727a6e60e0390",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8cd00e513e7e429b66b8a5403c1d3076ac2ca8993116c95f623ce14ca103883c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x10b79af65aa4e60402192ee0bec18386d31a51cabdb7f1a5ea14b87c12faf657",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45a12272776391c8ebcbda094cbc433e6c6302ba0131d83ce0b784bd26b7b8ce",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0f95d3544307db70b600e10a9bd83237f857f82f887de86dd0c1f4e33ee39e7b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcb7f26880f1ed74d0bcd79c743b3de489cdfadf0ab3d8195cc005a741631370f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5176ff6f35c85727ff31c9752a9d27595864d2af8e8c70928e1eb2ce0d51e5d8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5623ace3ad86ff06649ae2c349cf46243fc8177107e07a29f9b72ad34013194b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c9d046c1a4474f3108393d6cf00b933072de1395923b92661fc639dedb90180",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c676d63293a0ff94173d92e8dfaa5183254fd239d775fc4a26a754e8075ac54",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc48a04141bd7320f4ef9ea108ccaccb5b8e08b6ee5f4d097c455084d99519497",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb7d88679bd62b262d64c99fa690447ef846febbcfbd6628d90d6d89cebe19738",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0af17019e1f55763f4a2cdab630f007ca9cb19672c2506c40f46624814abcb2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1cb54697629f7c5c25125888940b40e1a953a72f14daabc3a919da3589283638",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdc7d339cd238bcda7f3562ceec84b9577768bdf2d22b351f741a127cc513afa1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd830ae9e74546a5ea053b82e9e22c0c01061ea690fd4a7f09ca3e6874048c02f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x548551382c8077579cba9042e4ba13d3437823a5eca2688a84bb594a2a6bc8fe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa68ea952d0cb0d4d52325c513c956b55edd53ff52c21a3797b6473daff848ca8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeba31896b60e686a79582085e365339c7aec91abec35120fc60b57011cdb3efd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8fac9825d36f40f2f451d643a4f0ea0f66753ec524dda11d20d0a1aecc89081f",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x9b20f9ffbb64b520b28e5f1e38c003b2143fdf68964a065def16ff2cb2f36416",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6cf53e96e38d95be4ecee6cec16bd3149f3d37abd28b2ebfa5acf97ea9166323",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x32389a39bb6e0a8f68564ff5e978e07a927a208709a48c30cbe6ea3a3dee7d8f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0b86cca8cf99713f57d7bda0b6f3b881873dd002340eb1a49919b2c81ccb7e94",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcf7edc41da6d3275e5e9ef41c323cb97c28582b05a911eb069b298a100ec2b7b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x66494f098a147226111b7268b56f352238dbe4533dc2c63bb9e0a11cfcda4f8a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x48e70c880f9acdc39dbbae563e718d3f02ed9263e38d6b751685e547506db925",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x698785cded2ab02c0309e16be402f4bcbef289e9e584c5825358a8308d9d7e1c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x88e6cf606c2ca84374dfc80e092529e9f4ebbfe94c5ceccfd639e7e722a05623",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x942d425e1c1eaaea6b015f5b70e3a4e92b8e9a052e75f6c22d59434f020506ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x55515de503e60ea92859621072fd1c7a66e855f4b31c37177a7a96a7210d26f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x241e89f4cc88e1ef1a7b0b9213f2cffb8681568b18c40a1ea57bec74169d465d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5910715ea75868a70334f44d1ef3b7e931c526f0f9d2354174a94172ca6786a2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf5e338f3b30c329ff0ce0257c0e9201c71eba7fe19278f3017e5f7f5dd5cc3ce",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab5c2a87fbf7563c0d6692c11d870b1b1db6d69f4ae0602aa7c58b0c29c9090b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2845f4a6d6477ed2010e2236146313adb9a68fccd7704d01b8da1be073419da3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2eca51fe7e1de49f61e095245d38ab692ea6b76548fedfa098b8114a3d76ec3c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00844eff978737feb1dcfb76f80221c25b3427ac2b22f5a4032f9d5fbd154b1b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb1be45b69543e9f23c8e6338b481db49de9cd3b5c466183c71d2615eb87757dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdfdab64d747db6b1ab937bd70b6f9d62ea6a42bbdb1cbcc1d0b0b126d36c76c1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98ff96fdbbf84372aa0ce7c084f38d76b003a1b91170339d42edeea8e0141dec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1155fb1adb4f55bbf9ac11aa2dff5846f529d848026fd5707c4c52a86499899b",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb25b6e694553c70aa8bd2bb57084a8912e13cd594ac4aac2074c6c26a35982ad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd3b0da10c8ff124f428ed8cdbde03680faac374fc214ed38445af1d8875dbfb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x01e6876a058fd7adefc412990b24da1b426a1b4cf8140e4600134329857356cf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x23f86a5bc9b0c882eca3c75799b6b4e03968859db7e8fe7cd8b3743f8f2daff5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x66b126f4de85cedd50a5e62f0fec9762bd64bc90fb7c4327cc8a7605089c3bed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30bd9aa2b0dcc1f7ccde148d8c8e490cadf04e2a570cdd47b28ad056a35ab139",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6639460771c9805770a053a8f297a8ed866cd93b0d7e9eb3a0d0eb5454f00a6c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x435fa486de5932c0adb3844df822242d08b7295173db5841d91c665e9059c8c1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc006c58375470c1e520397eea071079bdcea571894965fe39ad48c93b0c8830e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3db95169108dc7f37524c262faec4c9185d918b45e6328caf7e6c2afb051644a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1ec13b212700e1fcfed14b7454b1ae70aca08a1c9b88164a47112c8ff053f92b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd101f958baa731b1d02ba5861742497d7236fd950e63a1f847fd94705e4e2db0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa6c076aa480a57b6dcadbc141865111a2fe953845bf360f226498750e5b34a6e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfd481ccc30acd17baa9965be6c6ceea39a73209657b1d4310870f2b71ffdd6c1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x34e2752c17893f6f4052c135288cd6b4211b01d5d28b5ebbcb727538f3489764",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x11a8bdb6bdb0be4adced719c7cd48a4c0fc182f63f123aa731a6154e3887be1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1950eb3a086883edd201d5f8822670848b28df218751feef8f125bf4ee195f21",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcf6e3fc334ab46029628a50856f0bbc2617d08af48dd70afba6a18d613435595",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x019b1bf64b49da611405b931cd3e5f86f9c3a043be397cdf9e34366b8eec632f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd766d684147277a4f6ced6f769674d72786ca686a0387dca17354d65b2daaaf4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83325ca09b4ad632c9cf5e93f62cacdbf61f83d79d5635318d21f3d6020c6d2b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2460bdd939a619f6bb5da15e1610c55b22015f21229c73689ceaa5033c8c8cdb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x59af777ef57f9a85843f8287352c30cc11fe94bca06e2c21b5eda72074ec1f67",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xffe36663818aa75c09626f9fe3f2837efb0457d38218a0137c828f87b33f76cd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2d14e230bbb5f6c1b18e5aae875232e6912da0818a29c0de12c7624379a12009",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcc378fe88ad8a3023015436bd589de48125ec4b320e79e7250712f153235c8db",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98b2fc4c1109aaa97b589466c14d67eff12f81aa334f09bf30f41a97da777291",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc3354252e1a0c6f966cffde97d1d4a5567b81ef79eab071a39a098c35880d8ab",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x93fd12ce22b34f218da03b14ffc7c0aaa41f794399cce9eaed59f0e77bb4d331",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xef71815dfd13910c6eca72d3672bb5c12657fb79e60d2892a8bc634d8475a512",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcfe528a3a9b2007fec63bffc1c421d65a9af0accb98423a0891ce6d1139e2f9c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0488a34e2f7c93742c5e6f60320b317094df626f3b71b11ffdd2f678d25f5732",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb88a714f65ccbfce8cd0ec975de02ac482e390791da14a54e8c52350ebaebad4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc2306ffbbcdc55974a7137c907ab7a9c3727bac8170d4d5b053b383c73e96d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0842de4fe8ec2ce01e83bf63eded58148ef7cd78fb6b6074e4181ddca665b346",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4c1e3c284c51846c24cb73d76c21da111e8cac480985db2d1d9404278b1a946f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9c707636da5d81dcf4f37f6fb1d3dc7ce706b3cf0212b2e87035272de260fdd6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x63e79c607493c87301b010ffcdd208e7d1afea44d7975c5e74ce0ae625c799d2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x67cf477435dbca9044c91e797fdcab363e564caeb7d2732d712234f5d9a69307",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaabd301dcec1bb0e8a1a4515564098581c909263e4341121739dde251c208584",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3184bfc8096c97ebaeb63534ce72491e5bbb4def46f2f10cbaab193bb60d60a1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x40753c4d11af7fa2304d5d18cc95e50c7f36fbf58bec8ffb46ba14108493abae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1b3de4cb2e5062d1c68626e8a66734c680b12cc8646a67c5be9ad25be6d455d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1bbac50d4a489ca32e153d90a05d094a80fdcefd0668b7d9a318a4c9664a65d0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0936287e765dfd6aa1f15b6552da24d9191e9d55e6566c9dffa50a95299b6773",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe5bb99a08a2ea1c275c01d184801d9df7f5015b6d89e40666ad2ab19813824f3",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x45a0eb6ed07b55df2f4823451434c9dc41ddff50fba6513979305fa6a3931aaa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x365fb6808a0828c8fcc0913592be6208d0c4993bc3efbf4ad6d70bd6d3a78d69",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x46e5bf4d80779d47450fdd1db254476e367fbc8ad85771a38bb7ccb4f784525d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xebca8a209f2bc4850713deb134a1c907c9febf9b44bfefcde7390367be8d8326",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x233da66bf9f299778b43001ff15f3a78f4b4120106cbd76515ed3b52f8f80061",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x91c32cef33c1e8e12150b3a2333d20e1954d8990f119f9ad1a679371ce94a0bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x84424c6649d21f152632ded7509b428d013b46ad16aff43df5a0b3a6e092c0ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa5125affb352c37c8680664e0d79e0cbde23233d1130f448df099da1250b0783",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0db561e13dae8cdea4d15e9c5082a2f73cf63beebf6312de4827edbedfae8b5b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf6a8126e1102f617001a8efac85d5e28960c1bccd44494691dfe1d12ffd65951",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x71c0955424f48e5a77639258450170d9025115e6fb8b1dc2ac6cc2a66d157945",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd27aa17911e3edb27a1725dbdb38d2bd05998133bf554e1f7b21182701668984",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d0ea185439ccab5aaa5d7627d68f43df1979741746857544d07073874304cc9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8fb86372d7b289d6bad9c23bdc024d82f29b727e7058d5e6cdf1393674a36e04",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x86ee664ca7e7b9233fb3d87dd6ea724ec33ae28d8fdf77052f0974e2a0be7a2c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe27dc3fc25b0a773690996acb32ce4526a9060fb0693349ebebc6b30f3ff77e2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa506c2e3b76e2ba2b6eb592680206dd9e218a4357068805fdc8ae231b331fbd2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaf4a0236fd0b2bd10be554557bcb708a80d027ef456127ac28841a2e5b08f146",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x80f996e75db4c63ce08a4e5c0c7e7c27f1b577d5280716a87e916e47dc0b3c8d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa50872db6d5c658eefdddcb24bab9b68ad6be18d451a3b88b1dd6dc8f5350a85",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x008ea6dfbe6f6b38946b531922d1ee6b415e1ff6ed7082ce9065693eac56dcb3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8cf524ecc0e79d8ee2cfc6f4ff522ea1654955200c6a7c1998c239db3dc9c20d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xa1aa256f3a19489274cc19ced31d450444ca3ec9976e5869b3ac04ddc20a3e82",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6fee4c162b246496a87c5161ae3b948366368e3a582e31a3aebe9bd9856aec76",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf5a22f655b5893cb6ce7688dd323e5d8ffd3165a556e7d9bff4ff783478d53f8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x388df6dc43478149d6b574ab092d490df43a9281b4bc8254d1654fb69c60f660",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfe8f2a9b6cf31c9ff65d10315f8ccfd3c2a1132108f0c1900d7b76d4e5e90810",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x03537afc789982c2a5fd5f278afd0d654982ea04fb4a30191d1b9157a2686457",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb828f405fbb100d3445a91845e4eb14ba5db81dc940e8cf497924c813f95ada7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6e0acfb2fec72250f8e3963a1ce928d734326d21907b7e6c55133a531245ab56",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2dae1fcc4cb9c2053b5d921d616c39eed699ef9fb072c797b8c50665d31d96eb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x763bded0ee8b08f5645be943ac35f7e56de4172d13869fafc13edde47d05fd3a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83333d9e586b434580c89c8179536d819051e5ba7757c8eb2307b29486390796",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9184055912f38c76bc7f90a8571f413c23db49cefba5ead7373be86aa83c618d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0762577853995f9e046d5d910392b38a00353dec739cfcaccb23a4ae62a09ed6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb114be2a82fe830452d3683770ad58e4e5bfaad03491f4dac21df0a5c7f0eda2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f7d9f7ff0ed8d16239deaab6001fe595dc7ba46c6e0ba721e7a6b592e3fb7e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0ca709ac04dc0b38ee5e4312962ea2af63af05c91a1c1bddc3e02aba1019672d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x62d4689f85ed241a71d745074b646f959301ad752c4c304303f5e611e226185a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x787c2dfd4b0e8582080f6e2905b82f0c69fcd4c035cd8118056692ee2fd0bcb6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6cd3ab1e5016b9c26183f6a3059a970fb3aeddb216821bc042fe52051d079e3e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x164f6e4b30337c6c931616600e41dc86c61d4a773e4f2d1f6b822ce57c433040",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0dd38af98cf55c6fa3cc7bf6af10b1a6fd1c0da0909aecf100fed25a5bebffdd",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x61c55059b163c32a99c2ee56ea332ecab17cfb7d8093444702acf26cd32e6f99",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfd76b5334f08b329ff3e5dce35868ca47a38b34c66a64aa6c1f98f2fc3ac0aa6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcbaede31a6829ac13d05d141f2871ec03ec15ee9fcdce4d7508cb620d5ad4c35",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfe38ce397475f396a0c3629cc80a0d458b1a27d99c6b50e4bf9336fe2924c8f6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd38e63676dd7d303043da0c408922fec74cc084cac549524a468f010649c6db2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6b0290a68c12276eb5a53c5fbd52aec9d12c8650648f292ceb1ec6533a891570",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa3f09b50321b7a915aa167fd679764fc652ace67b0d5a6507592636ac2afa7ac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd2c38a27b7d878ef22959678c3ead61f7c34e471b455aa263ce358f2202cad6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe0c44bb7cf4839ef1ce552571c8089e0b1df74878a04d5d349acdc0f17bf3d52",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x73818dba514997676c9429f1fa699dd80a1578ff61603f484deeae1fae3ce7f8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfcf0eaa2f89f30b9f3dea288f0b5a149ce34d8647879a68b83df58723e91d307",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x90559ebce5ba89c6dc173b21a62644709e22c08de73193d14c9bbfc562d38c40",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6e372b5f035796ca8bef0c292b7c4ca80820ddc6e018952ef0e877e5854f1cae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3b511aaf25ddb34aed2802b8bd7c6b765669848f930a0e5f4fa920a889608457",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x908c1fd8bbe527126022206728f684cd6b98830f6d2a6d278356df0be4995d08",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4cd751e2b0355051efab4bb590cd9005375aca0f5625ad9549145e073ab91d55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8168877cc0e3a45001f1b07428cc8680400b25798be6edf810487922208fc365",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcdec13851704d7bfd692842a088ceebfef702cbaceff0ef1a0f0693d1c9496e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x395aecefee47096a7e8254799829f83ca47c877226209f8df4e6b1eda8d47906",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x2a306631c9a2d338cd164d8320cc925e7fe3dabfca5598fb143e50d79e1ebf9f",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x381d78caaa19dee645352a18baa8b7fbc840ce051d4398975f9ce17f4f81c3d4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x927ac10bc66d9f2f1bbb8983a184afb1d2a96b7ccc842a02ec3664a9dab15994",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8bc9c6c14a9fa6303ada6c19b1b96aa93f67ef264c6f3b604b69f08a0f72b890",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe94c1b1b1340117e3af3b611c7dd0e7a7cff00ba2e44b6cd522ec712b2b66ff4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa6054b93a5b9bea04578b00f82c95737f36701fe369e36e733e05d98a6a884c1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcd080d2be56458d41bd48688d7c763b2ddd2635e2211cf9403dee64757b35300",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb459a4e41e8da1af12ae038e6cb4e5b6eb66c921e8ccb0ed22fac592f3bfdce0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd409f4df2deb17f1db41ed1e10b380214a0b9b8bc1250b6e35db86fdb02108af",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3f6c25282ef6bf9dc648f51652dc911ff569f3083cfe30d7477b7d1a81beee2e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6f6e0bb0c8284b1430205da1efb0e43a24d6be523061edfee2fc36bbc3216ea8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x509a3784801e4ca5267deee31d2b3f48e355a1a2782a8b02df31daf5843a4f2d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1f8ed584f47683455941a188c76bf17a6cc55fb261c1e1a31dbe9bb03b5687e5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x549e91c76d667513f7c6a3363f02c626d87965e0d46ef68d7e957a37257aeb95",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd8ba5253438a18b68e94bc9409230050c1016de23200c16f8f1b6e482f26198",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf29aa99ede0b65af3d5ac98fc564e8e0203b79369e1112d7cc44caeb248b385c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6756c27319f039c5020e9a48a48c564297c21b62bf41468b5f65489ea308f987",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb48e943e208a71de6215a1faa8141951f9ac5b767672856c72ab19975752d5a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdf764c8736fbdc2c61add833d68db8fba42b53076eec9168b2df98252e70b7e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xac7a4b79e17bf0631301df02291eb6c506d9f6d3a5556010316140ee2283f59c",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x3f60c1eb7c80044260b3e7873ba227741caaa64c6b6a1ac18b8289d675a6d4f4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xce2c0660c65982c8aaa8f42ddf178936313892cbfed56edeb6421dd053d1c972",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb30e763ac4a48ece27037338496844a96032b8d1d8af1216079e64ed6cc53e2c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9f3e723ce9aacf63b8874128a24063049cff379bc0e9c60ec5db0b8d535a92c4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb5607346a300531f653ead98c5da6d598e10f8224e7acd78f4bb36a45ca9a281",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf26a3c8fda88f7d251a4c31ad230adf144736c7adc92132d0be2785706376afc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa7be1b5219d1a10d26020a84f1f9a46d3b27fd9ae7d00ecc5b116a9469cecf53",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xae9903093f43b09971e547fd65fbd1c0eb39ed92768722259cadaf7e5dc5d839",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x041ade15a6f5a36698c7ccf6fdf659cf2a671f6aa95c8327013e4bd18c605819",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8979281dfc9d850ef5f84f08be178fb07d99dff740d77d2c7f95fffc8b7cd66e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2bfd846e13c434ccd567ca30da562d2e89df54ba9f9a2a9c060252b5de9af33a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4ca961c9a89b337da8d18fe0c39132d0cf0f38776dff587e61f228390c285365",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdccf90ebea205a6610641c8743eddc4776372b9fae7e17eeb2282572cad45644",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc34d0ba61774124b9f08e44f100fab003eb0767f3d7c35882d47ccafe14688a0",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc61450367efbfc6868218315460d9236072fb7c122c591da8fb7185de329c4c6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf121c387a5dc89011027ee79e1826132cc36488c504409d29052ea1e1ad64ac5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa016922203798c2779567784108a021c6456e8c831392e87847b2035fa770415",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x44377fcafdf065695fdd4d7625202b23937783ed33faeda211782948a26b46e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7446b8a3cc95063b44dab09e0f2182a10afc9cf74fb8f6198c1e611c1b65a346",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc912962f506ba45b227d91e228c6717ba584b74ad839aa32b6f20361962a3360",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1cc972f1b8d4238305ab7519d93af784b2515c6288729a7771146d6d0750a04c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x636d7a2d4ede5f69f5e9873ec021110f171a280ea346172729cd9120345864b4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x87b6e4fd82b0115b94fc7a3cb03e2aaf90d76e87d9bb20388d39579b0cd938ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x91798295206f9861d8484234c65bf4a372de4baff85f4292a524bedebd1f8c2a",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xbb768a0970d1762d3bf4fea9dd12efbda225c8fa6dbedaf23fdfac00b2c0fe00",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb0551e50ccbd3b64dd018efca6d2fc9b1ffaf0a2fadeed600dd7dfec8f0f3dc0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x15faa8131ee13be649e1af8e24e1fc4dcdd94f7680edb5ae5926a789e9bde592",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35fe3340d9bff4efdcae0f220fe5739937223053bf5b3b3a7de5fb865007ea1a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf342fa3baaa1654c40394a5e6bb678debd7c4f31c7c939e0a707ba298889536e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x72f9a4ba8a3c499ff37202720772948fbf84dd5f3741b2f58d85a47f6a868436",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd244bb460ddad2dc4bccb2869bf84b7b96915cd506d57288580f7c7a7e56b2ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6b7c98a6966cd78088a08a02523e10e0f83f7b163a37c9ba4e87c1b781b99cac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xef87dd5876290373cecbfedacb202dc0a286e04cb5f0114abb4f49d52583ddf4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8e7582a3f4fd21d6b4a0fbbfe966accd4e1f9ed49b0cb2d371edc1d04bbd8d1c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1abf46df2698101dcb75cb1180abf6e92ffe312edf237b8bf4c6662f5e9aa346",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x598ec27793f6da35db53edbc18e94b923bb36c341261fe42c9c061b8916f50e2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x80efeb4902efa68bad133e61b43d4ac00630d26905c8b85bb42ebae056ac2673",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa5af0eb7f4e945c84d1e272575fd6c035aaaa2f6fa6e359290d3157f981cc869",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0b2f48988c8f51d1cb7e2177308ed732a43096db55b49eb6473e8c32e048e59e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0183a82df6615d0ab981ad709770bbfd6e9a5b122ea921d1c63dcfe0faa9352e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x22feab3c39e68f8702a894f4625db45cb4b0dc7a1cbdb9141fae86985210fe8c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x60a354ccd231df3be37a1bfc67d911cccbeaf3e0fe8ab5167fb5b756a2a25e72",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xed056ec7e0660acadb5278b60443593a4f161d0cf11682ac2379f00ca53aa433",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeda15920edfed62a2cb2970db75ed29fa03255b3b44c170f491e2df26f8d0818",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x190ebdc44dd7b9724cacac308901cd79b844b6e25a1d0475e9276af5d32c7ff7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb74e7ef4d11bb2ab8447d43cea0f294b7f38f7f3c01bdd51a6e27d9a0ce90eee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5f98a0627d90f9b4940deaa2115a095026325c29a6fd910b441436e95ac00818",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45f4f3a254a39d1e9afe0bc4e611bdcb7c787daa7cd3ad37b7ef894bb20f2850",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x74a28898ea3da4e65dd43739d7d687773a2af35fb153ba13890a70502dbe1cbf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x10ae0f8395e83a67ffdb3ea0e25203c6429bf191880169acc9ada5df06299680",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe6616219d7693f24be9636e604a4a7ad3537274627f2182b9c97956d5c7421a8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x173a4c4c2c56e2e25bcdc8862cead46d19b5faf6285e9e32a242b0542f8580d7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe080d4cc89b3fc28123096a9b65b19015465864f11c60cf8e87991095f218a07",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x017671155bf70b8a132052e2d5ea2747d539e63beacd25442098d574ede67b68",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb55237d1bc4a98b839dd37969da1b6c815b058e5d95dc89eea45733cb0581446",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x32d76506ad16214c4766bd2fb53fd80b9831838aee4b044ec598345460cbb4cd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c625cd3dfddac5f5538e5fc9c2075a1d99b9712fcfc22af5cadabbf84bcd0a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x26983f21069f6939d66ad61edd20571628885d0b610ecb43dc02aa6702f24484",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdeb38550c5e47849b863be49a29d1e3e75ebb98d8de2b06214edb941b670cf48",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1768555df2bb9b14c727b7f07a85b605a515769fe5699231651bc529d8fadc1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83762e8e88872b68f40271400fba457d15ad0be3421ba5ce178f3bed8e8b7d1a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd11295df93f2976e3fc8952e86e318006f9989025cad9bf6bdd4ca484901d3f3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb1cf33d43fdf9f0d8b5cb4f7c5f25805eb27bf836179a8652278d4586049641d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x61af7fcfa3aab9f85386fd5ac261ceedda4830126aa8ee4135a4c7c349f58b58",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x64921be5f955c7782cdadb9ce7ca92b716b6c5b579492ffe1bb2814b9a333663",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x84c4436d12071ed00f7d406ef6ae3a566ec7200660409fb874b606eadb4ae6b9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x80f04895c846dd0f8770c32fcd0276812690bb918c5cf503a4851b3001c80bd7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7352216d9a22d6cef0bfd7811607f50e73ca3b7bf3544076e946c54c2522f930",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc9f9d50fc543ad9247734435481a26b45868d7478e784a2ca6bd2e086e25f852",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x67499c7c4519dc08128f243bdae52f1dcabff57804bb41ae8bbbb7b9d8d0e404",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x29badf6ad8011cb55b7797181dbff16226c5c2d6f1eff45354f6e9cf06258eff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xebda04de3abea8dcce569a80e30d7a161e0e149e9de74df65e4f4bbf3ef1af3a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x603a1a0c7e3a0eae0e5308037ea4b7c3fe2339d4cbdc4f502ef753f8bc420a9f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20517b2653d0bb20a5cbc363d0c717ad90284786aa37fc8da142cf225b66de75",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x117e92f284439e48f9f32072c8a82265bacb09ab5095e13864e67013bf24426a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa27119de25de18330d50cf4d3696aee0aebfd91322cddb92d22e10593c414b09",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2423a2ac51f0af946c8cad939abaeacffa843d60cbd6e1e5ffb76d56af1884ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd515c4058b7c6ddf8573e1670e51538acf57b17b007185b83f05f8be13b30fe0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xff5203a8f4e830b463e5da8f71383fe97d81c7f9ffafe9861abe909df72f59b4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3fbab416cccbb03898795a63383bd2c4411f08dc824002190b20964789b7d19",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x39687ad1f937e3bc9273bc5db93cea78a078aa1861bfc088b14f91762c2dc76c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2d6090608b47bf0e9580d5ed89583c33520a7d4f42eb34d546d7a6d06499ed24",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd33d085013a18745cdd22248084ea2b663416975af870a278667de44e8c4fbcc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb270a05febfa061d43c2d1392dfc04807e62d4aebe7ce53831bab0952367e5ee",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x0e65ea9b83abb4a977d1f3d7f40968216c2020e98d3da38c3392076cf5770b12",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7716d30bde26e4d6a82dcfea9e654a9b34dcde00d924b4a625820aa38a902e22",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x58ecc90b0d379327a1dbaf6ff2ebb90ba43fc87feb80eced32ab6bdc49439e62",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1808d6632f5a301e59fa1fb68db64418bd8b04b2cb2c46e6d098cba8a922e852",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3e6268084ff915663db877f520dd0709cb7d02d4b66952c3bc321f25909efa02",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d8c19e4585dbd3e10dd0e1b121fca5e18f68973296d1318063b0fe06007b83a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x686ae9f7d51104ccb1b78f5c7f0d3ecdcc213f56fed5cf2646d669823bb8330c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3e020cc32cddb27de577d41f22c40b4634f6ca910e4a008b60d7465de1906e50",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb97ca89889a1d7c1980bad040d2694a6d4e130636bf816bdb413043e50590fb1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2199148eef946beaab1ea81fc9c4490f0084e7b211b7aa6e71b39b0a25f76a4f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0a2d54b8ba835f92c9881d55461683da149c6377c79691e97a31406ab049f37f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9e15512e79605857b4ff0f7d60bb309785767b8716c087ed5cc67438f0188760",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa631cec8721b4b69a9ac214de3dafe9c24e30ba44aecf525abdefaae20fe086e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbfc6950803230251c24e6273ef3fc347f5e55379453865903dc277f2e90bd9f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5abe96e6d6ebe873a056180b9d4a003f12a9d2b9295bc121e69ad7504128bd57",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7a9d630ee86be31a12abf8116fce8ed04f5768abf8a4ecd2bf2bb58477badccc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4ca1d9d74286e16abc6a06e9b88019dfaf75aaa989ffc50462133e3d68d0b27c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa54a71badec9a58b13e692a49b9a85876c65cd712bc62691a43229a040fb5d3d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa6b3067d698b1bf9ffb2cfb54c3ae18be0a4f2582739ef3a5fa3c15c30168028",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf485f5c7417d8626101f00a1bf50e25c86b658f127a2f73fbac9831962bed975",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3bb124d7164d56d774e6f603010f60ca7d25a4ac1b7b3462a779afcc8b71b4d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf82577333fe7c7e45ac062c45de076f6606f80778c8d67e7ba2503cc35c9e0f4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4f4aae3d35a5154dc3755fbe7589dccff27098701c70d37f0b6ec5a0fd33ae6c",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x9bc65f90e0181ec4ce5f591797e44b46e478567f4af7b63fe7afeced397d3e0b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7ef5e8e947f742cd0e1c3bbc68cfec85fdf58dd4bd39ad242a4974f521fc54c9",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x45937d33897a8678c7d1c995da78ecd4e3f19a3072eb065990a5e89569cb2e87",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x026b2b86d4ccbccd43b9a2e086fe79eedd5982ec48918ad28c7c9ce5acc049f8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8889c010aca44c3b43bbe101b5b795f2f18f91c3eff9f17bd496a13b81dabb00",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfeda3d9f3356d0a050e1e3d591494199eb577546e89e319c230e55645124ca53",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe2381be8541758e3fbb16199ea52d9b9b13f8f3e535045f02f0c2672b494399d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbab79b3e10fb5578074a01fa7be7a4e1d6cf2aa6180fb1ced18defbd47bbe1ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1eca3429304445c1888929d33482039d282bae8af377a0eacddb04dde2a82b2b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x712ce0353ed048d4db47d91df5bf6281faab2dc3fc971cebf10b435f80476f45",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xadb6ed20191310af5d370cc120606751a8169fb045747a194c49d5158520737f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbedd6623587dc59ed1a271557f3be6f6ecc70c88a1c5cfcc26a2e3b279b418e8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd1ec6547296e595a7777e62721da417347d372f3e97027dc35dcb542a5c25b46",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3e131ca71e552ee79523efd0896ce4feca3555866dcc31bef5e0324d79d809c2",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xeac70880d28c23534805d32e39baa05edb02ec7144003fd91e3be1f610271b37",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4d229520683e13ccb62065ed3cc68ccedd3a3454f0466d5c3f63349f73cab1a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x88f206bdb2e8a641f6af1d90277c660d5a0924b71bc3e33bd1e11ca850c37e4a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x87e58d1e4cc0d404e5e9bee6aade6cd3b8c11210044dd7dde17c2a0284cdad6b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8fae7f8264ea5add9de578cc693922df3b89d7056d2d969515c8e007a209686e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x207283c88aa8e6587809e9502f3695fe35bf931a4eef3fba6213a07e04f8cfcd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4beb4be7c2d5d6d5da8dbba827f6067db19410dbb75f2b5e5cf12662020206ca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcd0b7f21a546dbb706e984d035409b64e2a046807f1cf4eceafbb0bbaec72d69",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1681714967da639d555a890a53316ac6e8d19ea3bdce7cdde6432eaeedd1f8f4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb7bbcb1b7066e7c28fe814a2a3ca9af3e6606b51a8c425716e02a88543e6a5e0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x235e24f2e755ebbcb8f2dc425fd2643a1ce8e302eec714300ec2934b57ecc65e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe419723c66a068a2955eac14337c401b53b0a889bc0fdd34988bdfdba5347989",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x81c9a5de07004dee8cfb7aa0ba75f9c1ccca358f0539cec20bb113ef8d3a11c8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x18dcaa23c20cd05ea86fc734cd1b3e290f505caee369704ff932b35e09551336",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc93a9cbfdac4d21ce3defcc8290c07941f51e8f3b522fd555e533086e2cb4b39",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7738d615b80a357094f47bb61ba9c8fc7aa8880804efbde1a61743ae0685906a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x33858aeb8d854535e9b19700f9b8b189b26b500f2d9082a5168a1ad5b069f3f3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x97abb53b53d129f1f4249ceb8d891995b92be1590f7533fc709cf112fe60604a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x89b6d471578bcbcd44ab610bcf60d6bb50f6c93f098a58ce24d9b1e618b40b31",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xad52d242b921894bf29147e31d42d5c0d5ad55387bcefc0bd7e5c26d43a93885",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x758f42da9ee7013776752128d1d50da191ad2b9a92436f12365d89807a9fd625",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa2fc45918bb3258357d4555ec22894fe32f12fa6bf4d96bc76901011c8d0c8ac",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28354,
      4036
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc4",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfd",
                  8
                ]
              },
              {
                "Uint": [
                  "0x56",
                  8
                ]
              },
              {
                "Uint": [
                  "0x27",
                  8
                ]
              },
              {
                "Uint": [
                  "0x5e",
                  8
                ]
              },
              {
                "Uint": [
                  "0xab",
                  8
                ]
              },
              {
                "Uint": [
                  "0x3b3",
                  8
                ]
              },
              {
                "Uint": [
                  "0x86",
                  8
                ]
              },
              {
                "Uint": [
                  "0x91",
                  8
                ]
              },
              {
                "Uint": [
                  "0x4e",
                  8
                ]
              },
              {
                "Uint": [
                  "0x53",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x47",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1f2",
                  8
                ]
              },
              {
                "Uint": [
                  "0xf7",
                  8
                ]
              },
              {
                "Uint": [
                  "0xeb",
                  8
                ]
              },
              {
                "Uint": [
                  "0x64",
                  8
                ]
              },
              {
                "Uint": [
                  "0x46",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x3ec",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfb",
                  8
                ]
              },
              {
                "Uint": [
                  "0xdb",
                  8
                ]
              },
              {
                "Uint": [
                  "0x22",
                  8
                ]
              },
              {
                "Uint": [
                  "0x322",
                  8
                ]
              },
              {
                "Uint": [
                  "0x263",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x31",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77378,
      24437
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x3f9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70552,
      45559
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x6df18be0a994a105ebdceed870574df4",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3223,
      9209
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x3a8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      375711,
      18997
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Uint": [
              "0x2d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35440,
      890
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4947,
      41039
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86072,
      14346
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80673,
      39686
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0x5b",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      194153,
      965
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      283371,
      19124
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0xa2b335bcfc903c2c318c47e4c6b1dd1c2996e982086c4481c3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59941,
      10751
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x1f3d010c7aafb68fc512393f76fc9a2b85865ef2f7a62ab509eb232b0e96c1f9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51753,
      23509
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0xcb90e9b898ae58d0818cf6d44155669ce3fae0053dc668117c2dc270cbaab224",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63744,
      24243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0xd7aed870746e127dabae649473bc8f29cca79df98b392f41bc3e0b8790d01a19",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1319,
      22489
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x53",
              256
            ]
          },
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8346,
      46417
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9356,
      35269
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0xdd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1211,
      8466
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          },
          {
            "Uint": [
              "0x40",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45109,
      26212
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0xeb",
              256
            ]
          },
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8261,
      12389
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x21c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39802,
      3551
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1955,
      43567
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8911,
      2435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xa3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86368,
      10029
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      138412,
      14420
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x73813e1a018986f9ff571930d7014489ef2f04f91054b86fb49e58d436244c5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      463805,
      18204
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      448829,
      35029
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18523,
      7129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x1b",
              256
            ]
          },
          {
            "Uint": [
              "0x77",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75503,
      4447
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Uint": [
              "0xb2e290a122b7d8d0f2739f270ce0a9ee250b8769434b0c109727b4489bfcd60a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11589,
      6790
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      121621,
      49061
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          },
          {
            "Uint": [
              "0xea107fd25f383e8581baa8ec1b6b0951de24d55b88f6c0c377c4d90dd6df7921",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31391,
      60171
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      136687,
      27398
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x7a1350958829abf6ad08d026d615c7d132f914d0004f1ec959fea5884b2c8fa4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9361,
      12088
    ]
  }
]