[
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x50b44f08a1fc9748dde11edc5a35b3d7e3e0b7dcab6565d710226386d7308e85",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      521,
      8235
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0x589b4c0b78fd858954a7642d537f345de493691f146c13403e942deed65ead8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58498,
      16802
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x36",
              256
            ]
          },
          {
            "Uint": [
              "0xcde11bf845400b5dfd81cdf0816b7ae98ff35f3f693a5b91493144ea0f76770",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59508,
      6151
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x6c21efdcca23a275da89a6b2db9648ab2d5613b2949d0fe428bf3691282c3aff",
              256
            ]
          },
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      702,
      24821
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x4a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41733,
      40861
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Uint": [
              "0x5c75fbca15ff968c1c71b5fe3843458ae513887270f91a4627f1f0c80b15754d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74460,
      20127
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0x39b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79710,
      30551
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      300183,
      1240
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      20038
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7370,
      2726
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1115,
      48876
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x9c60ca2a11848218102444815c9baa841bfb06b5981c08ce62d2cf87a0b23acc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      384,
      3719
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4070,
      23361
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
          },
          {
            "Address": "0xfbefba159464a56d5dffcd93724353b5cc368696"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5798,
      2629
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xad",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82324,
      12118
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6456,
      21708
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62646,
      3835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4270,
      7781
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x49777dd7fc937210691a6f0d9fa3ba90805698171ad266e7c1a2f13007cf2fad",
              256
            ]
          },
          {
            "Uint": [
              "0xf287ee4a4673d279a24f2ced0f3c8cbc5bfee7a2814192d4938ea655e7be1815",
              256
            ]
          },
          {
            "Uint": [
              "0x57f7f7a27e5ac1efa735ea5da0da6d98ef180cad1a68b95b329eeb133d528c7b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86909,
      3365
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x1d1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      382734,
      24510
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Uint": [
              "0x7fb2e2db5cb90e18ec2f24d95c69ba8661f9fa6aad4e808ed6e1c45cb0a4faca",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          },
          {
            "Uint": [
              "0x1aa2d889298c3d6355dc350ebefe578364c0923d9592ac83226e5ba11df78b1c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54385,
      57591
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x9513feb41bab3f446325cb58fb1cb32b84a76d18045905ca77e50f6a1bf2f08d",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      154406,
      24778
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Address": "0xeca727e0c1834be66dea10d525e93d03aa874b86"
          },
          {
            "Uint": [
              "0x98c7605439198bfcd43f8e175b3ad3df6ad6ca373ba7d9adb653c9a825ae7ef4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17241,
      31405
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Uint": [
              "0x68",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29172,
      5863
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      374089,
      7907
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0x40",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53592,
      37071
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4073,
      23347
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      169264,
      2986
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32893,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3428,
      47347
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Uint": [
              "0x53",
              256
            ]
          },
          {
            "Uint": [
              "0x317",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75068,
      28103
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84278,
      58058
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x10000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11530,
      16853
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x7d270f084804616e9b516655bba59970bc30ad025b298f299a805caf07a0e3f6",
              256
            ]
          },
          {
            "Address": "0x3450a15dc9cbdd5c0e28cc22474d88ad7e2695a3"
          },
          {
            "Address": "0x4547a548ba203dc9c46582ceac66a911db353103"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51390,
      10865
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0xa7340a083a485153b324e007a9393d4e8d91ca35b2d9e4b3b37842c8fbfc26da",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      226839,
      23329
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0xbf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      506306,
      49012
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0xd9",
                  256
                ]
              },
              {
                "Uint": [
                  "0x28",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0xa2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x345ed2aadeaa6",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1b38a3a239401e04548609ec63a8919b0fb34e7dd9af9ffcf398a3c00161ed8b",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7497,
      7061
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x6078e63ddb17a1a325f3968ddd22293d092bdf2d"
          },
          {
            "Uint": [
              "0x4b",
              256
            ]
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0xf92185b840e6dbb9e3b5c3b11736be87501c1bb4a1dd72de75d18f5e4e546c45",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61762,
      19557
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0x3bdabd480d6a1dcea4a3127f9e738a605e7f9599ccc204fd5cd11ccdccf619b3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x55c59a3b552ad72cf",
    "delay": [
      454028,
      40751
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67647,
      19885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x43dd17e895d9d4661130fb756ae40c5b1b56ad9ea9fbbb9b1c801e980c4bc9bf",
              256
            ]
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80189,
      2726
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0xa0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x73",
                  256
                ]
              },
              {
                "Uint": [
                  "0x35",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6f",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa83eb856e0948b4135a0a6bc51f391c21da97be935982f60417e2c358a3bffeb",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc77383a42827088ed9e1519b50f9ac6b14f3d188aceb1d6d7856c121a9c7df5",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb50de56af8b65c093aa2834c37fc2953ad2c25a23d939625f2c5090a59389ae3",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x142e5",
    "delay": [
      74548,
      46065
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0xe9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42595,
      2546
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9285,
      32343
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x796f2974e3c1af763252e52dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x3dcb0af320609e64258cc4b39568f82dd4dca997139b10267418ba4e52871784",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      245314,
      22919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67338,
      6075
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2529,
      4800
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80363,
      58538
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3212,
      26262
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xce777dceef9a9520e29a27a35183c6f958406ef7631ce0a7da26b53e0fb416ef",
              256
            ]
          },
          {
            "Address": "0x32ce7c10bd727a25a9b064de0d2cefb552cde6d1"
          },
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      523075,
      170
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26122,
      10599
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xca89b5f73861e0800dbfa51b7a3e375bca2966e18a39c23558891b688e38a703",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2476,
      7092
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x8269c8fd057ce88ab243eb25af3d38ef61129e763274137930f0135dce0300b9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39519,
      46510
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82930,
      1647
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0xa309e267ea3f23e63f0c33d61398dc9f3b9b12bb"
          },
          {
            "Uint": [
              "0x1d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43101,
      6708
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Uint": [
              "0x97",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36390,
      2494
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0xa7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27296,
      6976
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0xb72dffe93943f383bec8b1cf7447d865dcea48d3"
          },
          {
            "Uint": [
              "0x2d69f7af7d085bf779b252aedc6fc1d420387e0624c0fe72b55c8892d7ca5d4b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8251,
      594
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x11",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      107,
      35250
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x918f19a7409a521e82596795cd0d7d7e3407469908a586e1b1f90ca67b0bcced",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1709,
      4610
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Uint": [
              "0x87",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9620,
      3662
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x53",
              256
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Uint": [
              "0x70",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62509,
      6921
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      393,
      23918
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6568
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x9c",
              8
            ]
          },
          {
            "Uint": [
              "0xd9af2b349056b1eef64a0a7d2db4ba7f6fc53f8d8798d584dbbfe8834d881f1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37271,
      14237
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x2eb9c6bdbe8f3a2cd6faefd6a78532f312acdda97b4008a936915b41a3310234",
              256
            ]
          },
          {
            "Uint": [
              "0xbedec5709aff16d6d910058c17ade3684c40e1263391ad285d80453b7b54b18b",
              256
            ]
          },
          {
            "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70280,
      3853
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      630,
      1705
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0x89dfc2b478d495acec7f12016c9f356df86329dbd3fa8c38cf8dfeeb8f1d0481",
              256
            ]
          },
          {
            "Uint": [
              "0x66",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39493,
      401
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0xd5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82634,
      2420
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      471732,
      57561
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67807,
      6691
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          163,
                          9,
                          226,
                          103,
                          234,
                          63,
                          35,
                          230,
                          63,
                          12,
                          51,
                          214,
                          19,
                          152,
                          220,
                          159,
                          59,
                          155,
                          18,
                          187,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "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,
                          199,
                          24,
                          52,
                          85,
                          164,
                          193,
                          51,
                          174,
                          39,
                          7,
                          113,
                          134,
                          6,
                          100,
                          182,
                          183,
                          236,
                          50,
                          11,
                          177,
                          245,
                          124,
                          237,
                          100,
                          235,
                          53,
                          142,
                          78,
                          169,
                          164,
                          211,
                          122,
                          94,
                          74,
                          13,
                          77,
                          107,
                          63,
                          227,
                          99,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "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,
                          233,
                          22,
                          202,
                          219,
                          18,
                          196,
                          147,
                          137,
                          228,
                          135,
                          235,
                          30,
                          129,
                          148,
                          177,
                          69,
                          155,
                          41,
                          176,
                          236,
                          85,
                          237,
                          47,
                          117,
                          245,
                          158,
                          200,
                          227,
                          182,
                          219,
                          172,
                          217,
                          15,
                          72,
                          112,
                          176,
                          52,
                          192,
                          156,
                          250,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "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,
                          233,
                          22,
                          202,
                          219,
                          18,
                          196,
                          147,
                          137,
                          228,
                          135,
                          235,
                          30,
                          129,
                          148,
                          177,
                          69,
                          155,
                          41,
                          176,
                          236,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          4,
                          0
                        ]
                      }
                    ]
                  },
                  {
                    "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,
                          199,
                          24,
                          52,
                          85,
                          164,
                          193,
                          51,
                          174,
                          39,
                          7,
                          113,
                          134,
                          6,
                          100,
                          182,
                          183,
                          236,
                          50,
                          11,
                          177,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          230,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          129,
                          58,
                          9,
                          72,
                          75,
                          116
                        ]
                      },
                      {
                        "Bytes": [
                          151,
                          18,
                          198,
                          145,
                          252,
                          162,
                          111,
                          176
                        ]
                      },
                      {
                        "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,
                          31,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          34,
                          189,
                          3,
                          197,
                          244,
                          51,
                          202,
                          228,
                          80,
                          211,
                          175,
                          136,
                          209,
                          164,
                          93,
                          157,
                          60,
                          165,
                          214,
                          109,
                          128,
                          46,
                          152,
                          217,
                          95,
                          116,
                          96,
                          46,
                          179,
                          253,
                          73,
                          126
                        ]
                      },
                      {
                        "Bytes": [
                          127,
                          93,
                          207,
                          14,
                          132,
                          112,
                          69,
                          16,
                          143,
                          178,
                          221,
                          230,
                          30,
                          79,
                          10,
                          101,
                          141,
                          67,
                          220,
                          248,
                          87,
                          152,
                          6,
                          194,
                          52
                        ]
                      }
                    ]
                  },
                  {
                    "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,
                          199,
                          24,
                          52,
                          85,
                          164,
                          193,
                          51,
                          174,
                          39,
                          7,
                          113,
                          134,
                          6,
                          100,
                          182,
                          183,
                          236,
                          50,
                          11,
                          177,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          121,
                          82,
                          244,
                          65,
                          84,
                          178,
                          199,
                          59
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          42,
                          75,
                          1,
                          59,
                          48,
                          78,
                          207,
                          150,
                          75,
                          171,
                          242
                        ]
                      },
                      {
                        "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,
                          233,
                          22,
                          202,
                          219,
                          18,
                          196,
                          147,
                          137,
                          228,
                          135,
                          235,
                          30,
                          129,
                          148,
                          177,
                          69,
                          155,
                          41,
                          176,
                          236,
                          30,
                          28,
                          249,
                          78,
                          121,
                          80,
                          152,
                          18,
                          249,
                          97,
                          136,
                          122,
                          204,
                          198,
                          138,
                          1,
                          151,
                          124,
                          247,
                          44,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "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,
                          233,
                          22,
                          202,
                          219,
                          18,
                          196,
                          147,
                          137,
                          228,
                          135,
                          235,
                          30,
                          129,
                          148,
                          177,
                          69,
                          155,
                          41,
                          176,
                          236,
                          30,
                          28,
                          249,
                          78,
                          121,
                          80,
                          152,
                          18,
                          249,
                          97,
                          136,
                          122,
                          204,
                          198,
                          138,
                          1,
                          151,
                          124,
                          247,
                          44,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          12,
                          230,
                          147,
                          245,
                          63,
                          5,
                          38,
                          137,
                          73,
                          136,
                          247,
                          109,
                          26,
                          225,
                          249,
                          157,
                          190,
                          57,
                          5,
                          95,
                          182,
                          21,
                          28,
                          162,
                          97,
                          6
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          2,
                          221,
                          65,
                          138,
                          44,
                          95,
                          69,
                          172,
                          126,
                          209,
                          174,
                          184,
                          253,
                          98,
                          157,
                          151,
                          138,
                          107,
                          194,
                          170,
                          57,
                          177,
                          42,
                          190,
                          188,
                          43,
                          90
                        ]
                      },
                      {
                        "Bytes": [
                          246
                        ]
                      },
                      {
                        "Bytes": [
                          39,
                          2,
                          197,
                          232,
                          10,
                          26,
                          81,
                          11,
                          101,
                          255,
                          173,
                          14,
                          25,
                          228
                        ]
                      },
                      {
                        "Bytes": [
                          251,
                          72,
                          63,
                          12,
                          157,
                          235,
                          159,
                          81,
                          125,
                          201,
                          55,
                          8,
                          111,
                          84,
                          221,
                          54,
                          8,
                          66,
                          165,
                          170,
                          78,
                          4,
                          61,
                          160,
                          123,
                          52
                        ]
                      },
                      {
                        "Bytes": [
                          165,
                          247,
                          3,
                          172,
                          85,
                          145,
                          85,
                          125,
                          18,
                          182,
                          27,
                          150,
                          157,
                          224,
                          211,
                          116,
                          218,
                          84,
                          132,
                          224,
                          56,
                          224,
                          18
                        ]
                      },
                      {
                        "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,
                          0,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      },
                      {
                        "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,
                          233,
                          22,
                          202,
                          219,
                          18,
                          196,
                          147,
                          137,
                          228,
                          135,
                          235,
                          30,
                          129,
                          148,
                          177,
                          69,
                          155,
                          41,
                          176,
                          236,
                          92,
                          26,
                          156,
                          245,
                          136,
                          209,
                          224,
                          172,
                          55,
                          142,
                          38,
                          3,
                          91,
                          97,
                          71,
                          255,
                          177,
                          200,
                          180,
                          157,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          92,
                          26,
                          156,
                          245,
                          136,
                          209,
                          224,
                          172,
                          55,
                          142,
                          38,
                          3,
                          91,
                          97,
                          71,
                          255,
                          177,
                          200,
                          180,
                          157,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          169,
                          8,
                          239,
                          45,
                          241,
                          100,
                          164,
                          108,
                          193,
                          28,
                          81,
                          40,
                          171,
                          110,
                          220,
                          157,
                          165,
                          250,
                          40,
                          199,
                          220,
                          38,
                          44,
                          236,
                          82
                        ]
                      },
                      {
                        "Bytes": [
                          166,
                          250,
                          152,
                          59,
                          145,
                          18,
                          213,
                          131
                        ]
                      },
                      {
                        "Bytes": [
                          212,
                          234,
                          145,
                          87,
                          236,
                          247,
                          221
                        ]
                      },
                      {
                        "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,
                          0,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          91,
                          54,
                          224,
                          137,
                          120,
                          116,
                          209,
                          34,
                          176
                        ]
                      },
                      {
                        "Bytes": [
                          25,
                          22,
                          7,
                          39,
                          225,
                          245,
                          226,
                          183,
                          34,
                          62,
                          192,
                          156,
                          138,
                          129,
                          22,
                          131,
                          100,
                          51,
                          87,
                          64,
                          51,
                          200,
                          60
                        ]
                      },
                      {
                        "Bytes": [
                          15,
                          150,
                          99,
                          4,
                          92,
                          100,
                          115,
                          39,
                          162,
                          218,
                          55,
                          216,
                          7,
                          222,
                          139,
                          149,
                          224,
                          129,
                          177,
                          151,
                          169,
                          48
                        ]
                      }
                    ]
                  },
                  {
                    "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,
                          131,
                          137,
                          141,
                          31,
                          60,
                          3,
                          24,
                          159,
                          240,
                          59,
                          71,
                          29,
                          211,
                          69,
                          105,
                          8,
                          252,
                          164,
                          66,
                          61,
                          30,
                          28,
                          249,
                          78,
                          121,
                          80,
                          152,
                          18,
                          249,
                          97,
                          136,
                          122,
                          204,
                          198,
                          138,
                          1,
                          151,
                          124,
                          247,
                          44,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          97,
                          18,
                          249,
                          195,
                          181,
                          173,
                          186,
                          229,
                          4,
                          153,
                          96,
                          54,
                          134,
                          173,
                          54,
                          107,
                          34,
                          231,
                          233,
                          197,
                          210,
                          155,
                          230,
                          222,
                          119,
                          48,
                          41,
                          107,
                          35,
                          57,
                          161,
                          76
                        ]
                      },
                      {
                        "Bytes": [
                          96,
                          97,
                          164,
                          76,
                          225
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          92,
                          26,
                          156,
                          245,
                          136,
                          209,
                          224,
                          172,
                          55,
                          142,
                          38,
                          3,
                          91,
                          97,
                          71,
                          255,
                          177,
                          200,
                          180,
                          157,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          6,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          13,
                          53,
                          27,
                          226,
                          201,
                          162,
                          103,
                          200,
                          83,
                          243,
                          197,
                          172,
                          13,
                          31,
                          148,
                          217,
                          76,
                          205,
                          102,
                          101,
                          89,
                          2
                        ]
                      },
                      {
                        "Bytes": [
                          106
                        ]
                      },
                      {
                        "Bytes": [
                          249,
                          235,
                          154,
                          11,
                          93
                        ]
                      },
                      {
                        "Bytes": [
                          212
                        ]
                      },
                      {
                        "Bytes": [
                          142,
                          234,
                          183,
                          67,
                          161,
                          100,
                          249,
                          203,
                          158,
                          7,
                          167,
                          161,
                          75,
                          137,
                          201,
                          59,
                          142,
                          56,
                          46,
                          225,
                          187,
                          252,
                          134,
                          215,
                          146
                        ]
                      },
                      {
                        "Bytes": [
                          67,
                          30,
                          155,
                          145
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          163,
                          9,
                          226,
                          103,
                          234,
                          63,
                          35,
                          230,
                          63,
                          12,
                          51,
                          214,
                          19,
                          152,
                          220,
                          159,
                          59,
                          155,
                          18,
                          187,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      },
                      {
                        "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,
                          199,
                          24,
                          52,
                          85,
                          164,
                          193,
                          51,
                          174,
                          39,
                          7,
                          113,
                          134,
                          6,
                          100,
                          182,
                          183,
                          236,
                          50,
                          11,
                          177,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          6,
                          0
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          174,
                          152,
                          218,
                          193,
                          34
                        ]
                      },
                      {
                        "Bytes": [
                          9,
                          62,
                          115,
                          47,
                          107,
                          96,
                          217,
                          130,
                          217,
                          178,
                          2,
                          26,
                          237
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xbcedf0dc8469d28da665ba51287c9f4242566ca5d0c3cf8df5c7d0bc94b8980c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x60",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xbb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x379",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xbe63cd614ba404498604a2c4150f22a7263b7b7877b26f94fa76d233b8334a58",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb3f0617cc650f23a0c1c3078c2a8d2e26750a60307d3b1a4d41a53772422e6a3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x30",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1be",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa169eeb4ff8e17e6cd84e2f53458e166328b2378fff31fb1a629822163e13cd7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x14cf206fd4aa5de0b9900254811e028285696c63ffe2cc177efe5015064b0cbe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd48da7adf0cfd68dbc2ff34125081aed586f14e054b214720756412f764fa71a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x21",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x196",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x21f4afa0c0585a1a0b7d663eac6de72ca41e4cb0a64ee8b472ba09a1e669f631",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x843f98da24c276555d8f8ae0a0f06ce7fa69e1a017b8451e8833ff47e557f70f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x843f98da24c276555d8f8ae0a0f06ce7fa69e1a017b8451e8833ff47e557f70f",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xa1d09fb544c4aaac60d13373242c9d9b823299be99d567bc67474e7484573f2c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x30",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xda",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfc3c924c0f285e1ad4bbc3ff2c1f69cae012a1726cbbfa54bd2a73c28f762112",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xde",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xbc302783cfd6ae21b23d19963cb634c48595a9dd7f4b54e730579d100b354390",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9fbe8ca8da9a66596d626ac61f8d48af27bccb69f81c983436eaa5265ef78185",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x28e8a9445afb11985b7b0ebd18f9632170af06af7a6838b4edb8a96534bbd48d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xcda0b6940f50f84975cf155d681a38b06334cfa6619358662bb622398d4478c0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x43",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x930240d3d5ebaf0821e01ca67b32492f7a7162dde8a932174019436f80a34d23",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5d6e91b58669895a50f52cc93de2e5194a93bcd00b4c10caf2295c4247253c55",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf87b9f47e08305e525f1ab6d7e039df31138394d0fbeba4b808dcad7866b2756",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x49",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3d4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd68fa2381cb01a24d8a67b863544c6310aa8da836d542d62e199cbfbda555c56",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe1df63b5e985db8788ae423819bc91a178d6477a3196050cc9093db644e6564a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5811ee82a8f520a31084df0ef242c38b64876de917f4897043d39f96a70ae6a9",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xf26b260e41d863348b6571def2593897a724a8d769c23aaa9545037af8bfc1ec",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf23f92fa34d90b60f9a1977ee2f2acfaa252546d7a6db2732e7b694ec035bb58",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x93b1a4b36886b5dd23d05949436bac388597329b919a74baf3bb002402f8d121",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x795daac6cb51c593da4e6bc3935344ffd9061143e182efd07fb71f8819a388f2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x49311588078a9c1821ae139a6caa688f2cd5918b9883330d6df9712d9a9ac75e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd2397ffbc7843288c4dfb272dadc9660333ebcd932277d71014658a04f32d2bb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x330",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa07c66e2c619e6d144150c251041cff806d6a683ee7d5dc8ecd4504f13eb891",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x19843549c58bf8d7f8649f4b465de4e2c",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x1d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x86",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2fa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x49",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x40",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x933c817e607f69c1cd436994ec71c44a3a29059fdc37145268869d923ff36adb",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xe84434c64a0e823ba3207e81b9e1809bc2fe6d39e40588d30ee89b15e6bd6a7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xae",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2b5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x45012be74ff45ff0dafaff6af31c7a50ac7368fc5494ec1bae468acde1a4b485",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xbd26f75ba94763d2ca88ba874d9b858a90ce176d2f7ef4bba65c16be22f66ce5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xabf0a49ab0b4285d3b32ee94b10c7335fb3e62aa7268e2964c017ecf9a5b0782",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x348",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfbed84cd79a76cc6729b852a22b0b5c510e1373756c8623a3a28eb4280e7ecf0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3110300a7c78d4204717a4e358cfd1e7be77336642b181137375c285ee5b8dbc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x40",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xbd26f75ba94763d2ca88ba874d9b858a90ce176d2f7ef4bba65c16be22f66ce5",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5753,
      28404
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0xf123b0954d5a4e67b605723b2a6933ff6836c87e58d20eed80e6327cbe9acca2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50,
      1956
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57599,
      8134
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      530754,
      20523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0xc9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      686,
      7832
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x83",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76321,
      49853
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79097,
      12830
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x152f34ffaf759513b0042e83bda5f67b3e825732"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8351,
      19527
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2395,
      6506
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0x16f7bf36eaa82d74fe2489ea9cb1fce13c710e9a6b8f0887bf38bc1b1e423484",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29892,
      49222
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0x84",
              8
            ]
          },
          {
            "Address": "0x09104bdd342d3312a081b4803c56d5b208c56efb"
          },
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Uint": [
              "0x8a2608f594708c84dbaadaec7b2365e4cd6d68ee47ada983a8f317971dc8cc4e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79188,
      737
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0xe3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85594,
      2917
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78313,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      588986,
      264
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0xf703f3ea5c509589bfb21ea795c785275089e0534109d4f8fce338ba0926cda7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3430,
      7975
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xef",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76673,
      6577
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0x6d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9479,
      56614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3542,
      1401
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xe7c290ebe84f14f3b85f817b248f0c9858d367a13e01f7c8d6db086a4eaaf787",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15534,
      55095
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69100,
      46339
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13364,
      19277
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x6f14133c0c85307dc3706459dde12d9b9f0123ea0b3313569b0f2db58403ec09",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45225,
      1325
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x7073aea8f63fe5bb1a62a7be7ea417acb60e2dcb130ace7107d229e4c6b1e898",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29331,
      11637
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x32eff16b586a6d911a91d56ea66c690a32f491e9bb424986505be18193eaa5f5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33932,
      25462
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0xa7340a083a485153b324e007a9393d4e8d91ca35b2d9e4b3b37842c8fbfc26da",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35810,
      11175
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26058,
      5057
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x553f1f17922d8454cb5952870618efaed7e920b65b03cc48c7e1c98ac7e942b0",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2859,
      3737
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8827,
      20523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24650,
      27713
    ]
  }
]