[
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0xe14",
              256
            ]
          },
          {
            "Uint": [
              "0xca059915285d7a23081cf210cae3e6ace9874616f8e9c3aa50237067a5b99f84",
              256
            ]
          },
          {
            "Uint": [
              "0xfe",
              256
            ]
          },
          {
            "Uint": [
              "0xfa0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70173,
      14129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0x35f42b8b517dd72ed462efd725b53618188b3cb623cb9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59059,
      19351
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xb7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36546,
      5784
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x41",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56492,
      21696
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_withdraw",
        "args": [
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          },
          {
            "Uint": [
              "0x9a8a878cf203c883f94f8669a1b0b18a3278cdb69c011f7c0e146a37ec0b46fe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2210,
      50855
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Uint": [
              "0x89",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7474,
      32707
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x2499149ae6806df57506962cadbb6754427413559acd8dbbc0331e154d55e4ea",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      276960,
      25423
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x12c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1239,
      6659
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48357,
      11065
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Address": "0x91771550282853f6e0124c302f7de1cf50aa45ca"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41356,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50730,
      60357
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x365",
              256
            ]
          },
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40536,
      10946
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      168593,
      21712
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x2e6e8b92b3edc2c5e9f79c2cfd2decaafbeed266bc7e96087ac1ba1584a43d68",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20885,
      1482
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48746,
      46413
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79742,
      23292
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x15",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75282,
      12545
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0xe7ce7e99e2a81377d4a764034f778a96cc45ac3a1cc98bc88c673f5f8583d507",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3022,
      16777
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x33",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      488602,
      46203
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x10",
              8
            ]
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29409,
      8230
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0xec",
              8
            ]
          },
          {
            "Uint": [
              "0xbe6df347b0b7913a2c1d2bd8f7c150f23df8714bcb771f0276715cd42a962f37",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      378804,
      3852
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x73",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67269,
      19878
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x81",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64895,
      15363
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0xc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84968,
      9835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8436,
      12471
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      89171,
      34899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0xa8ae8293f3911ba7218f88164f8b954571f4267b2ae0a3891d8811be060bbf17",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1c",
                  256
                ]
              },
              {
                "Uint": [
                  "0x12",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1b6054a0af8e4e775cef6e1ab398dd2627e544c4f0f2918675109b1f57d04651",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7385ac9cfb0a8649e73868a89cdc48f5d8d1540fa4a61c3afa3045ebc06a910e",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb489dabfb4287dc770ccce6278cf0acd375a6fc6ee653521ef315aa2f2a2a5b5",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xac",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3bd0c8849079ef09ab2035acf04ea52bab268698d89defe391b82c9e77608817",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2f5",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2a",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffe",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf9f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x12",
                  256
                ]
              },
              {
                "Uint": [
                  "0x83",
                  256
                ]
              },
              {
                "Uint": [
                  "0xeeef8b8bd926d5a868897c0392715bbed2745c6cacbf4c1c0b7978f4613de2b5",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4662c444122600d60aad29a09fdcba928e42bfeef5e4743f1eba5830e65df8ca",
                  256
                ]
              },
              {
                "Uint": [
                  "0x14",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x38402220d1518d9ad",
    "delay": [
      46594,
      1033
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x44",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      547495,
      3943
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      122251,
      1949
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xf9a92ff6eec39437a6b1c92e89030f406cfa56b1e5dc676a09281ddf0b609bdb",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000000"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57951,
      5759
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18556,
      31678
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      201247,
      8546
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x2ff20673911bc03ee",
    "delay": [
      36337,
      43822
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x31c2b718b6fc40b69b1f09e366f814db0666e67899b0ca8f25c05a0a6f3d69b4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83600,
      47625
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      578821,
      59702
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x40cdd8082c92f9f7b16faf4bbc2a6e366d40a06a0f6e63939455e9e1678c9221",
              256
            ]
          },
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2143,
      9709
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0xdb80150c550cbb1f001056",
              256
            ]
          },
          {
            "Uint": [
              "0x2329",
              256
            ]
          },
          {
            "Uint": [
              "0x2e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63468,
      17700
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x2b1133021772307b22c83133847e6e7f6dbfc4cf1d618cee021a137ed9fdff59",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11556,
      4638
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59476,
      19533
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24510,
      6318
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      205272,
      717
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55682,
      24673
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x1e847f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68063,
      14486
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34940,
      4586
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0xd7e3af81fe3c7411936869b9c0b024462a2fef42961b4ef1cdd52590ed19a5db",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21313,
      4544
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360350,
      29214
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          },
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          },
          {
            "Uint": [
              "0x3e8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34036,
      29569
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5530,
      38506
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51180,
      7200
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70188,
      2315
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      109391,
      39155
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x67",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40751,
      40586
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7669,
      12709
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81836,
      16348
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x4b20c0daf9874b3d630022a00295e534a51d282f46226ddd380f3bd98d927245",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      409435,
      47523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86404,
      15534
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57309,
      25815
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      10,
                      13,
                      80
                    ]
                  },
                  {
                    "Bytes": [
                      133,
                      15,
                      211,
                      131,
                      202,
                      116,
                      29,
                      111,
                      164,
                      223,
                      41,
                      181,
                      183,
                      107,
                      86,
                      70,
                      116,
                      150,
                      2,
                      152,
                      97,
                      7,
                      76,
                      244,
                      202,
                      190,
                      124,
                      167,
                      144,
                      14,
                      248
                    ]
                  },
                  {
                    "Bytes": [
                      17,
                      248,
                      231,
                      167,
                      204,
                      12,
                      134,
                      230,
                      194,
                      78,
                      71,
                      26,
                      151,
                      164,
                      219,
                      40,
                      203,
                      116,
                      67,
                      185,
                      118,
                      111,
                      97,
                      212,
                      86
                    ]
                  },
                  {
                    "Bytes": [
                      47,
                      221,
                      168,
                      36,
                      61,
                      138,
                      163,
                      33,
                      161,
                      253,
                      83,
                      234,
                      108
                    ]
                  },
                  {
                    "Bytes": [
                      135,
                      184,
                      49,
                      205,
                      87,
                      29,
                      50,
                      127,
                      250,
                      22,
                      233,
                      204,
                      94,
                      26,
                      192,
                      175
                    ]
                  },
                  {
                    "Bytes": [
                      195,
                      36,
                      86,
                      186,
                      249,
                      35,
                      125,
                      86,
                      145,
                      253,
                      103,
                      177,
                      39,
                      80,
                      62,
                      25,
                      62,
                      30,
                      37,
                      48,
                      66,
                      148,
                      189
                    ]
                  },
                  {
                    "Bytes": [
                      127,
                      22,
                      22,
                      224
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x63",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x78c7e0a94b8ead6986c89663580120d70288a493525135ef767fdb318aea999f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3f5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x81ab6a8a203e2adbca37acb979038a244106da6fb6fdf5a2159e7cd2558567c3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2b4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x45bc4d697c550a76d5160696d07b4ec3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf61943b17deeecca425f7f49798e4142d47c44748f5df2e22263cab9beb8311c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x137337523261acf4937840b32f68f6396cdf64ecbb3c025214cf5c15532e17e0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x79ef6df9f591d655e6cbbd43eb4b83410c9ca9aaebb2eeb4ed1ac25dc8cc5ec",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd5aaa12e2f989684b8586ccf1d3ce0be86efda236a8cf15d62697960ed89160b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x31",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc0117334ccbc60736d40a90a6d532af778d829bbda4eedec967b126530610a56",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x11",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x211e6b4d22b0e912bef22d9a6ddbc93f89e2f16b42b97114781e6a92ae4e3a10",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x12a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x391",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7b51505c4d5ab52a1a02b0a67eba31dd91ab3f4563032382821f67203ec3bfe4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x100000000000000000000000000000002",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf580515e6c44bd60c239cc24432eac10a42e52dad714f4d4b85779912059561c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x24",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x63",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xdf938a5352fbb2b4a1c37883d14e58a6afd2b74ee1085c9fdc2c2099d37c840b",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x7c4bd20a89e841d927702b015672e49583311966cb0097f3bd6b1acade708e22",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9c85897c84c4896745ed1eb67f57a3fda7c0823013b3801b31dd1c1283da27cf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8c8bf293d5b7bb2c80685cf74247de2734880d6c22c439123e5d5f1bb2ef7bd1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1f79d87b442bbfee58b6a33fb5a2737dfcea410d9553329b99567d00a767c0c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x915fcfa3722c05051eb3d5a6738f48739c19f29eceb01dc808bcb8fd5e4ed4dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9d4a1be888247e170d4fcb693ab15b10da57a77872a76eb938d3576b27aa6bc0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x541a0bc6bbaf3694f08e77ef5ba5f9307f0e167c09b02afe1e9c30bb29378c9d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7ac0bd7f37ed4a6e0f1a7025ecabe4c2d2a45878bf39b6d04abe3e7b921e060d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2c0463ef925b471576514e6b5853acc4a02733d105aed40c8eacc8fa8ab0c5d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd353f41eaed3f416e0dd023804d2949c4f74a3503d002b7736080f1ac5d557a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc05899178feefd143f5f20c1635a891c358fd5cfdda682e4a9f12cf987c8c81",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa9012bcc58a7bb10b5e05ee794e55a3cab44c806c0bc90e169754ed7e9367d05",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x7c4bd20a89e841d927702b015672e49583311966cb0097f3bd6b1acade708e22",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9c85897c84c4896745ed1eb67f57a3fda7c0823013b3801b31dd1c1283da27cf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8c8bf293d5b7bb2c80685cf74247de2734880d6c22c439123e5d5f1bb2ef7bd1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1f79d87b442bbfee58b6a33fb5a2737dfcea410d9553329b99567d00a767c0c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x915fcfa3722c05051eb3d5a6738f48739c19f29eceb01dc808bcb8fd5e4ed4dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9d4a1be888247e170d4fcb693ab15b10da57a77872a76eb938d3576b27aa6bc0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x541a0bc6bbaf3694f08e77ef5ba5f9307f0e167c09b02afe1e9c30bb29378c9d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7ac0bd7f37ed4a6e0f1a7025ecabe4c2d2a45878bf39b6d04abe3e7b921e060d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2c0463ef925b471576514e6b5853acc4a02733d105aed40c8eacc8fa8ab0c5d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd353f41eaed3f416e0dd023804d2949c4f74a3503d002b7736080f1ac5d557a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc05899178feefd143f5f20c1635a891c358fd5cfdda682e4a9f12cf987c8c81",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa9012bcc58a7bb10b5e05ee794e55a3cab44c806c0bc90e169754ed7e9367d05",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x0fcbd15efb46bccaef26b418d0d0bb206f506e53aec04ee41ada483529c200dc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9588f88434aff7caa98b430342cc53b5e1de064f198d871104387544500332f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0c8e322776a107f92436c847fd78e5b7cfad1de96f3bdd8c03ace8cf56500c8",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xfb46c1dc42c487ba51eae8217a39d18a2ce4949a67c527270c2a8de9f78be93a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x364402abcf3722be580029e86ccb842e7fed57610601863d6b609a761187d49a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38987e2da04da9946c8fd29c0f9eafb70e89700fa28d33bded278ea5750a22f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7d1600316451dee0e3a82be2b319c7dd75e66d3e8b5ff200db6c3acab0b5bf3a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x59b72639f3c1918ed8558180584d3f2bc35a58f5ef2ddc0c2171e5525a50b722",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa5da7be9563a91bdcf69d926c2747c0d00e4153b417e850d8500544a3641dc62",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8eceafad6fcd264af296458665467c172bb6109f87a4625b7682010beae03e95",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd202e8c7b86918584186094cf15da06c5b7ee83e32d4e293f2dc89b4f6fa91c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x50ea8f53817e4b795676fcab4695b83ad17b4aa1cc98d9937030f555cb4c41ab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2c8bdac59a25128b4a2b8dd02288c998bd7b59ea73e416d06050c2beebb53ae8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d348ad1bcb0513e875251298321ea0caf8cf04001d3c983ca1e147b94da7fc3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb35aee9897b8b5f355058562802c253d3cd0e2edb1d828c1871f4df0295123a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f2c15cdb5016dfbf919af3e1369e5374c59866f65d19b437d02921a12bf8c1f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3cc3fcad0a4cbd23bf8805534a7c30955a037296807af5e7146ad37b16d4e005",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x94a4a7b7718986a9c486970f580765200541e66a5fa620ccd34e868db0c76caa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc842264126489562f40a8a9b3409f90fbec343484acb23f7fb587eeeba8f41fd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfe80cbe065e1ff212f9ee59cab71d2e01e9b6a0fbd6f6c1fcb39a858f4c20583",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x72382297847156078760bb1e4c593953108bbd67c1f69723cd01641eaf096175",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcebd241dc5606a34a74f271da1ed09afa384b6d4d694d2904c4c7da83f04a5af",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x965931ce4cff145bd2e93e8e02a4956011ac57916368868dba7dc5fc2b983d47",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0b6db1d53f496a68cbb35f69c33f85932e2f8ca2f2b754e1101eed6778333f74",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x68e2c740171c7345198c059f0321c9ffb50bfb8771897381be2a4d1be810f852",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xdade1c1effc5637ab16d91cc8d581b71427633d0b68e20b5b3ee58f5394b4c76",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb5448bd806174bdbb799ba65805c543b492f49f90686e9a0352dc4a777558c3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x87cbbf037a9b8e5c1975696a316a537ec6ac470d2921819d23d801d2e1f869ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83476f582a4b7e0344042653a2f5b18d6b632dd2db01ad3dd661abda3341dbbe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x86f456117adb56adf1f9429adb4d6dd4694181ae9fff59e14fb8e4fa16007f5f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7bc12afe3eab2252d423ff5c2ed774d22c4386c094dad6aa7e24f961ce2e8eef",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xef20f0c9093d0293f725e33a85b85264b59506c15487ef89b83490b21235c34e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7fbf9956dbdc035ce60bdf12bb7ec966a8b1cebb4fbc735077424bb99d6e29a9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdbd05e7af435d42d9591cd4200830a16ae539928e48e52b51bab925126836963",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xee833c183fa00b20e0c798f0b9e6eb90217831f6b820de062c551f9caf7ae451",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x331cfa50157ecee7270a0fa2df9ecd10e94844a936882b6d944eee2340089cb7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x703e27f9206b83c092b121f640a9a7ddff239e0ebcd325e76f0484a97c977e9d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd6ff0e19fe3a90fa4be7cbaf911c7fb1b645780c8870765ba26ac4db0fa51432",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9f2c8adcb090f4fb1a77dd012ae136c040ed8570089f5e8dd7fd6e99ea0dde3f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7b60fdbd0f3bc422fb83839f4a4962ea57feb3e2ff229c07ec0df5479536330f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa482c2d1cdab6f319e5c38694a0b55cb23dddeda00aea89e0bfeebd7777b1373",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe05321c109eb69e0973d741c6427ff31a48ea59e8e481dd6f2981c9a11a11b9c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7d72e34feac0c20d8a2756974d8a895ae2362841c6deeb954344cce081367196",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6fc4675e91bd41d53af74a35001b3e907888e99608213856e3afbca25e9bba0f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4b19e71f8771e2d35048863c9e2d09ea216f96d7cee17632e460b4c415cc1f57",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2d68f9bc36df4e047e5604f417180fbe613049da4c0e54a5e323d83c2c25769f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc78d0e88ea7f1b0c47651be2503d4cbd058c6009d280d93a2b50df195303b339",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x791bbbddc27f8f0fbe4764bd0667e3540279b363477ac2b571ce47b0792ae9ed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x633d49a2658059dd1ce7ef4e4eb8367cc712784b67753fddf6e2bcdc28b27382",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x31dca8b2ea0daf97cd0ea9ff00e6d3ab710e2254f391b29b7ed4417a4c3a0440",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb292aee909e163daf75c640fa9149af8a71e4fdd40582558a41a29ac1cf6d773",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdd0b660ecf81b5f9009170c2ea2423e0aa94e553d85e587f8912950a75ca3be3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x31d5ee8f4f6cfbca24cdf9fb1924df0f82c1e2124e044b9d6ec173967389f584",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x44443acb1a96eb9a9178653ab9a0aad0f46fb3095fd041a6708576e0198adc23",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x90f608c23775c7a59049c67141fff41fb9829124672f2b52d44b0de0422d8160",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x33d9795432375dae5cfc80420f31e40329e951e99be324bb636e3bb1e1f488d8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2efefdc3f75bfbe8dbe61258984e8d8f2b261430b87576262678b2bdb1b1b279",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xdcdc4f71540207c0bdb092023f5cf8dae47e25aae23064797443504ec32a8708",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x014bbb14fff5fcba58528c82e7407f27bf614d84bc8ebd059288d7bf79e02108",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x03ecc15915d03950d7f9d1dcd54d5ddbad37b923a68903875f79124e2f017aef",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4878090442a289a90b16d931fc15f364126dc51c664baf78e6c4e9480105f015",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb2170db828f5a2a15da136500f947cf7d79f1117f22d2c45b956c6419c351881",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x997a818c4b07421f566762cd1bd4812bc7dfa03fdabfc1457c73a8f93a2ce2bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3f9ba48843fd206737df794c4b6978e7aa02fbff5ed565ab5b929d2e6b2a12e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0aa97ed8f0995d1974bbc5f090829fd5acbfb457f4db9f67318513bccbc7a06f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x33f5177904e8fb0aef0f94a535839630ab2ddf994c5ca23704e1671d50d6b8c4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3986812548267de163fecf82df1add47a270d701de4d3382fd905b5f691e014a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd05033269e39573548d638606d24779152e3274266e02945ab804d363a9211a8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d17c4a4b0d7b4ced6a8a5a2f94e1dccb63363e34a7e993bc8c5c5f14bda8d71",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6b6b1ffaee8b1d97276a35c770d44141e443140ce163343add001994e0ef24a4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x51d97e12c1400601643e63030f237b793e9ccd7b0d6b02515fb88cae13e35c4e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x13e48ebf5f14817b765799149197daedd67a5ecc013c523a63eca020cbaa7670",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83e9e9a65fcd434066cc150cb0925c5cef120bbad3979dff17517534b29a6e7f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb468327f237d220c6496b576cad9299f325b16f32d8619c636693ddc2925026f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6b0a402b1da16d884a99e7bfb9eaf414e828c3f04cb8ce2d443a006f40e6e71d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x560951b2748f910f0b3d7e9e459232222069204da4e25ad420617c7c73dec5de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7d45c5ed72b7b23abed32e31bcda703a6bc3a868bf6e0561450aef3c131f53c6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb0962dae3cf05cc6853c4c2ee744d1fb4f4397fc6d3d1e435841fa1d6b22bf50",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x66b63f67fa79349686497c02d5ea6d56c6b7ecd4df30f1264d281d2ca139b423",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe1faf2502bba084c8d85ac21440b3fd021afb0225248fa5bad783bb06d6a0232",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83d1c5ec977d3bfc67d3fb4d58c07e3ebb7c24abf9a8dc5b79ae5cac93d7817c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x86a6178b9c8ddcb126bd2a320eca701c8c40eaae71c18b9e6b4b4f11b676f04b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d9369fc150bc6ac638bcf3f86c38d3de5e6d1c4eba4982e5f9df9fd29a76122",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb41610a21778803681cebb2bf1076d4a667106d482386bef895bfbebb62de602",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xef4a4e5d6854b4c266685689074484e6df003bdc76b149f1c478a40105f9fb39",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5cd9d3334ce7c0aa229f41787fc495c0a24ac255d684355d57c4f2a5f2b31335",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1c36c7fa497f0ed1210f66f76710ad2a7193a23299e5d876193b7de634260ceb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3bd3b1172f5337b1a170b001563eb5f1f8047e819216861197413221f7e8796e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xbf317439befecd6d2e9a31585989d5041f4ed3c894b9ae47be2669996cb3f9ef",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x497832307b4579a7ddedcca81b39112c0f21810c69ecfaecc7cf20f3964e074d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7d1f1513b9cdcf0c9ae657182614a72bfde49f867c74f5e4c491a2ce32a5dbc4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3a38446b6ab9fffbe8ece590246b85828fe5b4687d106e48937b732b757acfa9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdb398b60c63ed002574ad250a0af634dfb7bcca1467798f7f6206f1718e34bec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcb0aee7dc6bb6d1e01c449f63b75f2429432a84ecc464f0ce78ab1e5747f9d7a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf50477453217cbc319fa45ad435d25654ae037892ccadd59d0622fa1e1e2569a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6ef0c7d9ed2daeb32864fb3466d232ea76bf78a47ea55a7928ddd90d38a2836d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x59defb6d7f9c78f9232820b2f051ca2cd5343e4bab0b4157385cd66049158c37",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x486744aa1afa77f75e0b61d27ed92b20a2346a5bf6c8840818bff42666734a15",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x61df844a37b3dd3318200dcd26af70f94865f2698739ea6d8e320aefc274a669",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc2c19aca54afa55148e01dddb264469de22360fe483be915b98ac26ed0648ac5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x51d9b1f7cfcce878f4b7b67bdaaeda0a962973467abcad0dfc6c2aad2885a861",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x54c7b49920ea7066f2daf75c1aa5d2c30c151896c44ac1037ff957d2bbd5cfc7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4aef0cc39d79602b6ccf274803e7428fb41357434f4c9395f6e8a560298fbb60",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa56238f5c767ae5b07e535d023dffd99f0f879e41bdda9cb2cf00e4888fe5274",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x84b55a49b452a2cd3c30d4ff37321595781efa72f83f9045b07fba8714bbcb70",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x26a8e9cccfb2cc7873d510fb61e22af309a1fea76b6830bb07a0b184f8fa1d36",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3698648215aa4e174323c46be4929040983d0802ac7fd80d240579cf69bc9651",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x58cadc106649fc74bf0fd692f0697b3f707b251dcd29e74d0e89b8aad8b6c339",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbbbc2b5637096c435138400fe6ae82f8e60c61d6bb8229fac76d48d89974d7cd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04ed5509e374e76b4ca399674d7999f16ef877202aa2f4e11225dfe9c1ea3dfe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19129841d0a14055996c77a8d57424640403301c5d57c04d1df9198f8a109359",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4652c9475fe590a07f4994c8f4c93a34489a665aee68bcb03a8138ef7fa2009f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa4bf23e9b9fb5a997a65a39cc9ed9532cdf51e56739d9af4cb4529ad6ed4eba3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd5f654b2446806e2c2ce1293e15d47c95e8a77d81128324a7d8667a6b31413bd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x06a6e658cb060215dd0cac090e2f6013012d1ca7406e6362fd7cdc75cd55b932",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0129d884237738b00aa329efe65cfa38fa7ba442c126d869ff51524e1b26a4f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f9ae777fbf53a87bb1506d8157bad08dc8a260fd639e57a2bd9236ae00c529d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x088f1800f710c1cde805bcafb19cf27052919af24667037a77e46295abeb4c09",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x106d10c1e7a760714a3bd81be8c229dd83be0a67e1c8edde05fb495f0378b856",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5f0f1b3e5cfcc55d333bd50bc1c65f7f67d87a3a922f4834150eb6b0eaead479",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x4eab7c6b7a4d03f1a398b46b42288baef1f2750ff6b74c3b1bc07b4573de1f69",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30fc1a5700a7e5a46371d415c215ad98414a36309f9f9c809fea78bbfdf656db",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9b4bca37a14d09f363c5a65e3c6e191ac1efcf3ef33f45522451e0ef46e48133",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x108b51efeff0a9fd215a1bb077fc452425f54b8eeee8a3a495b999d0e8da87ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2e7fc9502eee141b18fce36d74b41405752a6f77b4439b5437fc2c38ae8809b7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1930f716985f1065d6c89b13973c6319837afac754f3083130a8bb2fc9abceaf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2e9463ba0a38a44f8f9a9a5af97280290658e5896841e72a1b7d4bcb0253c1d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x879d8109cf772ccd79db3d70994756531a2bc71c4630906d66f850d8ff616cbc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1c9c90d0f6732c6ff5bd1be3257275b50227eeb51f140bd9bee956fed5237dcc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xce090048b787f798c465a4a4397731dec0f15fb2da942c586b04d2c132cc5000",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x593ae01e6ea0411816d64b3be39db870dc1b5392af3561c94dec282612a5d277",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa5200cf8faaa148cbe4667658cd005a65932fba6c87d259e5383ee4b750fd3c5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5eadba0168819e40bea802a7587c97ceb7bdf44fb0ec725ba733e694ebc8899f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5ae33b91b71439ea7aa814eb6df91524dcf1d230e070cfd1d6bf72e749b8766d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x03e92cda0fae07cfb8780b8dbabfe98fd7e06b87aa2022756b1ddb50e665d9b8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x666894bba8f59207ac2339bedc370a89fa33d3aed5975a6aeb22657c39bdee63",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x54a8734334a3242c25b71398110255e886daeffbdcbd6d8f86cadca677280cc3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd6994f19b0b546a80a0fcab49487bc5bf205970ddbcae0c5c4cdb32337aba60",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x49e0798b42cbd88a55aae9a12b5ff23b90c87a6aea762645dc07cea15c8fb05a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfdcd939d204b6bf43f748a16d9a89cc43ec25e2f83310d7d3505ad1d0ae53644",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcbb6605b79fd669f69299d4fa98b2c59f3fe191c379f381a2414570c48b8e3f9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcc1b74740d55a4c90f7891c349f9c5869d95ae46dc2b593a30514bec916119fb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6b53075c45c0d8701ac6516ac707d62b58a9f02bf4ed2385de2644994624aeaf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc2bf60a5eefc7670780b4449528381bbd265af396043fcfa0d2194a873e6f37f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0f4f5596601cf1d72d5818b5b293861b23d61fa95afcf9329d52cc4ef6688166",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2c1b34386e44447fba5adc29e05397c30136473738311eb09591c00c286f51f4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19336baccfa603fa5b3e7984ab4231d6a0eeeb650b6bf51ddcdd89a633eaea25",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6589730086b3b5e15657d6f274bd2217a85f9fb8e91933c2a66a6ddc39d0742d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x93c4606bfe02640a467791c33ebfd41af4663f5f4909e848fc0abc0820862fb8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe96420791c54fa6cb89151ec249ea50ee2e96d401b54dff32a45e23729117922",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7a1503cfb2e53295cdb0287e7a0729c2fa92a71913a22615a7e4c8a926b878da",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7128ad0b52a7f9872f40d8de02dcc9de642604bed47d7071404af9aa015e45ca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x93b587b496a7d23eaf2871b851f86c9942ba04ba18f5083e90c4cd3195b34e0b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc45ae3b7709f71db9ca21181ad5a7d225eb720c6e6c6c385e45faf13aaaf39b7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfdcd939d204b6bf43f748a16d9a89cc43ec25e2f83310d7d3505ad1d0ae53644",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5344a3879d7fd0ece55c9b2532d01dab2ca1ad3aad43fd8710adfee0df1ca938",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa47e499dea8ce198a172c6cf6a0f89488545b98e3ae2ae29bb591b4495ddf712",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe0612b6aa9f40c629678a31369b8c05aab5b3da2fcfc2b019cfe58e225238df0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab53a9187c1047416ba63b20b0029f5aba41235c50e590308ea499c2c12121ca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0244123cb574a05b3c194547713c2848c8ba559746b6c9c446b98e27ebadd95e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00fe5e51e397c91a2d630c570041db6d9d975a06347a0726456e11b75898d594",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x861008a278be595c508d5d0f81f8c848fdc2dbb56ee8fd451603f4aa3c6c52f3",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x9d31aca73e3436e9b7907ab13cc7935bb5dcb4ae73c21066c274168259383ffb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1c787ef94d083a8b78fdd02586188b462dd0f75a6bd8d22b68abbbf787437323",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcf1b74b5551123048c67e9611ad5b8bf6976381a233f927ccb762702dd921f96",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x28de7d27e001e05a0ca748e25ee672c5a2873c68b68ff612aa72404768a44b78",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0daf28a1c83aa6eb6d945762b8bed2a9bd86be6d08cf07604135ad1b40977c4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3c3f8dcdce367e3b96850d51facc21cc1ca220955e10cc975fd3d017a8975f50",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3342daf3cce42a690c7ad09166bee0b3827c81927dc0ad50974d603235b4bfb5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa920d94f6c29274426ebeaa5582e5b13e2287996de006b2cc597d013e10c4cf9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3cc28f48209a3d55dadf125c7474772c477f2e112d0f0dd982b8458325e3da19",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdbfdd8204ad873b034451a3a79d10a3279ef4fffed686c548dc47c5cd35b1a9a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc879e06d9f1bb53af77e83599ff3d221f7ca4c4b800e9affcadac16c8b307ddd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2a89ef6503b0dfb2d74ca7142a611df548b7622ed42c8d38ebc7d45758e3cbf5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc04130d02e26599ad45ca54e070468ba4b1282a2c4ee7e890f02f053d8232cce",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95900a92b4769e5c56a4858048d3d475f9459acce5bb2c49b8246df9128f899a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x761962504564bc3658a7c4e2fc422bfb2ebf6d16fb23152dfbfaba07ca00f91c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4837a3595c3ac6037a253cc8a3b0bb11e60e88aa1197f906e0b09e5d838688fc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd61347d73ff84badfecd7ed5506907f6f50a3f0ac6274e53185e1721c5a25c63",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf683774fb945293050ac1e10b170e96918b7c5c84698ebdf1a60ac07c634d545",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xba3dcd558a887273e8bb1facb4857d9bb2828fb26f2b199b403aa219e8579c3b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c82380e7ef83d6415eb016395cf1c4b2df193f74f5a9a924d6f9db68cd09f75",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x662dcb03f3d687366e62192be3c10ca8d7d1edff96e3cfe258ef780ef01cac0d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb3e9e1fd574ac77caf394ce7cd1f29443732cd23db285cfb28e175e60b00d6d0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9ff7c024bd34419d153cb9b2da6734545b8cd28dd091c62d52e7d55000d0da9",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x1514d6",
    "delay": [
      2421,
      10018
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x138b",
              256
            ]
          },
          {
            "Uint": [
              "0x2ac",
              256
            ]
          },
          {
            "Uint": [
              "0x193",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11718,
      6708
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Uint": [
              "0x24f389b79dc888823021a4aac0fff4af57c3f4d5a33ea44b699aa601327e4f2f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23471,
      3301
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0xf3efa3d98ed638e07c4b3f680d73f8ad147b396a716b40c58d8e779fc2f5ac0f",
              256
            ]
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29056,
      10542
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      515719,
      8288
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4564,
      4655
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      399990,
      25045
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Uint": [
              "0x3",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47716,
      4197
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0x80",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27543,
      22022
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69208,
      34458
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x7dff01d277120fee5a8133604841a55de24d9785cd248fa33a872efbe538bc53",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64109,
      5031
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0xfffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86859,
      4514
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71345,
      11541
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      404,
      9004
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x79",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19599,
      52508
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x7d3",
              256
            ]
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2085,
      11107
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xffffffff",
              256
            ]
          },
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42894,
      22287
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63738,
      18635
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3619,
      8735
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2842,
      55268
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          },
          {
            "Uint": [
              "0x8",
              256
            ]
          },
          {
            "Uint": [
              "0x5f5e102",
              256
            ]
          },
          {
            "Uint": [
              "0x7cb041b0e6cb1a27d9a3903188a913321bec65457b72c6bc4ff469770d5b22cb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118344,
      52356
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0xd2b135becc543295c378e8c7a5e617c78d93312f0fd07e8a467e45650513c74",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75456,
      23363
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0xa0",
              8
            ]
          },
          {
            "Uint": [
              "0xade341922e04bcd182988feaf1a27712725a59ec0975529580c7beab977e6009",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38220,
      17157
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73486,
      26212
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xfa3",
              256
            ]
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      168599,
      12208
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0xc52d5628170abacf1c54d5fd66b8d233cd93e8423c7bf47337a509cede3948df",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3620,
      48475
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xcb98fd509bf124663a62f0f6c0bfca8c1e0ed0d805313749b52182627cabe4f8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      593988,
      7948
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x87254a1f0539b4ad3ca40df055bf97f146be95fd1b67df6c9f8329e7227bd4de",
              256
            ]
          },
          {
            "Uint": [
              "0x1c2c20060b224e56043c211e4ea",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      441945,
      19955
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28952,
      6235
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45298,
      12796
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118689,
      2950
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0x18",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10642,
      59509
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x2e",
              8
            ]
          },
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Uint": [
              "0x299",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      588988,
      3910
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63916,
      8878
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
              },
              {
                "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
              },
              {
                "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
              },
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "Address": "0x0000000000000000000000000000000000020000"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
              },
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xfe",
                  8
                ]
              },
              {
                "Uint": [
                  "0xd7",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2a",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc0",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfa",
                  8
                ]
              },
              {
                "Uint": [
                  "0x33f",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc4",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63108,
      31313
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x20",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70461,
      6538
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xd2bc32191547f8274a805bfc8fe27b5a7a476af169f2931c97b99c2bf748f5cc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8917,
      4536
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0xa2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83489,
      28191
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44319,
      20615
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Uint": [
              "0x12f",
              256
            ]
          },
          {
            "Uint": [
              "0xf0f5ab7f629c2c7901a3e8301d420374b71ef19c5a1f8c717d462b932d7d4c61",
              256
            ]
          },
          {
            "Uint": [
              "0x68d05168de851e166be60e8a04d93d9e33099dd14823a293af420731bc2de0c9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      319937,
      33291
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3578,
      43029
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x1e847f",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6349,
      28194
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0xc41a5a9a6368122de244702f65a05e723d2b77bf239836e325ef8188308d73b4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73371,
      5559
    ]
  }
]