[
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
          },
          {
            "Uint": [
              "0x208",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85349,
      53341
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x4028b5f27b6f67481f7bdc6bb4f5b234c1aa836a3bbd99f20ce7286690d139c4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6382,
      25407
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20427,
      24994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6159,
      34794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x9ddd18ba48b01c3d466053001f2ce4c7d97291a23526a0be1e776c404edfb78b",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb417c8a789b6ec013cdda6b6665fb6471bb9e3fe41f7afd41807245a8875a9bc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x56aa55db78e81dd6319eb310fd42dcfe9c118c438cb95f22d530879839cdee3c",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x29e",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa537dee6942bb203b9a69cd625f2be2dad8d2c3afaa2f7fecec4385083c8d2eb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      562912,
      23100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0xf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      299541,
      48237
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Uint": [
              "0x612bad54108dad202449216ae8cad77254a21c158f7039bfb739c17b7a83b2d5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36719,
      8253
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      317084,
      35503
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36430,
      16021
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x35a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1186,
      19091
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33384,
      38072
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58334,
      13531
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x6061978712d4cb0b0017ad4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1549,
      19186
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x6a3820948fd19bc786efb95dc4aa86553908bf6f1d07bc75ae88f521912559fd",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15914,
      9739
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49191,
      9373
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x79a4ef38c58dbad014044ba8093756716ab73d0fc81eee5ca834bb2426a6b45d",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0xf0693d3d9ae78b1d3dfc520478aeb603f020fb4f"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80734,
      17238
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0xa1",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6817
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78026,
      50849
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82007,
      23559
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      446195,
      12590
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4834,
      20884
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119015,
      2534
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      262,
      57220
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0xde835409dc10787412a481d19c29b371e82e1e536e27bccfdfbf53b3fb39dea2",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51656,
      59930
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000003"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x9d4f09fa6a5480f4cfd89d5de0d0a90dd6a5516b24a7a108cc9471793b9b60a4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      573170,
      8989
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7011,
      5100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x77ec9226d4f4747190f5c5e5ff84f33b534a46a409e1ca949eb73455feb48d8b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46998,
      28086
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x3ef100208915ad250a76d3407e59320f40e51838f8bb19501115e6c42676f459",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66946,
      5143
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Address": "0x864c3cfdc21d0982d636eed3e564954cb807af58"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74437,
      791
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0xf0693d3d9ae78b1d3dfc520478aeb603f020fb4f"
          },
          {
            "Uint": [
              "0xb45a463337379165b53f5ba769d2714e295a6239db2e383e33e30f835525c0ce",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55942,
      16828
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0xba17f86b3109d577fb8c38c9e933904b877896b0227d1c711fa243641a6c85b2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76683,
      20244
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49772,
      42833
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0xaf243893c76b23fb3267744513aaa401b8a0f8071d2493b7d07e8eb5b01dd065",
                  256
                ]
              },
              {
                "Uint": [
                  "0x37",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3ec517e81389e6d224b6a85eb6f9ac61cb20354a1d1de5fb0f1502e33273e4e5",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6f7a7c70dc5bb36ca210c3b5bb8faf425cfe18499f554a9c0f859198d3a7cbeb",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69843,
      18837
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29886,
      21931
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0x141",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84680,
      55412
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x80000000000000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14676,
      35449
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x97",
                  256
                ]
              },
              {
                "Uint": [
                  "0x53efc980c727b2d5aea6a99421f9cd14366708e6fd2d108d4485fbb1d426c432",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x84e87dc5d85cdba0e114b3e3074cdcf7d39432bb3e939af9f0567b7e2eead6de",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1c4",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xe0db5b7cea4dc2454feb6384f181b1165a58c5af8d8afe98c7c8e930af092694",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1ee",
                  256
                ]
              },
              {
                "Uint": [
                  "0xce7c7f432092c0b5ebc8db7875fd9c444cb6db4a1d40439bdfe644ca00ade534",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2cefb2c4352cf4890e22ac2561799469c4c0dc56087eb0900b9fcbdad8e34fec",
                  256
                ]
              },
              {
                "Uint": [
                  "0x9446bb35fe194087875304a711cfe0ede33668e3b4e55da74b0b79bcc7a7a038",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa06e97a407db9e9c70747444f4ffea91e6316c6670c151abc1c9caa881ab08eb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4ad013ec92ca1b81fd6779bd86a6524d8aab2daaf61c01f354a39b6664a4bbab",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf5d598c0869438cd62ad5f8e618079f3b77f3cebce070100a81233dacdf9919e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x93b5d1b3e8c2140b7214021bf8ca8a0aaf178b0812771a0ccd30d353a812cdc3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x723078e6009b23e52dd02a9006666463bce4b61ee38cffe67400b322f78512d1",
                  256
                ]
              },
              {
                "Uint": [
                  "0xbd26c2ffc3e051c4d1d50acb05085c358f7d96ab5da1f94197036720c0534d1f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x27004467a6fca319bedfb01650c9abc2228764b89f165aadd81c8d6736e541fc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3ca72f47734a002658fc69b1aeef97a5b1b61940e71e563b23f453d8e0e0ec1f",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x24c78727cced3e0d608e076e134dbbf0e280dfae5c091c54be0ec12a8460dd83",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4b64b3a88fb1ddef3a6dde339d0b269e69f6c9a17c0c074248f46863a0cf803e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x8b1804951600a77a8388b980736c8d87ba576a8ab6439ce08aeb2f28d1e8e205",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x59f2a32ad631f268a9402036c653ac3190ed6aaed4da9e7ff7d49e31246e4dd1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x963f97a3111366d633c0b4e8ee65107c3a400eb7daa9225a8cbce99773f6238e",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc04992dac5307de489b931e6a858378ac175dc1e75da5975883c05fca086fe1a",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x1a6b",
    "delay": [
      326210,
      3794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35916,
      25957
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Uint": [
              "0x707518408a4f0c5d5696c81613b2ca35e5e06ec0506643900ead09f84820f6f4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72395,
      8908
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5937,
      46104
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52168,
      7513
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x8b20bb284f2528a460d605d0131c17bc6ed9989bceeba7ccbd319aac140bc982",
              256
            ]
          },
          {
            "Uint": [
              "0x69d61bede51bde54f412f4356b314c550a3c2408e6a88f6b4529174ad5610170",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      244847,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4276,
      49409
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2172,
      18776
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19738,
      29683
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12791,
      15132
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1683,
      21796
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          },
          {
            "Uint": [
              "0x430cc70ad3ae8b9382d885bf5b98245c36e7788c80fe3d9b8c9807b6d81cadc4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32163,
      899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Uint": [
              "0x2d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      989,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64543,
      8296
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63832,
      51331
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x11ded5b316de8e8326d5203202ed64ac3c5fc6c723678b9ac04ba63ac61752ed",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38958,
      7704
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75721,
      29795
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x767354069a37149e1ba4e85d63f745e0b4b1c861e47565f436df612793f9126c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10749,
      4432
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55125,
      6008
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86634,
      5509
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1280,
      20826
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5113,
      86
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86533,
      55002
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12916,
      42206
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12390,
      7516
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x7640c3ec6749c6464e9cbaca96020382bf6a37934439f50fd80aefeaa048c02b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58003,
      18321
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6508,
      44097
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0xa13c8fef1bab8280166ad1c2ec4cdaa5c7eaa271561b573357857d792f4b24a1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1732,
      33725
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x7a",
              8
            ]
          },
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      637,
      37949
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0x63791c4258b8ce8455d2dd3193f8a10228376ad72016093d854e7adb61b8fead",
              256
            ]
          },
          {
            "Uint": [
              "0x214",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53389,
      1197
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0xe3275ab1d52a3a970663a5acc12c933e9f06b839"
          },
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4146,
      6154
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x3bb861dd15655f64e65377521e0f39ea7aa76d9ff9c3b781ac1e88a51d4d9590",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8026,
      8817
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83224,
      16880
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x13",
              256
            ]
          },
          {
            "Uint": [
              "0x744822aa13255b4d8e6f197d2f3292716dce1e75426d4f50f1909534842d6d2e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9715,
      59582
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56000,
      14252
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1812,
      529
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Uint": [
              "0x59a25b59b14ed3bcd7bfc0e8fd8bb75d8c3c080473d3f03b77f2370e73ffe461",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0xc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2337,
      24951
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53583,
      22796
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x40000000000000000000000000000000000000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4678,
      47917
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x9ec89315ce17b5890cad510025c82f1c977a47ab997d6dfdf6ae712c9f2f9b48",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10662,
      2277
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0xb43625623cc5a867b0bf00653fc96afdef2cec4b832ef6f95c5491d6088400ec",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53439,
      6913
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0xa808dd946d6d3389f1221ff27705cc5ead79ff455fa2bcf15181e4bfffaa583f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      504411,
      27238
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38570,
      26878
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28474,
      20525
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x2dfb303b7fa2846781ada8aa278854d0b7dd86d24e446e457c9da2081b1bcab1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85699,
      13438
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x0000a700000000000000000000000002fffffffd"
          },
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      199392,
      11821
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0xb0",
              8
            ]
          },
          {
            "Uint": [
              "0xfb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4104,
      18585
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25425,
      24645
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0xc7c63455a4c133ae270771860664b6b7ec320bb1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6013,
      54506
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
                  },
                  {
                    "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
                  },
                  {
                    "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
                  },
                  {
                    "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
                  },
                  {
                    "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  },
                  {
                    "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
                  },
                  {
                    "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
                  },
                  {
                    "Address": "0xe3275ab1d52a3a970663a5acc12c933e9f06b839"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
                  },
                  {
                    "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  },
                  {
                    "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
                  },
                  {
                    "Address": "0x864c3cfdc21d0982d636eed3e564954cb807af58"
                  },
                  {
                    "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
                  },
                  {
                    "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      142,
                      4,
                      30,
                      193,
                      74,
                      120,
                      102,
                      3,
                      142,
                      122
                    ]
                  },
                  {
                    "Bytes": [
                      230,
                      5,
                      105,
                      104,
                      140,
                      14,
                      45,
                      194,
                      242,
                      69,
                      28,
                      158,
                      122,
                      20,
                      41,
                      243,
                      117,
                      61,
                      234,
                      128,
                      226,
                      17,
                      249,
                      181,
                      236,
                      197,
                      103,
                      73,
                      78,
                      167
                    ]
                  },
                  {
                    "Bytes": [
                      237,
                      209,
                      178,
                      86,
                      191,
                      12,
                      225,
                      51,
                      195,
                      241,
                      151,
                      85,
                      67,
                      117,
                      247,
                      67,
                      166,
                      143,
                      8,
                      159,
                      207,
                      11,
                      219,
                      231,
                      182,
                      79,
                      15,
                      149,
                      176,
                      24,
                      151
                    ]
                  },
                  {
                    "Bytes": []
                  },
                  {
                    "Bytes": [
                      216,
                      191,
                      164,
                      15,
                      170,
                      136,
                      104,
                      206,
                      5,
                      28,
                      32,
                      108,
                      5,
                      4,
                      57,
                      32,
                      230,
                      238,
                      247,
                      47,
                      228,
                      22,
                      162,
                      16,
                      17,
                      92,
                      127,
                      229,
                      217
                    ]
                  },
                  {
                    "Bytes": [
                      98,
                      245,
                      109,
                      82,
                      188,
                      104,
                      17,
                      199,
                      129,
                      61,
                      236
                    ]
                  },
                  {
                    "Bytes": [
                      246,
                      154,
                      109,
                      232,
                      223,
                      100,
                      14,
                      29,
                      138,
                      139,
                      64,
                      42,
                      39,
                      72,
                      244,
                      199
                    ]
                  },
                  {
                    "Bytes": [
                      153,
                      39,
                      0,
                      232,
                      148,
                      6
                    ]
                  },
                  {
                    "Bytes": [
                      116,
                      109,
                      77,
                      193,
                      244,
                      218,
                      254,
                      70,
                      31,
                      140
                    ]
                  },
                  {
                    "Bytes": [
                      137,
                      76,
                      22,
                      66,
                      128,
                      10,
                      6,
                      98,
                      78,
                      212,
                      178,
                      226
                    ]
                  },
                  {
                    "Bytes": [
                      135,
                      208,
                      181
                    ]
                  },
                  {
                    "Bytes": [
                      74,
                      127,
                      46,
                      100,
                      117,
                      190,
                      49,
                      229,
                      86,
                      226,
                      131,
                      224,
                      1,
                      15,
                      215,
                      204,
                      26,
                      83,
                      87,
                      225,
                      16,
                      144,
                      218,
                      216,
                      82,
                      29
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      154,
                      236,
                      217,
                      93,
                      80,
                      220,
                      249,
                      243,
                      12,
                      163,
                      3,
                      227,
                      15,
                      150,
                      111,
                      148,
                      143,
                      1,
                      69,
                      30,
                      11,
                      104,
                      197
                    ]
                  },
                  {
                    "Bytes": [
                      168,
                      122,
                      180,
                      46,
                      194,
                      155,
                      195,
                      94,
                      214,
                      128,
                      32,
                      32,
                      171,
                      179,
                      188,
                      168
                    ]
                  },
                  {
                    "Bytes": [
                      140,
                      31,
                      245,
                      130,
                      233,
                      141,
                      110,
                      99,
                      128,
                      199,
                      236,
                      108,
                      177,
                      45,
                      160,
                      168,
                      125,
                      238,
                      244,
                      144,
                      46,
                      102,
                      156
                    ]
                  },
                  {
                    "Bytes": [
                      136,
                      111,
                      218,
                      184,
                      184,
                      105,
                      201,
                      62,
                      94,
                      35,
                      137,
                      177,
                      44,
                      104,
                      190,
                      116,
                      157,
                      132,
                      162
                    ]
                  },
                  {
                    "Bytes": [
                      98,
                      33,
                      178,
                      180,
                      17,
                      47,
                      9,
                      190,
                      103,
                      176,
                      217,
                      109,
                      31,
                      2,
                      167,
                      11,
                      64,
                      71,
                      118,
                      32,
                      20
                    ]
                  },
                  {
                    "Bytes": [
                      39,
                      28,
                      83,
                      91,
                      96,
                      44,
                      22,
                      53,
                      197
                    ]
                  },
                  {
                    "Bytes": [
                      233,
                      211,
                      228
                    ]
                  },
                  {
                    "Bytes": [
                      178,
                      241,
                      12,
                      80,
                      56
                    ]
                  },
                  {
                    "Bytes": [
                      58,
                      155,
                      66,
                      68,
                      51,
                      188,
                      238,
                      51,
                      211,
                      34,
                      51,
                      209,
                      128,
                      203,
                      2,
                      182,
                      133,
                      159,
                      166,
                      81
                    ]
                  },
                  {
                    "Bytes": [
                      61,
                      72,
                      44,
                      31,
                      202,
                      90,
                      86,
                      144
                    ]
                  },
                  {
                    "Bytes": [
                      47,
                      200,
                      195,
                      217,
                      195,
                      212,
                      91,
                      8,
                      19,
                      25,
                      141
                    ]
                  },
                  {
                    "Bytes": [
                      201,
                      253
                    ]
                  },
                  {
                    "Bytes": [
                      92,
                      171,
                      140,
                      221,
                      15,
                      144
                    ]
                  },
                  {
                    "Bytes": [
                      176,
                      89,
                      127,
                      135,
                      2,
                      72,
                      112,
                      133,
                      191,
                      191,
                      227,
                      126,
                      122,
                      113,
                      123,
                      36,
                      20,
                      130,
                      187,
                      37,
                      92,
                      111,
                      214,
                      26,
                      138,
                      83,
                      62,
                      199,
                      30,
                      47,
                      250,
                      89
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      90,
                      200,
                      182,
                      94,
                      135,
                      221,
                      218,
                      54,
                      180,
                      57,
                      86,
                      251,
                      39,
                      38,
                      56,
                      157,
                      54,
                      194,
                      232,
                      161,
                      141
                    ]
                  },
                  {
                    "Bytes": [
                      52,
                      7,
                      239,
                      206,
                      110,
                      70,
                      91,
                      177,
                      11,
                      228,
                      71,
                      233,
                      144,
                      210,
                      223,
                      253,
                      49,
                      251,
                      102,
                      123,
                      166,
                      171,
                      23
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7438e9e0434567fe6b9545f92337cbf7b8788b675cf0d3a6f7697d3b651e5a54",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2cc570adbe0f4c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9529564a14b7de533931a5dffca645d7760cd271d57486c4cae1cf4175c68cca",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x373fdb84afc330fc5d6314bb5c2c1ede2925d118f187a7499d4fa8293ff58a70",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x320805450ca8f2a89fd1dfb1f656ec98525de6f88cc4f60882278884cc7d0745",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x942d7eb6b6eaaf0d34283a00acdb0aef4864cd9e768b8369f290557aa3879359",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x28eb15402a32f7f4967252193a3c7e657456f3eb7cbd2c1c6687979755f15e23",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb6a15adc20de3a432cdf5451046f4993a8a632b61b0156d46e3d321ade1cdbf5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x637a4bf0bf44393929087a5cd0c486db39d8a7d69f4528559f42f0b2e9e4c8c5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00473b40af3143fd71af9360a3ccffd01f37df1c1d0ea099688c0d285505da07",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xed1fdf6cfc86c4b4bd8061f40f26084d9a2915848e5ee31ae30808b3e1415164",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa49c98233d64ced9c76a23704d9e56b2e75cc04496002f11939485ca25b769ba",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4281187b934e38c46781783690312bb868d8b8ef6e966b194c84d6fad6d7d029",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab24d2e2d4ad3a43bac191648f7aa42a119571d156c816003d2a0d54b6b91c78",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00ebf8fbd353fdf16d70a929b0aed2f557dfc1c7849f42ab556d087671a0c06a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f6bc8db89a0f75928807aa3afda8f4e778379c0169374688e6158bc0966ffa6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5e467d84f6a1ac67dacc118057bbf9975509496bfaa73ea7b0a854fec0415add",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45ec147b625090ced452c661619a2db20125f00ca3b4e2c34639a7cf214399a1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe4ce5a151ac7b85d87ebdcd19fbad9e16435c897cd6d782c6b210e4c6a264c82",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x48f08c0333e1fb74494ccc92bf80e4c72f02ae7f820d8beeb16eac70fd01b52c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe48545ebd91e480ec8c0444004552be0c3b1b6cec1764e2f9becc356feb8536e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1f1e3d4e91dc371d95c44069fb28a7d4a323924afa7526c1520ce92445ce9cac",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc70e174e4a2fbd6b87ad7ca06a2d6bdd485143d46608b1ce830f5118d33c1d9f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x39c059c97987c0438b861acf0bf335774da5e71ca29cffb6538b358edd8f3bbb",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe2b8da291d2a5cfe4a701a9ff09b3a06e5b8b7cadc2cc2db592786814f6df0e7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb0f90c8903e2d44156a1e920817a91de3b58889a1c1d16da7174916b30f4b28",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7cc909bf41a2ac12d3dd75b038701d70251cfcc47d3d55de5f6dfdf23353b8b9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0849fa5640b81f82cb525ee17c2e071a5d7107a94e0335d4aed02c4cb0883b91",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xabd306683f3e303941a7d8afaea73067fc230fb99482af43932a81d16bb9e9fd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1cb3fed1c373b82dae9b4336722f14c2c365621f34764031899dd4f27da4ae7d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x048fd3bd5e2ad96d50f34d719a67a978e9dbff4f86d52cba42cdf862764831b0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd1a76366fb302d47fb585ab17aed65da46c9596cb8e25a6290dbc0dd2491fe20",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa9850c59f28fd50e369dc513941efc93824c4d92477139f6df514d0a78268eff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5130729d9f012054ab2a339593c94ba8807f8961156610f835ec7c56d1e7a004",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6d08e31a065fb590b8b9525c291511af4b54e2c967dd1ff408bdc3db34b7d84c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4d25636d8423cad00d921b6bff9e101ba02c554f0a284c2c1bed29b6c057ad73",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x86700b159c945fcc052ff30a9287fc8c0c3e9ad2026903779dd2aa2b7ce03f84",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4e80711f1e79a190cbf869279637233563b417269b6da18c8b33fb39786b1892",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1f2a9f82d92e4cf210773bb23a46d84f35a16dc3b4b330c218d5e08a73ff56f4",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc5377b1678804d5b3f7b5608a713a64c461050327b97d9a18420a407df122531",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4dea38e75a037e60b72c5010430ffb4acd44dc3f9680094002c2b1c5712fcb89",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9ea981a520f5f9fc4f5b5d8c4748ee04021ec0c7f8f046d9e486a12a2cb090bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x197ce914ff47d44a1b1eb2141089ba034c5b05fc70ceadf12867b6a513ad3fd6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x29c4931d7265e8410fac81c8d1220ed879d40fdf4282f474eea304464b31e0c6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbe49ed578bb4a29d775e07e927495022095083d6c61959a333a69942973cbe05",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4d635524dad415f3f609d91eeeba7150dd1d80796fcd8d968b5a10b5dd51fa8a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8051a49dcdb1dc45e3fcb86fec11d1663cf7f55460b6cc4d3269d9207079044e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe91cb40b04d646f3253d8c4ae3593c25454e7ed843c8e2cf5721644b6bf4389a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x13a79f81efd918057a7f04436ffa1e8a13fac60f60d8ae95daba5e9c1f083c00",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe21ed93542ada3abb90b891a9dc34cd3a4589f8060201f99a037f055aa35a08c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56bf76d7d2076ab8e8465cbc2eb5f0f19497e817f0206e523f7719f156500e58",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6fd6733c7e01f760c31345afc72670205af7882ef086c8fdb5c3ab0d416e2c36",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9872d409f7d565f3753e4d74f8e6298ac964cdc75a9c729b96c32fcb4b650d64",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6375d1d30bf5adf30a233505a1061f76eff74d66c16c5e76f7807732bfab7545",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x13d7ddac08260f4fbcaa36c3805b76b792a521bc1f9c4da33660fc1772338a35",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xa3f244f1ceeb0510bd2fe137a79c946c30c542bb62bbc149dcc3b0ad368eb8e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe12b4f4399b85ad27844aa5c49c48da8ea53cff3b423c8fd3027b7c838175697",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab1a395c24f598a6fc8d72d391fa99b21b40c4209e96400588cba8d9ab589659",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xace514ddc261af33ca6a34cf6496b782f8d3a198e317390b9acc3e3eecd7656d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c75f5d9ca008761d938afaf007a60bffbaa202fdc26bc696e654ded54b9a3e0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe3a635aef7ab6b5cf7351e06a6eb4e95a197da94004c36cef7dcbf7988830455",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf844830757bd8a95c8f5421cc8e9f99a6c127bdb249c3debbe193528599c3a40",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbbbb0251c78e98a571f3e149af7a107104e976bd72b8778a3e882441d11d087f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30a5bec8d909228462fd48432d8e19409f31c038699017a25dd8e69ad9241aff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6121ffb2a516a002ae87c84579458a937ad0b7be5828854f2cc737b4e31b0818",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8c39ffd49f8b54ac9f83ef586fa365cb5ede2cf60753b5f8c0d9f1ccc16f72a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3a0a44f5548841cc10fe78e7dff32e12ee6eb5c411a082de5a564bfaa486b8a",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x712ddd66e0bd73694e85071f17d6c7aedc7f65237b1e259cb5f1b38136c9fb6f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xce0fecfedd15cfc758abe1d40933753f8a122033ef47c93c267a03d4fae0048f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3530565bdd429a13e3fd8b6ab9c90e6f44fcc9a0fe6df05910ae5aa5e2cd5066",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x53cbb89956b552ccdbee56a151d097870f46c9db7a8b783184b5af1b92c7a435",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x77f707065e7b9a9d97eae57c1615dd9e0dc733d6bb343a787974ce6f74bf4a99",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb1f8def388fc94297d82e1ad586a3f229e1528ea82d3ce61a57480a564a2c116",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x53206dbc1d20412621f062dcc33bd8baeccd221e9752920f296c2dd0318bf93b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd5ba67bf7a9375a840e77c7a3b40afbc471a1b35e540607afb7b00e5234016e2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3766d6217a43530795d2cc0e56bc4b6a4c6bf120b57eed99305a0eca3a3ac4ad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfd18bc213e184e903479599fcd81f2d3f2f94c5380372a6e89465cf57e216d85",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe3582dcfed6b32f081095134450444fa85b0bbd2f006cfd68c3ada5479e6f1a1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x79ac6c2cb55e94578a1f310760440498fcb7499b4454bee3bd463c07d9f2b35a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x06998edc541bafc7f9957d2f9b1a12096fc1038b800dfd44a25d30c6b7046c78",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b2543bfba3431f0e40cf1e7c955a93395e41c02da23a808df626881d53b4fca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41d1cdb9894ec7931c8a8a07addb9310f4a7048a8df53d50d56c0f81568e5d0d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xa122da5dcfd6c8ea88ca2e3c6aa9926a42f89dba80987d63243caf1ff08b81fe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe5a3aabd23028859f34877467d76fdc03e300d098e4da33e7495843a3dc584b1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x15f95fdd1a63ae8e25c46ef02e99d5ee71855b510cf1a319036d358fd81650eb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf491cf54e90eef14c5686243b4ddee52c949dfdb3c1aedb15e02291cd4a92387",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xce542801b782065e5b3e7ba2d77804b050f909645893b70fda7ea456ebc9ba5d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf2982b0180e606f8440f44adcc45f1a168877fada4ca1059a74bd16877fcf40a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x53d10114df06c294d7ab8312e0ccd9304cc1f27065b15b42a708236bcf5078a8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9ea3522dec5d948f56b76c7abacb6df5f98a712e18193e5f3cb777dce89dfa6a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdf01c87d70227725a49be5d8524b3cad3309975b3a726efe87ccd34941065f35",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x37e2772b4e85b575cd8006efa024c1ae185b8956e8dcf41cb058569f5bf1031d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x46c7fa56f2ede2f1099b67868d60be4d970e758d2dd784d6d7b1cb1b509d4988",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2755f356366d7a1ef0144aef5d6836c209bdd28e9b2d9744e94231d43f54ba1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25a1bfafd9159c300422dd19bfc0c5dd1a58fd21fc313f894c25724c99ad3a85",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa787958eaa328218b7bb6d5d1941e40da72938c1abc7f70d3152c935531a95e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x15dae503d4dc37a734ad5132aaa4430d779f69c5960de31cbe2e0c9c613c4780",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x99346decfdd41baf4dbca9ecc17f7567364717b37cf0783e9888999b6169a754",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfdd1821f481de8c6c4d509d22b378e44fce9dc9b6a2a30c0ef4eea7bd60d49e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6631726a221c436492303e4bd9cb13ca774622403a7a9fccb44356c6fc804542",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcd9f67a3cf114c6e0135d3f027f43627c68ce6d07f054c49a0565501b4a04421",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdb5ace58145dfbc3618e95da856abaab3f6f2cdfc967b7d07c6be387e1c95118",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0ac71effd4a94808b427c2cb0b912fbf72320e2677fb82c1107875c230266c50",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x22f3fba516c26817aa0b46090cfc8d9da225921bfdcb8ae27a71db74fa60b745",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5e531b3342768d91f3f1af915465c6268d5ee88fcfd3651c791b08a5b6135324",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd8b28ed328c61ba4bbaed00e7cffd3004f4e55f12bd5ec5c8c006f3842e2eece",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0a77dcc4cab6a6f80deaeb2deaab831cd0e6f75858e2306f2eacc00dd3840666",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56d0fa954a7e4e5f61a36e4c5a9b2964744c25e400ae1fb6f62cd6cb0a542ff0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xada21e675e836bf6baf7e61530ed89bdcc97fda989ff4dc48884af3ed62d5fbc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb0f8fc4a6681a164fd120f709c2cac5b25d29af679b7b7d5c2de38fd40ba0268",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25c41a034d2549e02cd37d301ebdfb59173915ec5ffd94b91e752c7f5aa726e9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41bba0691e8c078def9351f308ea352cf0d94901f50ada225b0377e389e1d3e0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfad071c3667da9d7cd7888ecfd3ae755293556ace99eb134590bca3fbf7d5d05",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd6818303e5abbcbb6e7f0dd273749cb9c582d0b368e37c25748efd2cf15cccbb",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xfc7ab86833c779899c59918afd4793efe4476cad7126f2360b980a9c4269be30",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ed73afc2d2f746e5e0d87755247b1f23c4df6905e7666950eb1d5a99012c7c9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaf18571bf363da9102ce99cfbdf9a989f474767bfb0ac5626f842b3e5d9c1126",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4c0fc23316d1183d4a2c6e9281d079ab89f9db7d2710f112be920600830ad4b7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xee37e76b9815ba8df26077688680d79027fcc50103c70e9fe4338e7552377794",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd2b273566c69a63d1eeafeedfda949db33fe5fd82efb246da89438a8febe1b8c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf5aa77670e576badc72091834214042460f24024f82a5d47d61dbd51de920b52",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf56c3e9853edcf7f9b47992dfb0701d8c7a9ce8b87592eeb302ac1266df64d58",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2232fa8977679047d2b555f9364158a04e90d7377500fc011b783934d60b8785",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1a6426a5937188aca497cb36a319f57998eda4ad88ba90b2df39d700e1e4b528",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x61fb6f5405e78b404a64c0c616c59e39b5bb2f3d624bbe935a210ffa47d6d27f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x28f00cfcc8f1cf9deca64f743602ca7140d859a3cf671c2bbbbe2eb3b15ff28f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c73141948afbdac49304f0a1bc82a88dda5db21a985810a62c57ecb46614bee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ed572a154d433c75659e68a64e8d175211109c9d4fe303d483c346aa4968ef3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8d9edc0ddc5ede1a476ac08ea3a341d1ff7b759f2f38cae9e86c7fc0a0898e78",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd4bb7258ae77f593c25609a4f88bcfe2bb00112cd4e63b5100ea196a48e617c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2a4c5a3c5de75415193ffa8414c6e5ef3c15bfd23449616b00fce3dd66953797",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x040c3e51225b37b5a7a595110b66f36b380c8d5d1e5161535a1a08626b918f59",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9ba55cb197791040ff5f71e6b1c190720d8f9fe70e04731e472bab702afb9e21",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5be367635a058fa9d796873514154112caae36a741c2f95bd15206da8116bfd8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe56db57ce5c8cb7653291a65cd5ce9b9042dc308882b273465c74955dd964f52",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ed776759c39704c493632c41351f49ca67c82301cc124250df2b356eb871b73",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5f4b5269d5fb41851008fa6fe5a19f460f342034f7929fa84e40b9e740f7e760",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeae0df3aae6e20e75570b0a40fcb27a2af274be4a39991b52151e9a3a4f17ecc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcf4705c52b6e8888f42d70a14c03bcb94437d04198abe0f17d75ba3878d8b2a9",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x1c82721b87ee00cf6474e2569afcf77db6d51cf6ce172618ede409298bec23f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x035e65ee3f984aa9b8a5328ecf26198526abcf7d1684321ab0f265b7558e2bf3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95a3c23eed554f0d7b174cffe7ba068df7817b852195b7d85144d19bd5dca37e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe94d51fc96e19390b5287245c3a378cf79e1a2b4cc70bb6d8e03fa1bee640197",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf284ff7ca72882c64355111a5c2abd620ef0d07d93b7bf5666221580c016837c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x101d1bcfee6d5dfc85f532ee7a78bc0ce91a4b2bdda50f68e8084a92bf1a3c48",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcc039b2f0422e9df540a30bacab4426b35ef3681ae5dfb73f085dbf8ab8eec71",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8e7628d9e335ae58e010dd0067ed30eed5fd5e36b4874f9eec347cac200c6aaf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa30f1292a124647708d0ffe45b238d41b35f08eef83a263006ba7d160673cf77",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x54e4c417135b78837c8bfe7985f7ffad16124c816857789b788b38e33c835081",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf5dfdad5e10d5ef9eab05381699ed41326fe18cc867ba0f4c5e63b8f747d722a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x125ebf47e8b86e63caea4ae50c56b69b0abb00aa2a4288a28dd36653d43912d4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9d05ec5a7f7a65f5f9829b43bc43af15eb693fe177e537697bc0655e3337b704",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe69cd01ae953081650447ac73fd27ef103b4a385e7d988da550472ecf565950d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x06e84f3ab58d351c67465f7208592ef9a2cdae1b8c85b66d95e3e722f8851788",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3918a7e2e5009016ba532fa3779506aff22f808ebcefeb48468640a7ed2e7484",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x62f27d7bcf523d685898e89aea5dece393323371f53d9fbf22884049206a360b",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xa89cca61663c8d879b8c95942d037c4de676cec9cd5dcf335da2cbd6a41cce1f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf986a4e7699170f4cd1123fa657bc6c7bd626f353f5296a7ca629f7cb41c3e96",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38af3f236e422c3576746705f4025ab9e9a24b109ea1b91b4ff54d4d62c601e9",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x654a54f4cc48907cdeca6039804a6c0339ca6c1e894f0a47058d442f4a819057",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc050621eff07ff2c6af144786f4a65a4d9fa689e0759891367f03ec4350efe7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb69dc1d0e02bea789b28c01e4fa9a6262295ecb1f7c6baf8671029b5a6a7157d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8a09aef39557c56f48fb60cfe95a298d4f5b2182c49770629fbc89e076029c71",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x1c5982cb8653bcafa3917e2d87562a1b613bd236d98d78c62c28c7b334d29600",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd45fbe3483fafcb798fd515b67e8f06151db816591c7a505bd12abfe31fe10cf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2e1cb5c15ddc610c8749032406e6448b77043c70f6dc828ae6e82362345cb99c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83bc24a7a782a48e56775e8a423be3413cc07e32df564ed8bee5f395d9fb09be",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9149a61b5e9b639c2ea3443335765484f4dced79be6f821a47629722111a0792",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f71b70f5c6b2117b2b633703b0957c382f56a3bea04f829c598d690c69200e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x608e498a93179238af2a03bf26a0e8eef77693bb8fc305c04fdfaf9a7271e876",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x14a88e95c246b2a2fa2b10f688b57f9654c5ebc54ed720c8fa3e799a2299b7d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x08f52a2f4443eccb860cc2f1dd6ae8100307b6ded75883aaf754f1071760dca8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9db39626af98517d8b240f2a6bc1d0bdb829173f07061248995684caf759a662",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe434b3274cc9e6c6a59dcc8ae6f97ef8740ce3ad3927e06b5ad2d8975e5a8b5d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xea095f6e6081a5e6f7601ff610a8087f56c74975e79838a961945f69bd89807e",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      599393,
      1139
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59907,
      22549
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6578,
      55572
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3582,
      42762
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xd",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3990,
      46670
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7817,
      18365
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      336781,
      9187
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24509,
      7195
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59557,
      31096
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x9524803171ca3c8b1db110b49fef5cb468ec09eceed26283222a89a55b208486",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13459,
      55518
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0xca",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119390,
      830
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0xcb45bab3685944444ac8a88a8b204ec5a3998309316287d97e56ef13902d7472",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51334,
      21279
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xe27447a7981b096aa37590c79cfc5524a669a4acd589ab07a2ad0da030fd4432",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0xe3f6870270ade5cd20d8915924844549a3164983d367088d22fc26fd87d26c5a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68722,
      3636
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0xe819ca042090e93b34f7c806108699f5e03edc8a75f82e569055f1dd4c9cf3bf",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80567,
      54410
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8364,
      2665
    ]
  }
]