[
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x66",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66838,
      37763
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          },
          {
            "Uint": [
              "0x3145bb6ffeaaba8bbc1a8522de5b668a66d2ef2dcae1eb6c5ca3ad670b2a541d",
              256
            ]
          },
          {
            "Uint": [
              "0xb8",
              256
            ]
          },
          {
            "Uint": [
              "0x1d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9001,
      52090
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79482,
      39794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x6b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      446515,
      8713
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72190,
      25908
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x8940e2af0ad6e24faf84219188d02ff3c2e9dcd66e8c19d9ceab3a54896775e8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3030,
      16877
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x28d",
              256
            ]
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      575416,
      25535
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0xafe1902cd85b8924166244771cbf4f3e0b4b3c591a91621b5eb255f248fcf7d5",
              256
            ]
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51184,
      60034
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0xe9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41004,
      22022
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      474522,
      26429
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0xc4c90146ba77c6c90f0755334249ecc86305825be97bed0b7befeae9fb4bab9d",
              256
            ]
          },
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      390901,
      7666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3280,
      3868
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1923,
      9056
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                  256
                ]
              },
              {
                "Uint": [
                  "0x283",
                  256
                ]
              },
              {
                "Uint": [
                  "0x211",
                  256
                ]
              },
              {
                "Uint": [
                  "0x41",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe5c12d09cea986c46168a06a9e5456be57b4c1704c8eedfbcf058aa5b2902b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x26c",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3a0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x25b9521236c81da978e0dc4c26b1018be37d9a3808099941db96acf18580cce7",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3e7",
                  256
                ]
              },
              {
                "Uint": [
                  "0xcbaf656017aa129f1bbb83ea090e7e5b2588f7298cb3495347b213d9ece162ee",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x463a1b3c073b0b165541031d0b423e2b2d1ce06cdd1206e38acac6dba421e508",
                  256
                ]
              },
              {
                "Uint": [
                  "0x40ab027bc850829967e1a84cf4612c0220b4c6e9c70b4ed1022e616170e46af2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x377",
                  256
                ]
              },
              {
                "Uint": [
                  "0x64c97c99a98b01b24998dd776f120b5f9382adf1288e9e8f6aafbdf05828a0c7",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1b45b764c7aacb38407de",
                  256
                ]
              },
              {
                "Uint": [
                  "0xccb5e11122aa0425f72141b29b85438c2f14ebce73dd93db73f595bd48583a67",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6e",
                  256
                ]
              },
              {
                "Uint": [
                  "0xbc756d18ea65fafef9f10a2bb28049856dff409c6160dc0b5322c4a5a5513b8",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd25dd747851fdd5d41e246a96392e63383014a23d36d52b8216f626d1a3df4c6",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2ffce250a5f7ac04980d9137fd0b38c0118cc566f284259b14d1aa29168d570b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x57791de33e36ba512c159f0192017e48d70ce0cc244cc72cb02a5ecffe3466ea",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x18",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa597c6722f4c2ce1ca6e278a773189c53b94796314ed790504c50880df3c8f52",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa5",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x28acbb3b",
    "delay": [
      40087,
      30501
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x102fd608cde90b3c367c4c48606b0c8eab6991bab2e9a000b08e7acef332f10a",
              256
            ]
          },
          {
            "Address": "0xeca727e0c1834be66dea10d525e93d03aa874b86"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7689,
      6469
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51656,
      25528
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x4e",
              256
            ]
          },
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62314,
      937
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x25",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7758,
      12523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0xca",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41409,
      4354
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0xb5adca8d43beeba9964b806be7b4dc9305b89b409f76970366c44f80335f32c5",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3d7f86b6164714ea9d93bb38c7f2211468344131dee6eeac0379cacb930d024b",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb113970fad926929a5f017f953527918691582e411cde9bb26baef60f0da8589",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0xaa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x51",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe0ca3b4690a3bbd150077d68d6a1c903cdaf53406e1e9106e92d9bb03a40c80e",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51332,
      4143
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49713,
      9655
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x1e",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11247,
      2678
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x09104bdd342d3312a081b4803c56d5b208c56efb"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      522017,
      20782
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11718,
      31515
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51990,
      21120
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x540645834aae4bb38ada9891c000bae687663f12d1043428fe38c41e6cbca82c",
              256
            ]
          },
          {
            "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64740,
      44838
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0xb2d60fb03724437d9aac67c8d3fee72798d7b582"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x3f7cd43f76a58e034f87b9a1b01b659f86cc7c70"
              },
              {
                "Address": "0x13b70a8d22efb969e3a3ba2630544912a95bf0bc"
              },
              {
                "Address": "0xa309e267ea3f23e63f0c33d61398dc9f3b9b12bb"
              },
              {
                "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
              },
              {
                "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xeca727e0c1834be66dea10d525e93d03aa874b86"
              },
              {
                "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x56eaf8e2d0396374651ab9761fec9e8bb3b82b82"
              },
              {
                "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
              },
              {
                "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
              },
              {
                "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      103366,
      6827
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2691,
      9955
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65143,
      4538
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x96b72ceaac34d35d0296c3d274e2acf9a02799f7a4adbf9071f29360cbede485",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11374,
      35741
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x35",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      274,
      1837
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0x99",
              256
            ]
          },
          {
            "Uint": [
              "0x2b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      471135,
      33736
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
          },
          {
            "Uint": [
              "0x67a43947ff8ba228fe898a38ffa11419b3ae73403d719b6fc66a7b8557952d8a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1860,
      56357
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000000"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69034,
      30965
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75919,
      26198
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      552804,
      14064
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x87",
              256
            ]
          },
          {
            "Uint": [
              "0xadb2dc66d8c9120049e86420ec83e45bfbff1611fa291ee55379806d8ba56c27",
              256
            ]
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18910,
      29505
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0xd14266ae90b67eee74ff367d246e85863296209343e81032c77893bd7ecd420d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56755,
      49141
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x152f34ffaf759513b0042e83bda5f67b3e825732"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8942,
      41946
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      219348,
      57045
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73066,
      56708
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9008,
      59578
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24578,
      21858
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x20",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x4691ed80a19f0c235",
    "delay": [
      25333,
      8898
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34396,
      22515
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35441,
      22473
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0xc6bfdcb8d3eb97c96137f64dd76a4982576f4ffa"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119616,
      17430
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x33",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5440,
      5793
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x70",
              256
            ]
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4842,
      4959
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43599,
      19241
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x4547a548ba203dc9c46582ceac66a911db353103"
          },
          {
            "Uint": [
              "0x64d0735f75a3606f6a7e530a00d9e15a",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48381,
      24170
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9659,
      43896
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56955,
      55416
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x80000000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      218152,
      19863
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85338,
      23008
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0xb0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4011,
      41942
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2138,
      1789
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84812,
      9258
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0xcb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32642,
      13535
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19704,
      56036
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      458886,
      24887
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      522013,
      1806
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x8f7e780ff23e10dd4cc6aeaeb9e4a3afc44b57ddbee2f4adcfd34cc16e8c21b8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5458,
      5316
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x71ee737cb807baa952f40df75bbf8e3cad047b19a72d1870011897f96f55d526",
              256
            ]
          },
          {
            "Address": "0xc421353114300aced44562acf008fca1458a32a4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78157,
      56000
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x1f",
              256
            ]
          },
          {
            "Address": "0xa7405a882a9e0a3109cb1f6f05b5176bd19d825d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25046,
      25608
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x62",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0xa309e267ea3f23e63f0c33d61398dc9f3b9b12bb"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75394,
      22039
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37176,
      22717
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Uint": [
              "0x23be1660187d8adc747e3a98f40e36c54aad3e1841a9e4ec6873280a16460076",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9695,
      44096
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x1ce",
              8
            ]
          },
          {
            "Uint": [
              "0xca16240bf9073d3f4d9d393e636263ecbcba0d2ceb5a44eb07ac35983d21bc50",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65864,
      4515
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          },
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62678,
      8208
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x92487a018fd223eea53765c438b98c5f2c3e6f75c18f1cdc9d46b5066b991818",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25272,
      7130
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0xa9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78759,
      9315
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x7ab61880f5d4a043563975f47eaef4c1140f5cd2522b67f3857b482369420ceb",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5386,
      37444
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      207838,
      50395
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x4547a548ba203dc9c46582ceac66a911db353103"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37798,
      27192
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43552,
      16942
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x6078e63ddb17a1a325f3968ddd22293d092bdf2d"
          },
          {
            "Uint": [
              "0x216",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60388,
      22624
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x93a80",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      274735,
      23786
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      456641,
      45520
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0xe7",
              256
            ]
          },
          {
            "Uint": [
              "0x35",
              256
            ]
          },
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43457,
      23668
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0x5e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      541298,
      13302
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x544665061aeba7057205f840e273851c2252be2d51d5e8962e23c9254d56f718",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      429304,
      7591
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          },
          {
            "Uint": [
              "0xfb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51329,
      2816
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      288,
      53543
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xd5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48892,
      8922
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0x20a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2396,
      21836
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57924,
      15961
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xedd4d483b7cd5db74c17ae5fdc3519868a1d575312feec2c5b357bbaf2b2bab7",
              256
            ]
          },
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          },
          {
            "Address": "0xc421353114300aced44562acf008fca1458a32a4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56121,
      8128
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xc851e5cf8d482855e5b4b90736534dac464949e5"
                  },
                  {
                    "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
                  },
                  {
                    "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
                  },
                  {
                    "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xc421353114300aced44562acf008fca1458a32a4"
                  },
                  {
                    "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
                  },
                  {
                    "Address": "0x77bd4364620a13c490de0d4cbb0fc014646972a1"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xc0ef6faf9240cbf9fab67dd776a7057b1c26be1e"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xa309e267ea3f23e63f0c33d61398dc9f3b9b12bb"
                  },
                  {
                    "Address": "0x56eaf8e2d0396374651ab9761fec9e8bb3b82b82"
                  },
                  {
                    "Address": "0xc421353114300aced44562acf008fca1458a32a4"
                  },
                  {
                    "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
                  },
                  {
                    "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      86,
                      234,
                      248,
                      226,
                      208,
                      57,
                      99,
                      116,
                      101,
                      26,
                      185,
                      118,
                      31,
                      236,
                      158,
                      139,
                      179,
                      184,
                      43,
                      130,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x4ec4c0af7b880747580c5f51d5c5a06369c085efd4f83555c15e3fdb09f4dbfe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xba",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x71",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4e7474d7c70069d7ad8d6bef220242d7aad9a18f6e23b62f2b85252130a1dc32",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa1d2b737d09e3d4eb193b7a9575",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdf",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa1e88b4e8f4edc056eb4f933f25708ecfa187557205ea3e58b4dcb62161271cc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xab",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4d68dc2b8d11f21e187eff47ed57ee90a0e81e7aa542",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd9aa11a62ca279ed736310f4d93451f2a1b2fd463b0485e762700533b44a3805",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xcce740e583e1eda4ed17bc6a2d11ab9cb44731d07067b22907a8ed57b13f9628",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8dfaa2e54557aa9b59da6de1336f91e1a8f87bcb84ec21c4ee8dca2292662373",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd1a82b9ddac5d5df47ac108f0895d2231ce9ee8d1914ad70a4d1a951ecbc0c65",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9686dba1df0d9661856195917c069dcdf9e5528906156f03ee7855e376d3bf01",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x67",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9aaac1c4a37450f6b0da1e923d2a35c7c3e68210cb7c76338147f8abaca9d443",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xbb850a9f2ea4f45641cc46673cc4b82c64e3d769e90d578eadc7eb44172ba426",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa1",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x2967fc3d83eaa2e308e7180fbd3df439a5e4bab711b8dbd4498d0907c5772105",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe39caaab9416f2bbdb2d6629760004d8edd86484f2a76c671c333fa2bd8ecf59",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbff255c9b372f7eeef53aa2932858b89b1959bf48f70d517bdf421198a2ad976",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38f29e2c753d97bbb36b91808079293401129d1d04bdb73e62090fac891aefe3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa837b12e368141b933f5feda49dd856a405cecce805d7b8410d3e60526fa5f88",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x759a9f3a8a51a9d3abb13b228aca75464ec0a03a891acbaaf83c33ae72fdeb29",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc73c64b1ccf28555ceaad93866335c458994edb4f78c944887c329358b07d028",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xccc95bbb776292e9c1fc9b825315be85251ee7fd43ed989fe0585b99d2006198",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb96341e36e52ea7505642c756418ad0d9c4c92247b71d50d9aaca9700af513e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x68093b1fd22ee1969262923187e7fbebeadb25ca4df63680c23214841f9727e9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa2ae29dc2d39d8b3089a402427dead8c658364390a15ed13c980e8b5946ef45c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfbf3c0c16493c2eed4a8c8219a1f2091be7462d92f4e96ec54cf87abfecc541d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x78bf2bb307030817f843d74bf66ac083d85f134f9deea1765b73d2694f69b0b6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9e639c5d668c8ddd8b3cc11abc415c2083eebb004a2441a1cf72a7b676f0a2e0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x07c2041f2b93b0fe21c5f7d575631b6844a89e2a739e36273924100bb4de3e51",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45d1fc1f515e11a44403b5fdb1c0dbc574bc89c1b6be73b2bb669b0e3a979052",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd6c67922ad117af871dfb3ab966aee1a1f9da7ef3d09b942247094046855cb1c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf203f34804353255cee74948ce610532b5d6a03d2afd451a370b9d739a6d9c16",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x421889c101b40e8bb63ce60d1a9a459aac53858149514d72b959aac0fa594e1a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x384579343204fc3aac341c9350f17f89cfdbd11a1a333e82de684eec82566019",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x34099e3629cbb36a04342780c7744e3c5d3e54961c009dd2cd5cc40cd26b46b2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x84d1cb662ea7ed09cd70c1530adf117f5dcd23937811fda0816b50059598f0b3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2a0b729dba9ea91fdee947019619a3cfadf505756727485d9162811ccb65bff2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd5d4bc88864e4a799a55d08c15c1b071fd61e8bd4c05946099478a1a7a6131fb",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb6322878f2106515ab38d821a4959eb231d592bfcf15280fbc6580551bafc3ac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x488b3930d90861ff76f690c98c937834c8ab0e56e65d67a568b438650eaa3605",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x71c7b786097c3b14447d090e3fd2df6533a55b071dce713fa0a2db238be4774e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8255ae885a8d5714fa35f4c595cc7f62552b25948da36d949a8b4a35943aae00",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3f01a6703fc803618c8cafea159174b032a67597ae16bbea9865a6ff97aaa53",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x493868d9dc1b04f75286906fadd37274925df6333638beaeb04336f6e32d65a0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd56c3976be1f5fae96426e236c326cc3ff4a297e7330f08aef235a28901c67cf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7a1e4f05156efb7a382a42bb64a8ce9032802717a0be04e335b32b5c114615dc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xed43e39a3cbebbf76b02d996580452e1505e1894701ded4fab042c0ffdf80ab8",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x9d98f365f66277a7d24f0d3b1611894f3cb9557583965c7d4f87e125253355a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1bed806e32da90afe44a96ce30c0f9c54caec67c0df6b23598d419a09c23d1af",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb2dd263763be7ef2b45b57cafc996c49421f1fdb362bcbb25b2ef1151eeae0d6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1ab9ef2844765e9a8f4ab58c54420ddfb28f17552f4d1bdba0f9fa77a1dddc5b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x221a25b1da7938757debf8498404476c339102c8dd9d0668406b05ca4268aa27",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe8f626837e00ce9762b56458fa8c5deeb41e01508ed5cff801427b208d173c2e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x272685bf4cc3f25e85d3c52b3445450f294147292da0f6e88d74902dabfb6fb7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd2732b2c2c88ce82d4e6caaf91f03ade391c21ed5d4239f0d05ac83a1c00e3e2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xedde3c0f5248d20b43ad9ace36b6dd592a66bd8e5f35d87b8fa755016d5277bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4724b61177cda7651201e14750e164bac429a0219acd388d7e2d55747e283425",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x824b822b00b79552066b7b53ed8ac68bde0a88eda09dd579f94daf609e34981a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3416113a66a98ac2a02f2e2908fadfcb5ac7432b5e845a08f2daea82d8e1dcf8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1267cced1e9c8c3ab0f09e177031c1a26ddca0ca6308a3f20046e37933f40e67",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd82f58c84205629f8db0353a8080993c3d3888bf4b19512af96504a799db874",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7946625e7b8d898dafe404a1e50c9d6d92380374556b96ddb5fb9091f435bc7f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x74533ed5fb38b4cc32cf092c38abffcf064b7c67aedac6f4efb18f6da801e9cb",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x9516493e65cb7f0ca7ddca2871f27cdc138c6738e1e594fd3e85d537b2fbf36d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x66dfad4b0f761ca6a8f6bd338d7378826fcc453c85cd39aa4cd0a1d1bcd8aca6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0f91a4a8b034d005dd0544e4e17df0ee8a8acc5400db5d1a9aaa8eaf5c8bfabc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x427f3e060ee417c3607a6164f55c378dc912741ae7225c8bb95439dbf687c9e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x59a47e92af2820f595827517c87edec5993df77cb6e471f237a92196d3597312",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19616f0ac02ddfbe3db7eed0df39c666415aad203216e0fd29856fb0a1ed5c03",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8621bb40ff32a21d89581f0ce57f1bd5e8e2cb470da371cb03eec8441f97905c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8948291f09cfa3da42ee5a32788cfee1cee1fc42fcdb80543f1626095aa72f96",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x277e9b6a11ce77c487fb7bc7157ea8c952889134240496c260c66b753af290ce",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0e02e2e79b81fe5602b4af1032b1547205f2204dc396254677cc79382c58d59e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x1350081f1df9b7647909c4d00057df2640e21dee83aba9aa74d91a204ac77c72",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf645b1d468a140fa2bd1e0884c69d22b61edacc0bc800cca7dde720d72a7dc67",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d0ac3cc63c0db72171c9c355e25eb3c53a2d87cd5ade19cf2ec0fc80d4943a6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcab47223d096723de454287fcfc9dc2b78e3377266714c25d8f1898a2b04d534",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe2a59353b0759d8e001e7d997c89068c8407fb8295db5eb8b87df3aaf4931999",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x159379752d4e93c65df481b87d5141995acee915259eda229af2dded7477474d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8355f2714c99c7398f343363927d6b09f4bbdd3460e02c066bc49a26e12df17c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x67012f5c62c2a49c7855db61cf5525247060e37d117ac4d148e6599d8ca71fd2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe6b9eaacf0637ed96ad5e7f939cc68faed53b910511d66e1198b9267a23ff04a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc5cab525c1c7c6bc6ff8f2d9b7687237eae3c933c3dd556823ddaf6ba0520218",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x12412d0c38c84b50f2d44530519ad1d8b258086c2bae670ea411e32e7026de3a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf01c39edcb2c753ebf1915e55feb64febda0dd70153ec884fc8fee0d3ae75b79",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7e338035a1af8fe83d650038fe0f512b7f3feae12c5ef7eeb116c7214fec021c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe22db7911163550f07608f34009d0119d4f1170f7b1b3c80116a09871e0c8bc8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x23de4801b91e3f3ff5b21c620b5f4dcb64f9a5cda76c606d09e30355dded0f1a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x73bcd3dd4dd35ee9230234909239919c3f85c8c89f285a9c6854bdd97b5a1c0f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaa9fe38e74e6694f39d2e1e15d4397582bebd06467cfb70321d3118ceaa785d1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2bd349c2eb711b706757e2f401ce2d5bb79ef8d4df5aa946396650a25bba20a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xda19b4a47b8390d406372d5c645789718af56c764b249c25e64792deff1a740e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x683891bf7263ff784acecbf5dc2a9b14e87aa5f15ef46fb0c280f09682c2bde2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56ab8736f8d931f51c7374e2bbede114942fb342a03580b9b2bcaf104cbfbf14",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x35f17cc8cec997edc6fbb980defd1e3da8ede72e4da9435733fae68895ad542d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7591966a7e6d8eeb77a6fc0bf43146ca0e0a3c2a14a98195bcb42cb43499c5a4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5590cbc5fe261ec4a25cda7e2c6e99cd7d9b454db0d24113749e452888c743b7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe59a043ac4f63961b8eb22e5366690bcc5940fc1f4ac958a5affed023f7b9f8f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x49739bdac1d253ba37d49a61d5f2661ff39274135a6ce0b2d77bcb2a31906b83",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d500441439b8490e91a593a8d156838fafd60cb1334a8e9a51782b9b19db6a4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe0fb75801f921b7f723a78efd6d0ccf2967d3db6d23a7b3ed5eb98de6a98b629",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf407b3575b5e236e984784b362f23653b3151eb3d34576a95bbe92cca308d631",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd857a94266c434b29811e9fe0edfc3cd75c7185f82e273962f4b852b82a283a0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x096df612b4e0ce9d41a889674d62a8336e0fa02adee4c4cbc67e84eb59fbcbfb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6ce6decb03601c009f79bb247b59e4d51c153f1bdfc92f26b96ccfd7fcfa7277",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x08975515d1e808661f52c12c4ebb1df6b3bcd49d47ae51585050615ce700f5d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xafc3c0069ecc7d0856b7cfe916be9bec217f09922091d669c42eeb38d374c7ef",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb4c9a809ce8af2ee88e9514af4e166dfce2fca7664222419d7551c714407cedc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x39a5f3a456f8bad87c79759548d91ddea984d6d240893a800b682e20e1f17bc4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xefa3d6849b1b6a9315005f4acf07cf4eb425b2259f3de4dc3a47b60e47188207",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc657857852d73b709251a89a2ab0ac0ee95e5345c72c1c9595f3704f812d9c24",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4d3eedde9a4a9dd2d7649446814ebedbe85fa5271e2c55f8b2ec3e419938a3bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x80c95e9455cb9b910b81869f3859a615fc322fce90970b6ef8848a938c53fc84",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x784c08fe1849c7ca6b4a8db24706cdf69fab1477330608e677abe7e7d179dd95",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3587cdce08f6c336100438033dce71936f8e064da05bf53976adf4acca9cb627",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6d8e7f8e27dc996e0a7b09a0ef8fb12ea8b3f53021f5fe84ba38f587d0a3fd85",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x92b90bede6d28f26fe5655b92bd822010017cad9cc3ae38d64bb480540ba761b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd83ec867a5532cb2699b650c5f1d953bfb6fbcf719ef7398cc521d15c9c6c544",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1d247c3a57d0f478a813154c5d729fa72cc62e64a869e60aed83c4e1a0898cda",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x594d1ab2e20e571a1c9492d1093aeaeed50d6af3bd7831dc9a5d3f343919afff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x684736c49379b7c1a54fa5570b623f28253250200edaadefdb1d7483bc6a46a4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf5796d285aa10a9f530c2d495ac595484e55181426ccf590e5e133900e8947c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x733cac021f536adac9190d8638fe4287be0402a337900a7dabfeae34fa894ba6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x159eb2ecbfe4e581b9323827d4bf203f93f8b0490767c6d73e1d7e9e65a10b0a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd3a10195625b0b11040e0e662ee48f09a1044b967fb0552801e434a8aa3fed4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa9bb7562ec76ddc82877003bef875d5b5e353cdfb5a954a6a88b918e41bd50f7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x703aa4cce6230b0110a80358135353e0a727d104039df2e877c5990935ccaea1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xec14f05f5beeb848061622ee1dd662d03e33c5d50b615063b70590b3d28f6115",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2438f376002659e8bfd54d626d3c18f35cb805c6a07faa68f234238f791f5d1f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe8bb789a0ddc5ba9763033d4ed08c00679829002c0dc3826b59f6482507976c6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd94bcfb4e302e0106c663e30925118827460d5be73b6464893184223af066015",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb173d5e57a11d84fb1bda378c649846bd5efe0b2bf8fe2194a1acf6ca162beb5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaa50bf9967760199fe85644a2261f6f9d32ed5222a8e5a40fec19e49dc906384",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb2cb98fe92085517138ddd4cacc422f2d75f511cbe0902652a3e038d2bac643",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdbba1dabfb5ed617c644d9c679ad3feb194234bd51a8216113fa85e3dbdd9871",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd805d6cb33d68e3f7bca60590d334fe390081a691d8e44ff839bfa8f646d32cb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd481f4b0e070b0fb7443aa43dde2ebbdd7d90a02e23dc9e934dbd44fe0844ba1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaa3f2eb90cdd971d257c5bbb3f1626bd6a319c5dc20bad5db2ed6df404817199",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb0f732bf16475105c4055ef7db8f8e99c7ffb0f1523656c4701741e17b3f0ae4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5880811bfbba58ab000bca26e69ac3b5f6b1899193ba157728aa62159c59db62",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3f791ae55f3ca926b410adc38e72dce1c74034254411ba762dfd16a590fef892",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0f469033269c9cbb48b90b140f3f2bdfe039952707ea26b70ea9d477e1282acd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa34be7999de658987e6e1f4915b600ee1ac9f1578b6051cdb162419ab1b95267",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x26e90f62e893173407d7f0a4ca6cf43a16cc0f77ece10ef1853dbb23dd584577",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe45d2981af6f15c12a1b13a1bcf54a71d33ba9e614350ac9805a8740aee0552e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x89be479abf4c3fea1fc50511cf5b3ed2a32dab1607a86fa3117830c90a67eaf0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4733efa5243b2610d91d154d3fc84b8c5bac72dc5d71d6bcc328d68c9d75607f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x17b2e4b9bccb4b4f7579d5bc314eb9b9ec4a991e3977ec03d3875e59499c315e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x588dd1c824f6ab6c0a03bf250f8cb1e2a1cdb15497cc36f7c87e133c158c3a47",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x8e2f1944d4c1c49c2246a55c42da953cf70b32741865897279a18d6f69fb4c4f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc57d881615a881fc30aab4fe4ecdaeedd72ed5af08b4d88239dcf243ebe33f0f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xffa922d6aeaaaefd377dffc9fca9fae1827ff326017c6da9b09fad50c569a0aa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbdb65cdfc96d280ee45a5efc84a2257459ee5595eb28b48e0b07035fec325f22",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45c189ca76eecfca124a78a4aff08a29cef3433389113aa3246250d4d21df13a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa27927becb4ab49c9aeb4d4f92e5b98edcd60ac167aeb521d01bd94c6f6cd1c8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8f6df9830a6e8ec21bcdf78acd929bc016cdc8e1f1f9b1737bc75a48467fa20",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x53346bed0edaa71bb937604352e5a8ac90ceaac878c5b8a86ad3433c256aa1e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5aab0b12b84ba1305cbbc3fffd6902232da690bf5bd7310783440ad00bf1f211",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4b5f038c0283267c2596663bade9aca77cb9787994b0758e49a8e151c05553b5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd6170a7ff4f44b672c002c763e506c710d70b9783e28ad4e394b833b247bd09",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x544dfc8559a6633be990fe1cb5c991626f536fecd68638bc9c3ec50ebed17fd3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x319352ade90a3a2071caccdf71bc6601d8b19a7cac82bb5bac53bb958da75cd1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x33961e03b1fa8188a640fe5d8376a96bfa03d84307ae54c0a29cc3dbc8f135ad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x146514d522fe319ce4981abeb878ca5ff5a1ddaca177a2162839d7c8aa19b2f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcf1e6be5c43c3968b0a05ec591e0010ff56f89fd7e1166d0495155659c90807b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd8e13ef82e7ec1de74ca419abdc1c024108691c6cd1304fc0aa43ae6337c9f6d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7e63467955834295d895a8af4baa6e36aede40b9aed32064d526a889ed1218ab",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x45ff4f1fd00d663e423c9fe8002a6ffe9fc86670883921ced42d44f5c60ada0e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfa8ffd02793df17c539dcc81f1bddd4efc3cc6be657de80392d3ae203006fb1e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdb398f7c047df8a3217fb82885267f8403929bbb428839d9660b47aebc7a6a5b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x23d54fb543450b69465ce567df5f8fa13b7837c32e48ae68e715c61d8d00b240",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x12dd598b00e0ba5fcf780ea5f49b49d63c3ddeede129a7b940c432944caaf1f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3f379a9e837f7cd21adc542842c53eae2840829944fa228c4fe4e68650a6c390",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7e1c50650bef8a89d3529e0a123e54f78e2fec75b3c30928503f674163b64afe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x43622aa48c1efeccbdb15317c537171b777ea664593ff9681e56f45d8350b253",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1501e7460b02c366e138a94bc50ff5a9bab51c209d93489a056cbb1c9496d31f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbbc144f37e7532ebde1c1f14e00ef60e2f6210fc8cc495b78110d39ce094dc08",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7dac9c3f9702c3a6f15b9a1e46d8878f645ec39019cf234a08f41164e8a913c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd7e50501ef4dcb6befbfd54a82ef14fa1d4b7cf1c45bf34c386defd3ee30eef",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd535b26d696bb136c5a52eff005d7b62e2ecc15ae78e851d9c943beba078513a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4776eb75333d75893c74e864704b0887ccef0b1a90772036d13698192c77c451",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9536708eac63a8fe299b93663bd8e6524d970ecc7ae98e56285249c9e301f532",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb7e7453f47519d5f791425fa876f6eaa8a82503c26b14fa9658f1972ee727f9b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6597f8659f5e26e0babb14b998c740a3cfa92222a771fb73b2d3c1fed19176b7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdc4395fffca95393716bac827d45c86ef41bbeb1898b219b756a4d509adbfe40",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8d290ac1060f5ae00b10e71c64aa73a31e0e585a709ebaa7326b900c0e76a894",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x48ee1554e24b80f8c918e9c6478604f05594c4c05f8eabdede1f621ca5f05029",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x352f9825ed15ba1b062085a113512bbf19d87c3bffd077615fe0265eae3d5a19",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x06e08a7e837910e5c4d87375614601806daeecdc9bc31942960a1035ff09bc14",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf04237a7deb745b5237e1791aad14a9d69dca1296c852ed6805c595415dd6bfc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4044afd01dedd29272f9fc65784766bac7435d3e9a2a6fbfdc2040631d8974ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c104a11fcce836ccea1e41ebf5026468b2100b81bf251a372567de936927092",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x974fde8efcf477ca5d80db497deb5cb8460f41c67ffec0f8f39d20cc37f2a38b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xffb6c11cde7e88e1b88e50bcfdefa4ea05d92ed1a2f7953f553769de904916ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83c0b2edc803c299c5fe2995b5339caa8fe0b7edfdc44fa9acf99e7fede7c73d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xda6941c27a197c5b4871bc632d3a98dfe692daea25291d58d60e5cce99e99a9b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8d243f8cb2dea26f8559aa195de9e2218c13a4ff337eb8ea8b59397676ec9907",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe61309aca198c3c3124de8eac6c0aca233c5fc12ef89fb7a3e48a6dc429906b6",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x7fc171dc2edcced9c65b510fd97fe387c0a53efc97018fd94957f3b201f73beb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95972b6320e0e0aca787951d0fc2778627f0fffa2cba2c1462724b3cca2766e8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x470558adf98b40b45d464d1814b6abab7bdaaea7d386e4b4b1072e5b3b297538",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x21dd2a1ee92b52b1aaf982d9bfa9f6ac99e96564cbe8c8f501f1bfa651918cf6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf636b9fd7336846296d0b44c504e236a4339e820f4a050790ce691279aa2ceee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0ebddd11ccfa70438eda41aec5d069f1d3a9ea2bdd8929353e358a1ae2fd2400",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf7e97232db9d37fde211cd8fae29a2f2269defe85e3bac0d8d5a216abdaf7f28",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x97d669c16b3ea356e442beca0236df0de2c3b70158e3a398d7053a68c58c9bfd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc5ee0a82576c1aad37aa32a642d7484590c6b85932c8fe899efd7de9f3904c9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7d0ae3faa4b1ff787b0de19c75b66c4138732c15223b6ffb34d81c16698e748a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x15418324854688cf0f85834b8fc0ae142eb4fce47031a697efe468d1b4a8c4c8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe0cbb7cd8648d823a50e39f566c38101dfead69c45f8dc505895cc52640565de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd15778e025442c72d667684cd16eb21a88719a2dd112fb3506bf2a8d7ddef310",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x675cf3131b0231862f3732505d0a1f25799209b4ec139b2081970c086175b811",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c0316128ab4015ea52177a8fee8b168c01fedc143de3009d012ac2aaa1059b4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4370f6243efbda2c841a12ab4aedeb42fd1dcdf263c627b7d2137f10a730c965",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xce8a4359cdbe0f126924cdc962ab42bb9503279170b3f4827edefd9054b30fd1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a5a9c8754ee3960c20c42eb9ad84216d5ad72d914fd5df8cb0a950c5172400c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc6ab97335278b01201f36156404ee091cf9b0c441c5e60b0359b0232e677903f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x246af6cff8eb2073d9387c141d92ab4524eecbf65c1158ceaa8622575e61ee3b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04e3f183b6f585459069bf8105bf898395bbf5c00575df7f3ee4d0aa2b939a24",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x59cc3d7345ea92a32169615e7332d1337ec84c61b433d91912c0a2744906518e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xefa82b8986b549407c8fec39ae80c7a124dbaea6a0b4fc682b7bb04797a166a2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb539b30427c6a6fc145bc040f95d423f529a6fd15f8a3318a3d1b7cacbaa8eac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x589d365aad9a56d2f3a2e7c8cd7c5e3684fc1fdc96be48b469aac874d2d66bbe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe85c8be458187aa7bd3787a885eb737d8579fcb9ff3f90979cf7648320fdf002",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19069fbc4544bb41c9c0b06c6bc97b3b0c7743f61d2b9dc39244c8e54d6d9b7c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x01173d54d8796e62160037f7ad93443345b70b2e34cba823677018947f5a3023",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd03e0d5ba7a0edc93d6a827c4727be27f0c1c36a23901e36e8fb61ede1e71f89",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b5a3410f2b39e805961c7c97ef06411aecc05bd5e5f3d9d9ab57582058f25cd",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x07d02e555f099fd8e191b1713ea1c406e875fa306165a31e81020d243affc1eb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x465420e180348e670abf37fda38573f40ca004ffc52765fbde185b8af5995640",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1015,
      28262
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0xc0ef6faf9240cbf9fab67dd776a7057b1c26be1e"
          },
          {
            "Uint": [
              "0x14182e98e0810160f82829a7fd2b8fcb8f75cb9d3ae23c1aae357be559a8d309",
              256
            ]
          },
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          },
          {
            "Uint": [
              "0x7fb4775f63945a13865e3ca61af4a0491995e2d788917465a5c68d8844c41e1c",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7082,
      8086
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30338,
      20125
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x4547a548ba203dc9c46582ceac66a911db353103"
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Uint": [
              "0xdd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12940,
      761
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x377",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31316,
      47989
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71620,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x63424592764eb2a3a0c2842c639b3a3a989ad1e6"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xa7405a882a9e0a3109cb1f6f05b5176bd19d825d"
              },
              {
                "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
              },
              {
                "Address": "0x63424592764eb2a3a0c2842c639b3a3a989ad1e6"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
              },
              {
                "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
              },
              {
                "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xc2",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfa",
                  8
                ]
              },
              {
                "Uint": [
                  "0x72",
                  8
                ]
              },
              {
                "Uint": [
                  "0xd0",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfc",
                  8
                ]
              },
              {
                "Uint": [
                  "0x3d",
                  8
                ]
              },
              {
                "Uint": [
                  "0x19c",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe4",
                  8
                ]
              },
              {
                "Uint": [
                  "0x8c",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfb",
                  8
                ]
              },
              {
                "Uint": [
                  "0x72",
                  8
                ]
              },
              {
                "Uint": [
                  "0x8d",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe3",
                  8
                ]
              },
              {
                "Uint": [
                  "0xd7",
                  8
                ]
              },
              {
                "Uint": [
                  "0xbc",
                  8
                ]
              },
              {
                "Uint": [
                  "0x6",
                  8
                ]
              },
              {
                "Uint": [
                  "0x90",
                  8
                ]
              },
              {
                "Uint": [
                  "0xf0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x32",
                  8
                ]
              },
              {
                "Uint": [
                  "0xbc",
                  8
                ]
              },
              {
                "Uint": [
                  "0x4c",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84042,
      6187
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x5934fbba477674b5735aa5554198162356ba4476c035d85b0e923761b4efd84e",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29280,
      11527
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0x20a",
              8
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xf7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82330,
      53339
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3579,
      46757
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Uint": [
              "0x45a6235ada64bf59444af923f2ffa23d3fc04caf4f0d4faf76f3283bacd0af33",
              256
            ]
          },
          {
            "Address": "0xc6bfdcb8d3eb97c96137f64dd76a4982576f4ffa"
          },
          {
            "Uint": [
              "0x2d",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26264,
      612
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0xf16336c63ea852ec12ccae94c67a0d0848a937602457eb14f4bd84225096cd48",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13362,
      2127
    ]
  }
]