[
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0xd3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36349,
      20209
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66422,
      58099
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23683,
      13837
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0xde",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68856,
      19338
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74689,
      26446
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0xf1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16687,
      8163
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0xef39893649906ef9da54fd66433446c32b89783d5c8a728214e82ed5f4c2b294",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56898,
      38010
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66543,
      1179
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x7ed828e48043be41245af9ea4a5abda81374dd72"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      497076,
      21974
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x61504395d6ef7aa832e55ad3e9e416ca3dda93ea"
          },
          {
            "Address": "0x5094bf31b409d4656e4595f9a2efe267eab31e58"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      369381,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x562e6b745db1d87dee6cc9e17a3103479a174de175bee2d00402b6a7a505085e",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71177,
      5416
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1672,
      59348
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Uint": [
              "0x853033ca33e20bfd1ae08fbc4e50a8c74bef91fa432c0b57bec2e1aecde02015",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      136685,
      35989
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0xfe06d6acd64b16ade7b42ea97439fdbd4b8560d4"
          },
          {
            "Uint": [
              "0x714184a42c013223c135e9d8fe43301ca314001548851eb0db2f5fa02920dfa8",
              256
            ]
          },
          {
            "Uint": [
              "0x53",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47067,
      5644
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      15981
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34982,
      4979
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118500,
      21538
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      310410,
      6359
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xf6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      339384,
      60399
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0xd3014f6a8dfa03638b25291538a5b8edf1f232789e3684b415d12fb4f276fc13",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85348,
      28714
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x522ca252b3c22f86dc02be56310099d75fe7f13c9f22e9f16e90d3c322a80874",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77647,
      36180
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xd42c3fcb6db84b05162f02cc2dbf5ed0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5561,
      15741
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      379477,
      59055
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0xa3",
              256
            ]
          },
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Address": "0x5cc071a5cd853c7ff5ca2a2e40ece99c1084191b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60323,
      36015
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x0285c9103dda0d75927cb7b1beae6af221281651"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84341,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5067
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70436,
      48040
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50397,
      37145
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x75cab1cbd8b201a2ccd5e61dd208cd47ada4b999"
          },
          {
            "Uint": [
              "0x9a4fde3e66892f29763c8a2c3dc77330018218d72f60b0604bef6d4b7d2998c1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71475,
      15366
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xd6d83947007fa8ebc7edd9e57a417c17da1ad2a79735a73246b0b698e291fbd7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      293359,
      23579
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0xc9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      37952
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      837
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      57886
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xe50eda6dabea3d643ca2cb352257c7b6311e38bf653fa9a0e663113a2da97d67",
              256
            ]
          },
          {
            "Address": "0x031a6c576abf27aade886c2b5db3db7e0c794359"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75323,
      41000
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x1255aa71a820cc254de703e4129c9efc61a4f89593fada20a032648cfecb72b1",
              256
            ]
          },
          {
            "Uint": [
              "0x99",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      161967,
      52723
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0xda",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf483ef740e4acdc701337fe7ee7df06af96e730b842856ad21a87d5d00c711c9",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc00cc280a2aa8db1434019b0ab4876866ef108f1a49c1777da297f76b7334cfa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7edee04f0d80d551f44bfda4bcea0eb9423b2f807a20e903ff278589ba0237ba",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa3336ae41f07b6bc77b80f773a83927d586916bf8ae216d6b79ad147378c73d4",
                  256
                ]
              },
              {
                "Uint": [
                  "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2bd1020524fd72adda29a0ef702fed1b6ed805a33d61c030e7002e78a10a04f6",
                  256
                ]
              },
              {
                "Uint": [
                  "0x84991067117efbc38575e03959a2250d6023d43d834c966092150ce60eae8c5d",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd28b2a005e144b2ff9b521cc873178514274cb1ba3f5f0c95282fe94feacccfe",
                  256
                ]
              },
              {
                "Uint": [
                  "0x25",
                  256
                ]
              },
              {
                "Uint": [
                  "0x80187b82dfa95b2524427aec6fdd24f017a9a076a24101a708a483a8b7dbbb42",
                  256
                ]
              },
              {
                "Uint": [
                  "0x9b",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb8",
                  256
                ]
              },
              {
                "Uint": [
                  "0x53",
                  256
                ]
              },
              {
                "Uint": [
                  "0x46a4586632d6bb6e4d42267e1fbaeec41e2dd97b65acb4e261ac1f9ea03b8ac6",
                  256
                ]
              },
              {
                "Uint": [
                  "0x61",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2a",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfac732a859771ae9f604a0eeb42a0dba1775f436b8e00349b8cdae72fa7f4341",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x672b0ab577bfac910f94bf737fe6eaaf46d1daab430d5c324cd1fc6492f27939",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x4",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                  256
                ]
              },
              {
                "Uint": [
                  "0x61",
                  256
                ]
              },
              {
                "Uint": [
                  "0xcf90ed1a517a360bed4ef85aea481a9036a8febea7a120c41f178ab7400c74e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x54f19c6d4f91187bf3223344cf10234d237f9df4806c4904e6d1a8868ddb6bc0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xcbb9df8dda94cf8741b987e90111c9acf7776150010a40f6d7bdc56ebb9941ca",
                  256
                ]
              },
              {
                "Uint": [
                  "0x17",
                  256
                ]
              },
              {
                "Uint": [
                  "0x136",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4e",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd5",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xab",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4316be9f3f477edf0e9647027402f5fd658319fb9d0ba6331fa305b30398233a",
                  256
                ]
              },
              {
                "Uint": [
                  "0x8a",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x128b6",
    "delay": [
      296437,
      60208
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84631,
      23506
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      28705
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79930,
      8098
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x22",
              256
            ]
          },
          {
            "Address": "0x80b0147b14c1c3770f68fd64eca2117a4202bbab"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      378239,
      8782
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0xb72dffe93943f383bec8b1cf7447d865dcea48d3"
          },
          {
            "Uint": [
              "0x2097f7b97ee8a2faf3efe316ae1339c5afb966e184e58cbe2e5a48dfacc1986",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48659,
      55446
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85460,
      26209
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x1d9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8359,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x73",
              256
            ]
          },
          {
            "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
          },
          {
            "Address": "0x1711b44b0867b454a6ddd5afc1de90dfe3405b51"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4359,
      38129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      175614,
      40826
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x37a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37733,
      2337
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      357947,
      56847
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2187,
      1210
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80347,
      4555
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x23",
              256
            ]
          },
          {
            "Uint": [
              "0x88b05fda477f394c4333ef03dbc6a59a8e8801ffe802c1bd0e7bb531f4d8c94d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      55911
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40351,
      19222
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x8a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4756,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x2fa06960dc99c5296c07ed0b0489083ec27e9c4896822e370d5a1c503d908f54",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      241205,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0xd00fa761b5287919e951bac0073d976437d173a8"
          },
          {
            "Address": "0x0fca41c3224f999a3c698c0271f23d3b9bc95112"
          },
          {
            "Uint": [
              "0x377",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71126,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5512,
      7632
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x3a93660b55d34d38f2aafa3a2441cadfb76fadaed79e0cdba3dbf41f3b4c4553",
              256
            ]
          },
          {
            "Uint": [
              "0xd2",
              256
            ]
          },
          {
            "Uint": [
              "0xde7fb081c5bccf5f1e94dc0097cbb71e5919efb0eee299a18c45c6f75fec04dd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37586,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0xc526665dc4fb1ee0af3242360c4d2bceb9b8b89288d6d10ff32b4c2869d0438c",
              256
            ]
          },
          {
            "Uint": [
              "0x5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7699,
      6681
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4403,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
              },
              {
                "String": "9M�w=LZGY$a[` '=|#EK"
              },
              {
                "String": "����������������������"
              },
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              },
              {
                "Array": [
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x3450a15dc9cbdd5c0e28cc22474d88ad7e2695a3"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
                  },
                  {
                    "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
                  },
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
                  },
                  {
                    "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  },
                  {
                    "Address": "0x152f34ffaf759513b0042e83bda5f67b3e825732"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  }
                ]
              },
              {
                "Uint": [
                  "0x72c77ae2188369889b161377cf79cb67e6a419b048b2fc0934c46becaa87428c",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe5de76f470811d3c3dd4b38bb08635848b2f760f354d86ce4b6ed826ee26521",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3e8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      320224,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      173914,
      31066
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x3f55993a14890d250abfc78aee618582c061844e2c2c0f331247f0698d3a98ff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2804,
      29708
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Address": "0xc851e5cf8d482855e5b4b90736534dac464949e5"
          },
          {
            "Uint": [
              "0x13",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      240006,
      9306
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x3d6f42c2e37358fc1d980256b926299f9650137a"
          },
          {
            "Address": "0x6f8d28dbec945440e5fa0a91ae336b0da1b51e90"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      54225
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      131982,
      38205
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10752,
      54049
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34574,
      7892
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0x998c0fdf815ac2a7f19b9e7199113f05409159ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      302083,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54049,
      9545
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x65",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62102,
      17166
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xd9e1377f6c9db164dc42048f38e5d30bf4226695808dbd1759bc21dec0f62542",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52560,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xa309e267ea3f23e63f0c33d61398dc9f3b9b12bb"
          },
          {
            "Address": "0x75cab1cbd8b201a2ccd5e61dd208cd47ada4b999"
          },
          {
            "Uint": [
              "0x26",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57467,
      23787
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x8e",
              8
            ]
          },
          {
            "Uint": [
              "0x1d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30260,
      41798
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85670,
      50658
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      7641
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xcf",
              256
            ]
          },
          {
            "Uint": [
              "0xb8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360138,
      48392
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0xea",
              8
            ]
          },
          {
            "Uint": [
              "0xe7650f94e1b885cf2d895377dab4aad7d089fa08639950968abd3b6545bf5208",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4053,
      19539
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2266,
      56701
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Uint": [
              "0xf77cb2b110ea684651e70e1c00c88ce5b03a09df1fde426bf8b1b76a0ca496d2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      181849,
      21916
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4218,
      49232
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6752,
      51639
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0xbfb7a373425b122ec2fd1e56f987c46099798d2a"
          },
          {
            "Uint": [
              "0x19",
              256
            ]
          },
          {
            "Uint": [
              "0x7d4878633b081a68ebd5966b7e6ffbf1522dbb769d09b2b0beba782b5120d365",
              256
            ]
          },
          {
            "Uint": [
              "0x15b0716a69a2b379f3078f48add6838e9f283b6d2075942e0baffca35bf2d3f7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      131120,
      44320
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x665d06a455c8214197cd39ff7fd5ab7b9767ca5d2426b53bfd69763b8e2f15d4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      315014,
      3957
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
                  },
                  {
                    "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
                  },
                  {
                    "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
                  },
                  {
                    "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      160,
                      203,
                      136,
                      151,
                      7,
                      212,
                      38,
                      167,
                      163,
                      134,
                      135,
                      10,
                      3,
                      188,
                      112,
                      209,
                      176,
                      105,
                      117,
                      152,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      114,
                      0
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x72",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x84be47d5b163eaf3ec390f6b56d314d91da7e851297e4f3062d52eb458381f2d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3efd7ee85b37b0761b608ca1c1a1b958933bc6abf1c18ded8f17a49a78bed82",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab439379e039a82221c11de681e5580632f9d05ec64f487bcb6518fd3ea16b39",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a60d60a834641c27203f83212f5598ec28933322937c835fc1913cafcfca28b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa97f4ef10fce47aa821b7115239c55e3f885391644d2361694f0bd6d575e4676",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x585ca3d5812ed6a12512e3f98d87023c1be0b2f93e58af55bfe9ef412961713e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8053daaaae7b6db947ad4e35728f54d13d2a55da45660dd6c4f721483a6ccc9e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x49c1a29410083d1e26c58b64678d535b8b4235fda81c36b6357073897c55a7fc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xed87e14d675eb38ee088710e5bf7d1e73ebfdae125d5d1c53c66fcee9c5ca98d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7d139e286efe79f37d73a32657783de9a420f58361f91d0ff6a55091fac3dc2d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x88d6023e9a711c8c38d4306e7e78733f079ea195d24e32048aa4f508d121ac1e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x53c1bf253c02e77349280be6bcc24b7f5ba783f1c6e92849fa71f0d432009b3a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7e0adc43d55ac77d79ff01bcca40c2e7221254d233121a860111960ea86f127b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x13bff7e4c17fcc11a3e62e216333da6702cd349d8b3fa8c3306095f53e5985c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd2c703e1449e8c8c09b30e843a28f8dbbbb5fa5bffa511b2b5f35c389e6d4b6d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x67aac22be092b729580e1621f2ac71028d8233ae5709be1ad1b6caa83e3eff55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe94e85e3d0fc2079811d385794aefd7e3fac1488a36e28cf695dafa37077b7e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8414e7836df43a28d6281849400a7bc914d45c3100cfdf6f9f6c6f329c183a63",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe73040b54f60cfb29a51e1633d297c481976dcc6f7e176beffa298425f84eaaa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9b4ba9c24112035dbff228172cc04470e2e0b79afb58aa6b4dcb710311da4d0c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6dd10882deeee970c3a38839067f8f025a10b9299220d24ad262ae2fd8a0e377",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdd7c71a66cf21d83e80d4e659cc1c99e2c13c364b25455b4a2b66c02f3074925",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcfdca57885b7888c64caac39bcd84f22f38d6dec5b50fc1648ebaad14d363e49",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd7be460d64de78c40ed1be081bb10d4f501cff39bd231d2a96181bbf64aa3011",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x22541dc5ed1eb4a0d9b104331342e03062e7729a0537af4e0e4abdda8bb8f705",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c7de78a15ccd308c1d82514eaf9f43adf2eba55afff011ab151c74cdd7884e5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5e1cfb1d33691a9275d4d0f966517d182012fc939edd8f0eac469c0f198501b1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb1e0e42d30fdd7dd3424b1cb143c124cecfb505bc2205a8a589b81f9a92e2b9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8eb38f03dc1f8c82c720f5b5b63959dcf88f526f75a56cf13834f1e1d90a8783",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x1c31a6ca579be5068caa0a0da5b4ad4696f1dababe125170def196c75699cd65",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30fa9a28d3263f6a81308a9d241c71456b3fd5d435eca530d70b9e79609dfae9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa5459dcb3303ab68408b6f9f0126a75f7a54f994761d734b04bf12cfcbb2d245",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x44a48c36fb07841a2e8e5c7cefa5ed965e2dec5b08f0dd7e910ead0f733f2b2e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf7205c4d3f6e0a3b897c64894a072e19d74c07d82c4bb6e706f433101f0d78df",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xff585c2ed673a749c99796b34515642d8d7527316092ca98cdf8b65b31a88199",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xffb8b899999483d741cc4548e8575488b1ec15fabaa8af09f1da4312cd0dff68",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xea527bcf0cdbfecbb869c4643c127d19ff9c58f1f485aca5e178bc474bd47dca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb5b66bbfb5acee9ba2a563a5a875d61128d03d541d079d48a0cfddb80c228670",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x108098df95c67f9d24a4eeb6036fa5cef82ff7a3c08f898075bf2ab55042f0de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xad9cc3eed24f78c61da316a5944bd258f6af9f77220585e49ce5ee563de298fc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9c3ebe52e9a54630dd9c1e670a8484f566120c155657f550e470e433f5f89a49",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x374d4bc84df89ae127badcf5f1fbd84a2f4b3823a69a1c326016673a33eb5f2b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfa25999f5b4e371d92d60a401c7051a64e7b22fb024423c10d2a730cb2f17608",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x79fcc387f360a28eeae7e19ab0c9237cd216a4d6fb45c295291ca4cbe48f50c3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1d983afa39621074254e1df064b59fa3bd75e72c809c63b4cf98abb8d994d793",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6fd7c7696c5b72a299d16dcb860a6be82fa57cec42c14df74bc606affdf478f6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5a6fba8578db04ea006cc4fe3c69e96d7be40b6c1439e530bd06fee0e20495c4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x74966a78cdc35e6902c8b53dab379ae4ce96a82f9d4bd495be27435170a7874a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ce60ec3367e762c05ecda8180d050b3e334169b816010ab69f3e6242ee5aea7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x121ea558569dab295aaad12fb1392dad6b04a5773ceaa1608274150761abe058",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45ac88314c5b7b3d948ae859ad432e71c8d81680fcf77a9d09562402573a76ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8c543ebc65d18a32b7e56a5c03dde9fd30604620a612fb147076241d0f918b6f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf048304c25c8b27932f9b41aef80891c2d6b1c030f1a84541d2c98bf5c5bab97",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd85cc03ed2331f436c8584a85011474e5bc4f671742202d05ff0b7be3586969a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd03c9a07434ae6dfed273a71a02371126f9a553adae9491fc4f546609104b082",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x291d55c103617014e271ba4e134ff2e1f3d3b935d8c258bedbe47643e934ee82",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd6f4db4eba06364d2b3aa51a4b810dbc2bdd98888b56cbb2fb85b9f07e943154",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0809a0664535c8c4e03a4c1f5c44fd56d23fe3daada9d19da9689201cd9bf3ab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5ad067da2ec3297966e5d8e3af4aba765aff76e319879591903ef5da79b09ff4",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x0f52d2a3ca8c8cbe7b3bb31cc52eb3adae5437c137388c3485d3d9a9a7e3cc17",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x97c98d39e9954f2d0436e5ca32fa8c3cebb811bf0a8517ddbe21124a566c3e35",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x12bf550456fc422d7d4ba92441cdf40bef187e1b6e549f3d27fcd16cd9d37ba9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x69884ea4db2cb7b6b3a90b0de089c1d167004a265f9317ca37fe662bc0d6191d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x269eda72cd5702fb1bc2f39910756ef1aeac243cdd8f942e917642521273f520",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c34a1ec372abca6d1020bde207f50da890ad66f4fb434d66d2afe3bb29bcfcb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8d392dcbd6b56a6c8b6c996ac9522261cfb2017539c1f4b76b8f00adff09310",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x99bb9f3b04907b20473e6bb468a46163e4d17de2d99c2ffdb5ea4d5187feddf9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8338c989670e06a1ebdc33e1b343690b4589585325efe6d00df9507b3e173074",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa36d86cc4ce9b8a0bd8af49528a62e4f91046ae04d4f6306656dd6342962a66a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb809a7f07bea85d38e128a3901027ed0d2705210c006d00ea77073ea5aa293db",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf1182ba0d01752b646114d580e05d61f9e992d45f196c4661cf2fa9eadb7e209",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7aab702980c2192a3a2727a299626d9b410895919294cb0b70123f6cf9dfd3f7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8d59a0a84aa76da191f06a28b40df0ec27867a19d1911a654181e32ff6f9d220",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35ba1a56532d190586996c9069cfa530d090a3149a35a42bd637bbd241ef3707",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x8a265dca75a591f772c689aa961e1eb8f6f41fa4ba4cfa48ae318fa342fcffff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x78599bb819419c9df3b3a4d04360fee8829784f09adba98bd106fe88a4ec9890",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4c0ba52d8469f27e506da0d71336ed5e554e5ccb59edcf0088f7bcd8111e01f1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x175e052d524e4dd073b89d0d00801626158f929e54cc79586fe4f7ff76d52ef8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x792c6b825e0ffe2c9e96a3eb1f888df6a968d35de31f74884e55e8b98b2045cf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf34347663e84946740cf8999fcc1c93923f4092c13a7a43fea6adc4f3786a213",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x950e9667973a15861e5a51fc8d61fdd439f44867b43ec1454c1afbea83198124",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9d17a50a27c4a552fe17f0ea249661e4098fbd2990ded3e89c7cb9e176a41be1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5226851648bf986079729b6e914fcf541956b6e85e1d85b4389b63a54e17da6f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb005c3bb92ed2a10265bb9c88bb34e4986e5f6d27a37837c46a174cd36d845ec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0db96e9a56246846cd2c73f6bf00252547c89ee73ec3e754080c8dda76a072e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb7a263a177bcea299b86760d0e0d8f88b738360042276b1bab81c5afba52aa41",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x82df28ac2ad30d5d48259bcf335f6ab67b31fa79923b573fa27ee9c085b7e364",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8f58191c83dfe57b924ea93ceac00419c65ba9485717473457ff74881e603081",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2ab022bdd8c25dcec4829b70df4c8e3c290199323bb773d0fbaf34356bf1525d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe30813eaf9e9af43048ddfa315b65539bf2e72f8d674519d56360edc1d99ede0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb1f3ef9c36f4e2f2f81f7a57840f30c81f365bf088eb48981c1ffbfd810574cd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x03272b7ccb5f0ae63aa3649e780b9f07e0c1720cc88b6e45c03926117a8f7eaf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x890d2fa855eea9c7cb2f97bb33bfaf51e19f2019b53278854649d56abdc7b03a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x056b786a1f23e4df7200327a24e2e2863fa378dfb25852bf0928a9190056898d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x24dcc54a6fffc1bca662c76b916b2adfacd13c245b990507875e26c083ead38a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x36941f3b393b41923a73e25e59f7ae02e3da2648971ea4f2dd5035d4ec61c680",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x57d65e273ad230df9165b2c9b8e3607a767389298f080716d4d30f85363581d6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc42d2577e6e3093d057fc9b1fb759056d1f061bc0195013081bee22a2def54b3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x005f16eb100ece8c8c08750a3f3035b77630af857eae2791c75d3c9e6244aefc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x68ef064c580a35fb671a1102e48e3fd54d67f5ad4eb0979a8b00d04018315c67",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb0ce653db7088f0c5ecaf29ba1301b45fb883e714997c385487cb4ca9a66c3e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab7e18106f2828260ce9aea060c5e28104917924c850fb0f3210986b5e7903fa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x93db2f8de6d9daf8ce57003acfb6772dba809289db3b90442b65884bb053f065",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04bb553fca9d8b5e7f472d8b3272570d64497ede92afc85222b0f02de44aeedd",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xa0210db55c0fd17cecaf0e996bcdcabe9cab8d90fb9ecaf6940bc1579bbca284",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x03a03866475bea598d74effd26b3901932b7224fab5a9c91e71222be827be289",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41f5f85cd67d31991ca0a94f4d897bc363ce78a6172ebf639641adb0333ebe07",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x539d18c731c61f4910269e059f521ec8a570a0eebbb157584ce80586f918601e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x436da2a9f5a47831d7e6735ed3328d7457fd92c0a957af3eddbe9313c1c033ca",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xccdec34f0a38f821e3306685db3c954b8d7bfd6a9853e8882d62eb27d3609c4d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4b3002ea2f6e3adee32777feb35cf474ee4d02cf63ced1bc048650b3f104eff5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5eae945cc63ca8df7ef37cfc936be924083380070c54492a5ba239bc83b70e5f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0f6486c699cdb0dd0d8d0a256a387b3e99d5874d7266d0f2c60391244a8aa4e9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x59590909d93029843778771779173e308fd6cf04c3aaeebc996dd51b90b9526d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0bd16fc2bed585e886d9ae5c8199dd4e0a1009ee3ad5ebe9b14fd9992983f81a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x066041b40bad3611665ba8e36e4a57e9d2c8a3f14dc693d4fbf686efef84fa7d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0d836159ed93615da4e847f29e4090b219619842cc8b454f2b6263f3171cde3c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x79fb8d4d02f235281ac5d8c23bc0b86db8b21a44244b231e2f28a14958158354",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1ad00ff46301c67670590207ec551229dfd47fe12958b277f024f5909c4c6a53",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9126d18fc39ed5c40b970b06828984c410e895bf8e72e3b02545e8a1afd83e4f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x97be3739122d659ff917d1a112dda7d2fa1b2b96bd2d4a2a0752e9c0c7b96533",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6521e821e7e80eda419f9eadd59b128bf0780397b63f523bb957a44c550008d5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3b17e9c51748a43feeb01806fd8bb748191ee7dca4bbe4dc6e6b67efbf2805c6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb6e01a5015ebe8c86c5d67c4abf86c3f6be14f81e47ff893385aed53aafed040",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x020f3a9df4b8a8df20ee6511a88f20f07d8835a433e52314365cc4bee4ca683d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe4407b6fceba3cf6c86f675cb241e9a9c158d521e4538169d64b6422e9cb37cc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x11fa919decba6c1992e100b33e7d4b016cc712097e81209c010c37058a6dad34",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x91ef560b1531086ebe35ad3a162435139676f3e631682b7ea71ef8934153c413",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcd43a6a58266d2d8f832d5148e7b0f5bf89062d0bfc4022c989a1e4cbff514d5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2ff661605bc45649b95b8c9da5e57fba12b4d4f3aa9140bb100d8b73d3c5d9c5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x49a77db96f39eb0c417ea893b04aefda97805cc72f7717e91b14b9a7b798c7cb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd9424a83a324b2abfd81a991f05699efe59e375896421a28720792e0255c9d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20a2769abb8540814e71f14533fdce1ad62723e3d69f2d4c506a0a1d858344b1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6eebd401811d7a738b142b523c5895d38b1135685beffa8ccdeec65ce05bba63",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x817565742b7f2eec5ac8012e6e373cde3f535e0917f83c5b8e24269971e2c275",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcb12abdd4de76b576a550ab556afe22f980871d9d6de97de448ce2ae433e9228",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe8254fb31401b34f94e57f9c689c01d6be73214c917f2deca7e92cb37869dbbd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x05cbe6f302fc2f593b3a4e7fe152d9f9387d8b96bb183080fd9ddfc52fe3bf7e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7ea366a510011cdd2f42c93dc77b54bca092d7800e49685c2b5879d4cd4aad69",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x401b7fed4424f613a91758eba37db1cd6bba094eb08529ac8771d265e60e8b1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb684b28386fe1fdd43b245ff48480127dd8737dfce3934242cf9a719912e1ac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xebc971d46056942902d2bfabc4c6cf10188a853e3600c06a084ca8ebe48a7de5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1e13155a308fe28b8532dadb70769173b6229acef128a69fb53c442206c6ea83",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x925814e838499c4d9ae81061aaa338f6056a4e0b893e7b6e4ccb947eced87786",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc1ed5601d742e14c78b55c339b7bbe417cb1ac4392492a93b84bf95c79681ed1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4fb62d248507b3cb4a44ebd899e3c9be077af6a0fe579541fd25d91f82406f88",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf7421064182a64468ee86e8bc403b369b245184e96d78996e66de18e230d375c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7ba28053e250308ff0ad629ea16a57b14fd9dc7c317f94248caca3098e4959c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0bf5514b945893fcc7233639946d7103f80ada1136bc530c76e5a4a2b7cb14ca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x21577140987ec158c8b48d04f470e1b289e8680771a04f37dd276be457a9044f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x37d51748d0dd4373fdad917230e011a0af329b45e72ee44d4a15618a5e71f2b8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeaf5f7f729ef9a1cd0ca99c2782421b167d03a1d813a41df64cb88b44c7c8f2e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6d483ce558c841619b531d2b3cc5108c8a04971eda992984f155d41ad1f13a8e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x414559812ca08de8813bb4c0a27d3a2666e500ab8eec0bc0f0045f13f24b98c4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa2013ed67284260d1adfca57fdeee7bdb86c8b81b08d95ca1bd09c5d74f83b79",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x337c1b4fb99730f7c9d6ca92aeeb056db6798e7dacd5965b656cd786d311b53d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c27fd923c8f811135edce14eba5823764d507111ee7d9925d2321c6605f0bc9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x84994db1164e69b3a1bfbdf14c0b0ab6a9c3b68858055131fac7232b88f6c50a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x079560d02ecc3691b524ed41d5831eb82b7513f173465d76b55cf4a34c1637dc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x985f204a92d6e62c307bd73f0cd9d2650b1c8544597c69d6719f895ca8782398",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83551960e7130f6a8a6bcdf06b6871b8947153f8d30007e8ba34e62669fae75a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25f000627a34784762ab33e0c37d9ae316054a712804670409ebf850f8793023",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf378f9163c90c2c08f2f41bf8198cf43cd8ddb0a117e76bcd9d83aa09fa4c8d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x793e98973a6aaba818c027bf823cf1baa1ce72f0be090a77db620545080bc390",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3f1a7c844da7dc641bc2ca4bc6a2be3496e66216e672842685df6445949cc110",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xad472473991e259aff92439b4da68fcbff027f3c7b18f012bb4dc41f5618fb28",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x05af4ed3de248f5af344c1a7b7cb9ee927966362f4a36c845a54f1727485705f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5398add8c9f969ece13093c51436f448f675c95f92f57eaacba5a5fe46c7aefb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x823ef1e44133d480bfcdca920eb5dfda39fdd81a6aa8e5de5bcbc2175c1b5959",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x331af94046c174ca4f224483f2a5afc74516ae473ffd68b648828b85d4cfb19a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa74d7fd19b09ff8bb3a06117e0bd53c13703d0f5dc6adf645da7aec4914a31f4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8303cf7d5a84092c566cc38989a1dbc56de0c0313bacd372fa1932f8db5a1e72",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa256a1d6579d3c8c637675f6c57d82162ceaab0e0cdbf64fd60ba59e06d74b74",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd8597d5b67bccbf26d51ab275ed7fa0e8faaa9fdb452fb79693174b9fcda2ea0",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb2d6c446cb6cfbde6e18aba0ac076b030fc80999bf3079d0714b9684f1ba6264",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0d6852819d6e94aacb61f4856fed82a678aa5ad0da859a8c9b333eb16f1f4ba",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x934a95c0cabf065f954f6dd17667ecdaf1df79ea2231482d515a0d4e87ada55c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3c5380164978917d1075559df0f7d08e7c4b095d38be9e7e38300be1edb9e1b6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf38272fd49da00f300879ce6a37119d91b8cf20633e47c178caf86d3bc4eb49f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41e185c459f32f41830590aa979dca282dba66b09734d2319d1557ef208b65bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe3e7667bdbd82fbfc79aa52f88586c146565687769961a0ccc0472ccc77ecd82",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbe2035c0041fa96cf9b9220a87030b97896f8aaabf68e19abddd606a73f46a0d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x09bd169deafbf318825bf2927ebc5ae4ab4a4503b824bc09be402857ff2762e8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaf1db35907af8ea046e3602bd6032daa5f239c5852b8081605cb62c388b39aed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0bfa546eb3695a4673c67b4f413f62c14bc661c10b542028875dafe26020b655",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x51d97087ae1aabaf6363968979775ea40753f78e70394f4ee2835eb77c476278",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x62bf30e33fa37d100c41bee3c18d962ff2f0511cfcf3cf20f0f9f85f8d8dca0d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3b826400e172c2488c2942669c4b76c5cc5e20d7ae2a8e6f1fb4c77c09d211e9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbaf2801ca6e8aa99cb524a1eab59d38d7c1a639708ba5acdfe8950d3581c603c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe36e3aef2d5367d0cda8b77e5122fd46262c574253496917546f8cb34cff2fe0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbddf9933b050d65403f10d7cb3a4efb214d0846052ecc06017be38f4c0d2ce0e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4fb173389ded0af61450750b33875998fa768501f466ccb47dd2c2fdde9b1bbf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0ace61d5bef22071e3f7e51528164f2dcfa3d270bbf06e4a1694decf6022bc51",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcf6e8a44adecb5a8a30349f0caffcb8b5447d98cf27756588209d4af59f518c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38eedfcedb5e4d8b513f5bc660ee345d9e63d2fb51eff6b1e8438ee0c338340f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6728705010bf1af1ddd59e38748f85ce17862f468b46f9ce9a1e45334d9ecf89",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb144f954bb1ec5a6fa1cc9453fd72f4da56b00e127a26a7b8aa8ea4f0e68ee06",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x850f2497ec380ac4d020f025539e6573503cc87583306dddbe7ec91af9e81fd5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdb1b1651dd02acb4ed88a7e3ab737e854f6c691e7f86d3f2d1c89313aedd515a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaffa706406681cc7951c53d70287ceb94e85a4606259027f3cdf025ad597a747",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3687615caf2cd4bafd66758305d4e8429b8a1ec3729ec7f96914d3aa6710dc12",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x01113a7f1c1b35c90cbdc039f277b884617e1679b489fbe286731afd9dabc17f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1a2024bf47611d3efbf5d40078c2502d64e5b64f90a91ad1fb291a5a3c810cdb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x74678a509a79998b8069acce570a321aab3cc0986f5f11ac6a7019ab04a621d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc266024260f320d0d64c8caf9aed28c9e428b188f3d1d2b24c2146a58b77b912",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa723deb96c4957002761a1beeb9957abba80f0a8be733a0aa06513abaffbc2b2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x995e4881252ece6712818ff94367b73bd7d3ba5d54c51543df1cb561ac6456d1",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x300095ecaaefeff2303f6fc1eac39f2752be49b291996e29bc2830c8f5822ff8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x10eeba38886ecb17ddc4b70632d6916fed09a2cfbb4bbf985b27d55b5b0c479b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0d2333bb73e740ea3683b70599fad13bde99e0178bec80b25155d05c9c6c1a56",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x33c28d24865e8dabe73edac509e06444aaba5aa7247572e0dd2295fe1cdfda4d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x782627e97dca4cc46fbb3921e2422113c610cf35be29c810575b5caad81d14d0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x77e83063226a52f1b2f3e0d806ad5dec4eecaca554dadfcbd249c86c62fa63fb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x205512265307fa7baf4c29c5789f6ab14125a194a9075963b397f6daee01e275",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2623b24c90372767a55023ea2d1947aa1cc3d746dfbe50196ee31f73e0e0827f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7900fedab9a3fc784dd8bfdfdf3ed32720dce5a34dba79ba82f9e1bd77296b82",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x030e4a03077e4753bec7efe8583c0ddda4d828a0d6312fbdb75d9c6aeac7fdd4",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x3728c9fb965884da20627aab10ca3dd7ef19589b4cf0fd6ce46fd71fac457f8e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9e1e8fb54c37ce5bea7e4e3b2563903d448624fd33338567b5be7544e7a61cd0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd154a095bc0a00be99ac549d6b575b17a07c7563ff1aa0a6622c7eebb1fe2414",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0909d40e18be0687f3ca6aecc146d41b21171178858cbc2d0fe0291eeb2be56",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x704258c68a2dc429b10e758e49891c58b6d879a519086f699c28485b092f93c2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd5b177baf2525abd67b8e8bdddf6d2e5fc43e64b853bb450e33495c701996cdf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb3acd602b0a00835d5d3e389a71d9620b40d02a9c4af5c38cf8d4fd4f95b6edc",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc2e97e583d263baef5b62dbe23fc430c96be65f0d8b3450f489745ef5a7bd63a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x777eb57abfcea17014ee4880e5d3d24ec5788c8f11ac8caac2340cde08248ed7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc19f636712f890b57c40e4ff26e0c97ef1b6b7143f1d629d8308e5419de222dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x70a79558974477697f2784b02f5da47eb569d53e3046a9647905785107549130",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe7c843e54863a52d1e53daae08734432ee779ee836f8180d63b72b7eeb71558a",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xcfbd2cbe2655ac6d04815b246d38deac9b1e99d63cfdeea42fd37bbce565952c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdeaa5683a59f2f251a02a338433489cdd7e12874575737db38efe4beceaab7aa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x196c6208e487644284cee9daeac3ad89a32038718477e70b5ba845238fcc4417",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeac603bc4905e081c4d87350d812c5515348de0e244ee28737ba2e49f45cc8fa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9c0197674cbc2e574710f78c99ee548c8e6358c990578b3c71465773c41ce955",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xddd90dde8d3f333bee5bcdaac402c3031e732aabc03715511c07a6e1cf8f5baa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x85ed9c4bea5c6e49ffb4fa322f9141e9a99505ca53c0771112251dc6343b062c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab023d181f849f2299b2ae855aa044398883809bf1eccf694e8c6908ee9ff2a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8186a0de75dc16841adc33a49f095fed379a8d2f28fa1032a1af0c8eeb787eb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa2a16aeecfb6950e63939c05e5c5aadac89487ab31f91c987c5ad83279390e94",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe35cb6ce98314bca9328bbe40ee556208cee0caa50c3cc59fafdee627ae7d08e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5cd7ff95e5ba528fab0d34c3e7b350b5ae2afa7019bace6d09ad63e19d9b4ad0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04622d238d0011255136e4703bdca634d076907cbedab5dd1c614df05251437f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x700eebfa39d9c197ff53cfaf6177a22c880ddbb95a55777158896ac70fd95309",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6768,
      577
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x10",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73381,
      20044
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0x43",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81147,
      3990
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0xe11822c1bc631762372719deab158fd7cec5452c82f013acdee1b4b5ef4a7222",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2090,
      25815
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3297,
      17593
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      594249,
      4904
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
              },
              {
                "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
              },
              {
                "Address": "0xe5cc35207073d0e266a9d98613d88ae94e2650ae"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xb2d60fb03724437d9aac67c8d3fee72798d7b582"
              },
              {
                "Address": "0x3b2776e043603178fbdefd7b23b676ed317d1f55"
              },
              {
                "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x9109eba3eee0fd88b7cda14193ce3d034ae357e6"
              },
              {
                "Address": "0xca6ca05d507ae020611682e6cb811d0deedc4447"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xd8f5da496acac50d57b675fde00f6b95126a70b5"
              },
              {
                "Address": "0x56eaf8e2d0396374651ab9761fec9e8bb3b82b82"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0x80b0147b14c1c3770f68fd64eca2117a4202bbab"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0xf0577ef9a164a75250f65443a73418e0a36d9977"
              },
              {
                "Address": "0x2a380c9c69f40b341a173c4b1f32507057ed11c3"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x88eee53fe504017340d30ca510eb925658c7f72a"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xfe",
                  8
                ]
              },
              {
                "Uint": [
                  "0x38",
                  8
                ]
              },
              {
                "Uint": [
                  "0x14b",
                  8
                ]
              },
              {
                "Uint": [
                  "0x47",
                  8
                ]
              },
              {
                "Uint": [
                  "0xbf",
                  8
                ]
              },
              {
                "Uint": [
                  "0xff",
                  8
                ]
              },
              {
                "Uint": [
                  "0x4e",
                  8
                ]
              },
              {
                "Uint": [
                  "0x35",
                  8
                ]
              },
              {
                "Uint": [
                  "0x3c",
                  8
                ]
              },
              {
                "Uint": [
                  "0xd3",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc8",
                  8
                ]
              },
              {
                "Uint": [
                  "0xaa",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46208,
      36298
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1924,
      44715
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x8828a85bab3fea0aea23f512e88cbb93328548e8"
          },
          {
            "Address": "0x69d612befe38f6a0d31cc7ea6204f8fbe40d74ed"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      103374,
      32278
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51755,
      37129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84505,
      6871
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x3b",
              256
            ]
          },
          {
            "Uint": [
              "0x27",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65689,
      9195
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x37e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      180024,
      24495
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24798,
      41333
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x8a",
              8
            ]
          },
          {
            "Address": "0xfffffffffffffffffffffffffffffffffffffffe"
          },
          {
            "Uint": [
              "0x77",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72599,
      23079
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x4547a548ba203dc9c46582ceac66a911db353103"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63916,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0x5f339dc578f583b26858ecbd361dbb5b2e3d6647321e8e38520ee3775f8e0e9a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      432,
      1047
    ]
  }
]