[
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0xebe356ca7f330158fc069c281a30eb16e70ceeec5a171f24135b429f58185f27",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      370364,
      21279
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      412898,
      19568
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7307,
      58533
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6939,
      58817
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
              },
              {
                "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
              },
              {
                "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
              },
              {
                "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
              },
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              },
              {
                "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
              },
              {
                "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
              },
              {
                "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x31",
                  8
                ]
              },
              {
                "Uint": [
                  "0x6b",
                  8
                ]
              },
              {
                "Uint": [
                  "0x31b",
                  8
                ]
              },
              {
                "Uint": [
                  "0x9e",
                  8
                ]
              },
              {
                "Uint": [
                  "0xbd",
                  8
                ]
              },
              {
                "Uint": [
                  "0x24f",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0xb4",
                  8
                ]
              },
              {
                "Uint": [
                  "0x88",
                  8
                ]
              },
              {
                "Uint": [
                  "0x27",
                  8
                ]
              },
              {
                "Uint": [
                  "0x71",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2a",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x22",
                  8
                ]
              },
              {
                "Uint": [
                  "0x31",
                  8
                ]
              },
              {
                "Uint": [
                  "0x17",
                  8
                ]
              },
              {
                "Uint": [
                  "0x30",
                  8
                ]
              },
              {
                "Uint": [
                  "0x45",
                  8
                ]
              },
              {
                "Uint": [
                  "0xbe",
                  8
                ]
              },
              {
                "Uint": [
                  "0x9b",
                  8
                ]
              },
              {
                "Uint": [
                  "0x3f",
                  8
                ]
              },
              {
                "Uint": [
                  "0x62",
                  8
                ]
              },
              {
                "Uint": [
                  "0x8f",
                  8
                ]
              },
              {
                "Uint": [
                  "0x10",
                  8
                ]
              },
              {
                "Uint": [
                  "0x15",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1e",
                  8
                ]
              },
              {
                "Uint": [
                  "0x88",
                  8
                ]
              },
              {
                "Uint": [
                  "0xf6",
                  8
                ]
              },
              {
                "Uint": [
                  "0x85",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62288,
      21058
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      724,
      5950
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27155,
      7198
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59356,
      3077
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3940,
      118
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0xaf3128c195485bf89f57df9a0917226b14b2781a0a12873eb4d7504d6f4cd9cc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50260,
      39622
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52033,
      44393
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61522,
      24469
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2523,
      4848
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73889,
      53041
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x242185f542b4ee0a3f3ccf4dd9fd6ce0a0258a0be05abcbe2a78624bf0a3e729",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43298,
      4129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61097,
      28325
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69172,
      14550
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118206,
      12437
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x10000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10944,
      13809
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57465,
      50153
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22537,
      37846
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xa9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36016,
      99
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6332,
      11781
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4744,
      25839
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x3fa7adc1ddf6ccd0fc1820f2ab4bcf46c476348095e0cde681dbca40fa0215ad",
              256
            ]
          },
          {
            "Uint": [
              "0x7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41766,
      7700
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6411,
      19032
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      504236,
      14189
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41528,
      21451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x4f34563d4fd6658b68553afce3599a752a5ef959417cd9199e790fb165e2db4a",
              256
            ]
          },
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75548,
      1039
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0x8",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0xcf3b2949ece837181a623c2539d802941853833bd0201eccde99814460c902ac",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78029,
      53
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2825,
      59996
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x794bae73fe1c1cc28d2019d2ba2045abfdf65488bf5e76b3967cd90b002384e1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28487,
      9467
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6351,
      219
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      333706,
      36994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_withdraw",
        "args": [
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Uint": [
              "0x2ad9dab0fad9539f19983d63192c98d68a566aa14ddae1fbc66211dd1547106e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4084,
      482
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0xb4",
              8
            ]
          },
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64565,
      49208
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x5a7ec5b45faf08a4af725ffa8b49cd405a23d86fd67601405180e6b213b12931",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9008,
      4278
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
              },
              {
                "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
              },
              {
                "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
              },
              {
                "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              },
              {
                "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
              },
              {
                "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x14",
                  8
                ]
              },
              {
                "Uint": [
                  "0x33",
                  8
                ]
              },
              {
                "Uint": [
                  "0x67",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe3",
                  8
                ]
              },
              {
                "Uint": [
                  "0xeb",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfc",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc3",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfa",
                  8
                ]
              },
              {
                "Uint": [
                  "0x360",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe8",
                  8
                ]
              },
              {
                "Uint": [
                  "0x91",
                  8
                ]
              },
              {
                "Uint": [
                  "0xbb",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1b",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2e",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2e",
                  8
                ]
              },
              {
                "Uint": [
                  "0x11",
                  8
                ]
              },
              {
                "Uint": [
                  "0x84",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe4",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x4d",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29887,
      22792
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57501,
      41547
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x34a42ff1c719ff2d3bf27751939790a7d3697acfe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1643,
      24903
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7075,
      57816
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0xe77a6fca288ff83749c4a0f93b4375fcca4018a4d9cbf8105adcf87dc67cf012",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78039,
      54839
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x7d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82078,
      5710
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  },
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  },
                  {
                    "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          154,
                          195,
                          130,
                          214,
                          227,
                          72,
                          58,
                          28,
                          140,
                          248,
                          193,
                          129,
                          15,
                          150,
                          71,
                          33,
                          168,
                          172,
                          36
                        ]
                      },
                      {
                        "Bytes": [
                          162
                        ]
                      },
                      {
                        "Bytes": [
                          34,
                          26,
                          109,
                          63,
                          76,
                          76,
                          43,
                          114,
                          108,
                          36,
                          245,
                          229,
                          48,
                          149,
                          16,
                          115,
                          137,
                          53,
                          100,
                          207,
                          253,
                          27,
                          206,
                          177,
                          106,
                          165,
                          113,
                          202
                        ]
                      },
                      {
                        "Bytes": [
                          38,
                          62,
                          78,
                          190,
                          164,
                          0,
                          48,
                          167
                        ]
                      },
                      {
                        "Bytes": [
                          78,
                          219,
                          80,
                          2,
                          171,
                          144,
                          78,
                          171,
                          25
                        ]
                      },
                      {
                        "Bytes": [
                          246,
                          10,
                          41,
                          68,
                          142,
                          49,
                          249,
                          42,
                          203,
                          231,
                          159,
                          147,
                          115,
                          65,
                          253,
                          95,
                          129,
                          108,
                          15,
                          198,
                          247,
                          238,
                          99
                        ]
                      },
                      {
                        "Bytes": [
                          162,
                          104,
                          168,
                          199,
                          38,
                          169,
                          43,
                          130,
                          68,
                          252,
                          154,
                          52,
                          216,
                          12,
                          148,
                          6,
                          202
                        ]
                      },
                      {
                        "Bytes": [
                          177,
                          208,
                          206,
                          137,
                          102,
                          118,
                          150,
                          206,
                          133,
                          73,
                          40,
                          126,
                          184,
                          104,
                          28,
                          116,
                          1,
                          200,
                          83,
                          86,
                          242,
                          58,
                          132,
                          250,
                          120,
                          195,
                          242,
                          228,
                          203,
                          249,
                          21,
                          125
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          6,
                          209,
                          26,
                          125,
                          63,
                          74
                        ]
                      },
                      {
                        "Bytes": [
                          200,
                          108,
                          241,
                          19,
                          63,
                          71,
                          175,
                          135,
                          88,
                          95,
                          201,
                          169,
                          66,
                          173,
                          215
                        ]
                      },
                      {
                        "Bytes": [
                          57,
                          7,
                          27,
                          173,
                          114,
                          204,
                          100,
                          86,
                          154,
                          26,
                          42,
                          70,
                          41,
                          235,
                          44,
                          70,
                          60,
                          177,
                          42,
                          65,
                          189,
                          129,
                          251,
                          246,
                          29
                        ]
                      },
                      {
                        "Bytes": [
                          33,
                          207,
                          95,
                          137,
                          233,
                          104,
                          158,
                          2,
                          169,
                          224,
                          243,
                          242
                        ]
                      },
                      {
                        "Bytes": [
                          249,
                          58,
                          241,
                          102,
                          245,
                          125,
                          139,
                          228,
                          28,
                          127,
                          212,
                          14,
                          157,
                          181,
                          148,
                          211,
                          179,
                          115
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          101,
                          173,
                          53,
                          75,
                          204,
                          46,
                          106,
                          124,
                          55,
                          126,
                          245,
                          119,
                          213,
                          79,
                          154,
                          244,
                          44,
                          190,
                          101,
                          209,
                          192,
                          35
                        ]
                      },
                      {
                        "Bytes": [
                          183,
                          55,
                          202,
                          62,
                          179,
                          174,
                          102,
                          30,
                          240,
                          162,
                          222,
                          251,
                          6,
                          67,
                          254,
                          117,
                          99,
                          184,
                          193,
                          252,
                          49,
                          234,
                          181
                        ]
                      },
                      {
                        "Bytes": [
                          95,
                          139,
                          252,
                          39,
                          243,
                          103,
                          65
                        ]
                      },
                      {
                        "Bytes": [
                          23,
                          207,
                          237,
                          4,
                          20,
                          166,
                          222,
                          49,
                          170,
                          160,
                          177,
                          204,
                          105,
                          22,
                          102,
                          98,
                          185,
                          20,
                          236,
                          1
                        ]
                      },
                      {
                        "Bytes": []
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          95,
                          236,
                          197,
                          224,
                          4,
                          11,
                          227,
                          113,
                          132,
                          78,
                          19,
                          204,
                          163,
                          227,
                          86,
                          238,
                          154,
                          9,
                          16,
                          225,
                          247,
                          251,
                          83,
                          61,
                          226,
                          100,
                          198,
                          114,
                          227,
                          0,
                          78,
                          190
                        ]
                      },
                      {
                        "Bytes": [
                          148,
                          162,
                          75,
                          168,
                          39,
                          208,
                          204,
                          209,
                          154,
                          151,
                          41
                        ]
                      },
                      {
                        "Bytes": [
                          225,
                          65,
                          141,
                          177,
                          96,
                          53,
                          119,
                          252,
                          87,
                          96,
                          255,
                          65,
                          206,
                          225,
                          40,
                          93,
                          185,
                          60,
                          61,
                          105
                        ]
                      },
                      {
                        "Bytes": [
                          60
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          135,
                          101,
                          64,
                          40,
                          181,
                          91,
                          43,
                          116,
                          27,
                          222,
                          168,
                          50,
                          225
                        ]
                      },
                      {
                        "Bytes": [
                          220,
                          226,
                          35
                        ]
                      },
                      {
                        "Bytes": [
                          18,
                          153,
                          136,
                          250,
                          129
                        ]
                      },
                      {
                        "Bytes": [
                          36,
                          1,
                          175,
                          108,
                          252,
                          50,
                          13,
                          193,
                          123,
                          132,
                          255,
                          89,
                          123,
                          148,
                          222,
                          217,
                          216,
                          200,
                          28,
                          44,
                          91,
                          182,
                          215,
                          109,
                          125,
                          35,
                          148,
                          191,
                          141,
                          2
                        ]
                      },
                      {
                        "Bytes": [
                          188,
                          4,
                          179,
                          207,
                          67,
                          80,
                          112,
                          161,
                          155,
                          184,
                          110,
                          172,
                          72,
                          181,
                          201,
                          83,
                          41,
                          58,
                          208,
                          6,
                          52,
                          20,
                          6
                        ]
                      },
                      {
                        "Bytes": [
                          29,
                          135,
                          208,
                          178,
                          92,
                          139,
                          86,
                          249,
                          127,
                          102,
                          91,
                          216,
                          155,
                          142,
                          3,
                          244,
                          171,
                          214,
                          144,
                          49,
                          217,
                          144,
                          238,
                          86,
                          26,
                          250,
                          107,
                          148,
                          86,
                          149,
                          79
                        ]
                      },
                      {
                        "Bytes": [
                          72,
                          186,
                          89,
                          169,
                          10,
                          108,
                          115,
                          253,
                          251,
                          67,
                          194,
                          18,
                          153,
                          89,
                          230,
                          98,
                          194,
                          136,
                          182,
                          186,
                          181,
                          234,
                          123,
                          221,
                          98,
                          85,
                          186,
                          174,
                          9,
                          152
                        ]
                      },
                      {
                        "Bytes": [
                          16,
                          252,
                          185,
                          2,
                          192,
                          114,
                          107,
                          129,
                          80,
                          109,
                          88,
                          218,
                          42,
                          204,
                          222,
                          102,
                          140,
                          140,
                          39,
                          232,
                          128,
                          88,
                          196,
                          221,
                          64,
                          235,
                          50
                        ]
                      },
                      {
                        "Bytes": [
                          136,
                          56,
                          203,
                          210,
                          86,
                          8,
                          253
                        ]
                      },
                      {
                        "Bytes": [
                          195,
                          20,
                          168,
                          63,
                          135,
                          51,
                          39,
                          98,
                          168,
                          130,
                          105,
                          88,
                          75,
                          183,
                          109,
                          194,
                          39,
                          42,
                          100,
                          16,
                          146,
                          147,
                          47,
                          96,
                          66,
                          67,
                          4,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          133,
                          105,
                          137,
                          169,
                          71,
                          254,
                          241,
                          23,
                          86,
                          39,
                          125,
                          100,
                          26,
                          188,
                          110,
                          253,
                          127,
                          21,
                          215,
                          42,
                          70,
                          30,
                          119,
                          236,
                          224,
                          134,
                          208,
                          77,
                          143,
                          114,
                          46,
                          154
                        ]
                      },
                      {
                        "Bytes": [
                          251,
                          74,
                          27,
                          83,
                          45
                        ]
                      },
                      {
                        "Bytes": [
                          202,
                          129,
                          40,
                          164,
                          91,
                          221
                        ]
                      },
                      {
                        "Bytes": [
                          78,
                          131,
                          172,
                          244,
                          114,
                          32,
                          142,
                          218
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          168,
                          54,
                          204,
                          112,
                          44,
                          141,
                          103,
                          139,
                          16,
                          250,
                          225,
                          94,
                          78,
                          242,
                          101,
                          39,
                          76,
                          227
                        ]
                      },
                      {
                        "Bytes": [
                          78,
                          44,
                          33,
                          65,
                          113,
                          157,
                          192,
                          216,
                          114,
                          245
                        ]
                      },
                      {
                        "Bytes": [
                          69,
                          151,
                          113,
                          219,
                          210,
                          220,
                          255,
                          73,
                          249,
                          197,
                          115,
                          17,
                          21,
                          85,
                          1,
                          119,
                          20,
                          180,
                          222,
                          122,
                          155,
                          164,
                          204,
                          191,
                          55,
                          75,
                          124,
                          47,
                          16,
                          98
                        ]
                      },
                      {
                        "Bytes": [
                          207,
                          198
                        ]
                      },
                      {
                        "Bytes": [
                          46,
                          181,
                          203,
                          113,
                          64,
                          45,
                          68,
                          226,
                          205,
                          89,
                          168,
                          188,
                          33,
                          202,
                          71,
                          181,
                          95,
                          183,
                          58,
                          56,
                          237,
                          227,
                          249,
                          212,
                          108,
                          152
                        ]
                      },
                      {
                        "Bytes": [
                          185,
                          246,
                          22,
                          139,
                          163,
                          90,
                          206,
                          235,
                          48,
                          145,
                          212,
                          237,
                          212,
                          56,
                          172,
                          72,
                          161,
                          216,
                          29,
                          193,
                          249,
                          212,
                          58,
                          15,
                          59,
                          137,
                          234,
                          173
                        ]
                      },
                      {
                        "Bytes": [
                          205,
                          172,
                          105,
                          199,
                          56,
                          58,
                          210,
                          91,
                          126,
                          98,
                          20,
                          198,
                          100,
                          131,
                          9,
                          231,
                          218,
                          154,
                          137,
                          224,
                          142,
                          163,
                          85,
                          106
                        ]
                      },
                      {
                        "Bytes": [
                          38,
                          247,
                          116,
                          128,
                          223,
                          48,
                          25,
                          109,
                          145,
                          212,
                          44,
                          10,
                          64,
                          227,
                          149,
                          148,
                          57,
                          91,
                          240,
                          60,
                          210,
                          72,
                          112,
                          39,
                          4,
                          216,
                          144,
                          118,
                          140,
                          64,
                          93,
                          137
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          215,
                          104,
                          52,
                          197,
                          127
                        ]
                      },
                      {
                        "Bytes": [
                          90,
                          56,
                          127,
                          123,
                          42,
                          241,
                          86,
                          132,
                          72,
                          228,
                          235,
                          236,
                          228,
                          211,
                          213
                        ]
                      },
                      {
                        "Bytes": [
                          190,
                          154,
                          11,
                          88,
                          241,
                          246,
                          165,
                          227,
                          81,
                          211,
                          38,
                          186
                        ]
                      },
                      {
                        "Bytes": [
                          247,
                          210,
                          0,
                          206
                        ]
                      },
                      {
                        "Bytes": [
                          178,
                          229,
                          50,
                          64,
                          120,
                          136,
                          146,
                          105,
                          64,
                          30,
                          208,
                          130,
                          123,
                          99,
                          19,
                          203,
                          26,
                          127,
                          55,
                          81,
                          119,
                          156,
                          217,
                          174,
                          34,
                          146,
                          211,
                          96,
                          115,
                          51
                        ]
                      },
                      {
                        "Bytes": [
                          67,
                          132,
                          70
                        ]
                      },
                      {
                        "Bytes": [
                          149,
                          77,
                          231,
                          126,
                          128,
                          172,
                          99,
                          16,
                          184,
                          90,
                          88,
                          212,
                          109,
                          120,
                          53,
                          18,
                          206,
                          146,
                          182,
                          98,
                          28,
                          77,
                          42,
                          114,
                          249,
                          137
                        ]
                      },
                      {
                        "Bytes": [
                          227,
                          234,
                          157,
                          179,
                          133,
                          18,
                          105,
                          236,
                          190,
                          132,
                          114,
                          88,
                          88,
                          112,
                          234,
                          132,
                          142,
                          180,
                          78,
                          136,
                          72,
                          58,
                          226,
                          173
                        ]
                      },
                      {
                        "Bytes": [
                          225,
                          102,
                          210,
                          236,
                          148,
                          100,
                          31,
                          57
                        ]
                      },
                      {
                        "Bytes": [
                          77,
                          111,
                          195,
                          169,
                          27,
                          80,
                          21,
                          82,
                          7,
                          30,
                          246,
                          246,
                          25,
                          65,
                          194,
                          58,
                          37,
                          1,
                          23,
                          47,
                          119,
                          251,
                          110,
                          26,
                          225,
                          31,
                          159,
                          50
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          96,
                          160,
                          238,
                          243,
                          180,
                          210,
                          168,
                          212,
                          3,
                          179,
                          225,
                          42,
                          7,
                          223,
                          72,
                          128,
                          142,
                          221,
                          84,
                          42
                        ]
                      },
                      {
                        "Bytes": [
                          212,
                          82,
                          95,
                          42,
                          61,
                          133,
                          223,
                          181,
                          224,
                          164,
                          209,
                          45,
                          97
                        ]
                      },
                      {
                        "Bytes": [
                          67,
                          217,
                          183,
                          219,
                          50,
                          7,
                          14,
                          15,
                          13,
                          216,
                          31,
                          25,
                          195,
                          132,
                          118,
                          227,
                          140,
                          39,
                          15,
                          7,
                          203,
                          245,
                          220,
                          205,
                          182,
                          97,
                          205,
                          157,
                          117
                        ]
                      },
                      {
                        "Bytes": [
                          249,
                          172,
                          1,
                          119,
                          88,
                          119,
                          12,
                          142,
                          121,
                          35,
                          27,
                          242,
                          234,
                          101,
                          122,
                          236
                        ]
                      },
                      {
                        "Bytes": [
                          23,
                          168,
                          116,
                          20,
                          220,
                          91,
                          220,
                          78,
                          245,
                          87,
                          156,
                          106,
                          185,
                          130,
                          155,
                          155,
                          132,
                          252,
                          95,
                          146,
                          228,
                          143,
                          32,
                          72,
                          180,
                          122
                        ]
                      },
                      {
                        "Bytes": [
                          146,
                          154,
                          100,
                          144,
                          223,
                          218,
                          57,
                          94,
                          128,
                          234,
                          52,
                          98,
                          99,
                          32,
                          148,
                          138,
                          255,
                          97,
                          53,
                          210,
                          72,
                          30,
                          203,
                          176
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          22,
                          3,
                          205,
                          132,
                          8,
                          254,
                          187,
                          235,
                          152,
                          149,
                          213,
                          220,
                          108,
                          41,
                          214,
                          240,
                          11,
                          142,
                          40,
                          195,
                          94,
                          43
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          149,
                          168,
                          32,
                          238,
                          58,
                          82,
                          2,
                          217,
                          2,
                          20,
                          44,
                          142,
                          116,
                          176,
                          255,
                          135,
                          92,
                          104,
                          39,
                          137
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          101,
                          192,
                          162,
                          190,
                          19,
                          202,
                          223,
                          143,
                          51,
                          122,
                          6,
                          192,
                          35,
                          135,
                          248,
                          61,
                          69,
                          60,
                          185,
                          118,
                          154,
                          238
                        ]
                      },
                      {
                        "Bytes": [
                          37,
                          206,
                          66,
                          42,
                          112,
                          98,
                          229,
                          89,
                          144,
                          35,
                          11,
                          46,
                          225,
                          239,
                          182,
                          214,
                          211,
                          75,
                          123,
                          204,
                          146,
                          209,
                          186,
                          227,
                          64,
                          161,
                          222,
                          104,
                          201,
                          105,
                          47
                        ]
                      },
                      {
                        "Bytes": [
                          44,
                          71,
                          144,
                          255,
                          224,
                          212,
                          15,
                          122,
                          76,
                          93,
                          185,
                          254,
                          211,
                          195
                        ]
                      },
                      {
                        "Bytes": [
                          226
                        ]
                      },
                      {
                        "Bytes": [
                          123,
                          113,
                          226,
                          134,
                          44,
                          190,
                          0,
                          147,
                          120,
                          23,
                          177,
                          60,
                          118,
                          233,
                          77,
                          25,
                          154,
                          233,
                          102,
                          169,
                          5,
                          152,
                          84
                        ]
                      },
                      {
                        "Bytes": [
                          42,
                          95,
                          189,
                          234,
                          253,
                          92,
                          165,
                          44
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          21,
                          228,
                          216,
                          78,
                          92,
                          188,
                          161,
                          133,
                          251,
                          113,
                          42,
                          157,
                          144,
                          1,
                          54,
                          97,
                          186,
                          7,
                          59
                        ]
                      },
                      {
                        "Bytes": [
                          103,
                          176,
                          5,
                          176,
                          138,
                          94,
                          226,
                          175,
                          240,
                          171,
                          113,
                          241,
                          120,
                          29,
                          213,
                          85,
                          8,
                          193,
                          105,
                          167,
                          177,
                          35,
                          92,
                          183,
                          236,
                          238,
                          167,
                          16,
                          78
                        ]
                      },
                      {
                        "Bytes": [
                          186
                        ]
                      },
                      {
                        "Bytes": [
                          4,
                          21,
                          5,
                          56,
                          99,
                          32,
                          52,
                          145,
                          91,
                          147
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          42,
                          67,
                          163,
                          217,
                          39,
                          88,
                          214,
                          136,
                          184,
                          104,
                          195,
                          190,
                          95,
                          14,
                          74,
                          110,
                          53,
                          5
                        ]
                      },
                      {
                        "Bytes": [
                          121,
                          74,
                          193,
                          140,
                          30,
                          47,
                          248,
                          177,
                          70,
                          61,
                          188,
                          194,
                          200,
                          21,
                          201,
                          17,
                          70,
                          207,
                          187
                        ]
                      },
                      {
                        "Bytes": [
                          136,
                          133
                        ]
                      },
                      {
                        "Bytes": [
                          144,
                          9,
                          232,
                          85,
                          139,
                          17,
                          201,
                          172
                        ]
                      },
                      {
                        "Bytes": [
                          177,
                          59,
                          110,
                          33,
                          140,
                          93,
                          210
                        ]
                      },
                      {
                        "Bytes": [
                          103,
                          239,
                          126,
                          9,
                          250,
                          114,
                          2,
                          4,
                          179,
                          248,
                          110,
                          201,
                          199,
                          67,
                          81,
                          165,
                          156,
                          114,
                          168
                        ]
                      },
                      {
                        "Bytes": [
                          114,
                          8,
                          6,
                          83,
                          216,
                          137,
                          152,
                          89,
                          137
                        ]
                      },
                      {
                        "Bytes": [
                          141,
                          226,
                          21,
                          209,
                          212,
                          23,
                          18,
                          9,
                          119,
                          2,
                          38,
                          234,
                          159,
                          73,
                          115,
                          118
                        ]
                      },
                      {
                        "Bytes": [
                          128,
                          211,
                          237,
                          137,
                          199,
                          187,
                          205,
                          117,
                          81,
                          230,
                          124,
                          63,
                          245,
                          101,
                          14,
                          174,
                          145
                        ]
                      },
                      {
                        "Bytes": [
                          235,
                          131,
                          23,
                          170,
                          90,
                          50,
                          6,
                          18,
                          164,
                          2,
                          62,
                          99,
                          160,
                          249,
                          192,
                          51,
                          238
                        ]
                      },
                      {
                        "Bytes": [
                          245,
                          66,
                          93,
                          73,
                          41,
                          130,
                          53
                        ]
                      },
                      {
                        "Bytes": [
                          187,
                          11,
                          236,
                          181,
                          255,
                          115,
                          14,
                          227,
                          194,
                          125,
                          147,
                          246,
                          138,
                          3,
                          83,
                          15,
                          30,
                          231,
                          27,
                          112,
                          59,
                          86,
                          141,
                          118,
                          223
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          162,
                          245,
                          218,
                          43,
                          106
                        ]
                      },
                      {
                        "Bytes": [
                          248
                        ]
                      },
                      {
                        "Bytes": [
                          161,
                          243,
                          30,
                          250,
                          87,
                          64,
                          191,
                          151,
                          169,
                          230,
                          205
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          154,
                          195,
                          130,
                          214,
                          227,
                          72,
                          58,
                          28,
                          140,
                          248,
                          193,
                          129,
                          15,
                          150,
                          71,
                          33,
                          168,
                          172,
                          36
                        ]
                      },
                      {
                        "Bytes": [
                          162
                        ]
                      },
                      {
                        "Bytes": [
                          34,
                          26,
                          109,
                          63,
                          76,
                          76,
                          43,
                          114,
                          108,
                          36,
                          245,
                          229,
                          48,
                          149,
                          16,
                          115,
                          137,
                          53,
                          100,
                          207,
                          253,
                          27,
                          206,
                          177,
                          106,
                          165,
                          113,
                          202
                        ]
                      },
                      {
                        "Bytes": [
                          38,
                          62,
                          78,
                          190,
                          164,
                          0,
                          48,
                          167
                        ]
                      },
                      {
                        "Bytes": [
                          78,
                          219,
                          80,
                          2,
                          171,
                          144,
                          78,
                          171,
                          25
                        ]
                      },
                      {
                        "Bytes": [
                          246,
                          10,
                          41,
                          68,
                          142,
                          49,
                          249,
                          42,
                          203,
                          231,
                          159,
                          147,
                          115,
                          65,
                          253,
                          95,
                          129,
                          108,
                          15,
                          198,
                          247,
                          238,
                          99
                        ]
                      },
                      {
                        "Bytes": [
                          162,
                          104,
                          168,
                          199,
                          38,
                          169,
                          43,
                          130,
                          68,
                          252,
                          154,
                          52,
                          216,
                          12,
                          148,
                          6,
                          202
                        ]
                      },
                      {
                        "Bytes": [
                          177,
                          208,
                          206,
                          137,
                          102,
                          118,
                          150,
                          206,
                          133,
                          73,
                          40,
                          126,
                          184,
                          104,
                          28,
                          116,
                          1,
                          200,
                          83,
                          86,
                          242,
                          58,
                          132,
                          250,
                          120,
                          195,
                          242,
                          228,
                          203,
                          249,
                          21,
                          125
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x3b1398a70f3e9f430695d1955249cf529bbb57317c30ebbb667aea211a929543",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6afb449aaf659c0584c4d5de40eaaa6e3ff029e3a81f579bce2c14e81a107390",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x59",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xbcd086b3eb9acc84a11168b59c35a99909e663e943469e9fb0a3c543fe2c3452",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x782c93579c4773e912a1e0408b746de892a35168c872722a3b3556b5a78f5da4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2e9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7ac4399fd7272035b0f0bc439c5407453d34becc418135e974adb155b2eaa69b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5273844ca70eec5b43cff28",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x646744e61af9492bb8d4e3deed5b4688c4231141f73181fddb6a6cb5d3e99071",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x23c6a13f0d99938aa934367625a67cd28536d4cc98e2545b4d287044dcb85ac7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x29b3611a284ba9d864967e15e531c2d96d39233ec7e7058b26cc5806ebd78e75",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x99c27a90a0b94e1d78fe52b17a85130e3608e7a9d789fe72c0fc7303e383d320",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb7070cf01691705412637a41e2638f903210d0166063eb5420b8eee82fb60704",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x334f7983a88ea3f0be2da42ffa18e99c481d037c0d6679bbc5e5c1dd0cbb22a8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x136aef048b6f15303096a117e3c8c6791f9fa0c4b17828bd54527b546092a23a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x16033509f9df4628cb3045f6f1caff65e2ac8a588c6afd32cee423f24ae41777",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xab61dcbf97258fdec6c010aac68c03d2cdb0976dc250ba6fa377ea2f288939d3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x63b005aa858b101ae80f16c54ac22bd0f1ef637322d366eea59a9dbff53cc46f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x208",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x171",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xcd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x88e1625f7322f4445aff4556b15d5883752856bb903e3366114a3f4fd6a86fef",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x26a2176",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x523768663362e0a949b80f33c7a41a30e05f31c0dec212c5c57a81f3e096cb1c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x94a625c7c6a993fd29014d0b3cc2fd19c4fee8d72a0e7a42fcee7db9ce68f5bf",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x22e27a18889fc8db25731876f362ebcfe152e7d21927b326966b1d1ed016d008",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x721ccbf61fccb8bb5feac121cbb3e9d6248774039654fecdcb49a796cfe76bd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x896b89c466a261a6e0f82b00dd3e37ac39ae0072df4318a4078e11a819b43890",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7593a5d3fc775502e6b4e50bcaa527c0a14937e55749c2593ff280a9aa5a49dd",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa627276d82a6bf77e437027473e6afb919bc9ccd78b23d5ffc80c57b594b4af2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb4c9c7395f7a1c5376dedfa9d39e01608e384a2ec49c1e9a4d7f4ec8ac6993ed",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe53efd185d658d9fd1934e043aa6a66a0ee2ac5c1afce16e55d9b3bce71ffc6a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc3a665b864ec2aafbf29d78c3cf8ae472a8471796a08a50adff46b48f26d6444",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x31331229d94170ee515fe15b8b9ce26778adb5a4a408d232ae9255bc340b7436",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfd1815ca54270d88ac71b301f8e6b746db7f2def563efad53020597d594e0eb3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9a0a3d7f1bdc4f0eb45735f5a3d6fbf58c8fb887a80befac61b337a12ab5ecfe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x58fe67ea34ffed1915cf113b52679a3f5bec02eb82369adf54b2cb760e674b64",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x16",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x42c818b179727d940856d4d4010e44d99a0fbaf0d9939eaa86f47065949a3b15",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x106",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x28e315fc33820b08cd33867db641b2c562a241f221148cf52291d3f43e41a42d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x18550e1fe4403",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4a5168f202a38b5caf9025e9b4cca1c26e9fa9398dbe2b87a3e118b56afc162",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdd7b62f8102bb0121158597c99a19f4df76fa685cc6d2629dd3a7a5a49f51684",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xae0c62c1a7ec59bb39c0205c0e3b0d076ab6a31535674c86304ac5e2d1115a27",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x61e07039147d2a73f36bdbfd97cf1ec8d7623bbd4f0bd64b51404c692775af6a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x10f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdfc17d0a03288ef31f1443e83004e88774bb253116e10d7819d52b19e5c7a401",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x72479f71a29cee36bff6aae38a242bb57826567d0ba8fef91a08b491529d8313",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe35fe285560f069e2e199a78ca70d9e443c1a4cbcea2db4aaeeba770fe469488",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x17f28f980b0f0d32a558437a016257b3ce78306d3788a4b04716cb03a6d0d946",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4fb608da2f90d89615e71111c4f684835d2deb118324a4ea4e94154dd434d53a",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6c22e8bfec4dbdb1472aebc5d0838864816e7c31260054f0a5016f8c190125c7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc589c76f0b8c1fe59ddc9350ecc0a60c5423bb8bed07cb0a18def164ee8a91bd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      569059,
      13139
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6584,
      1690
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x3f293dbf02229e6d6d687532a73f08060b2e206398272353aa6431abf394e808",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77,
      46298
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12722,
      25393
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      392235,
      27402
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      803,
      57941
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20455,
      21061
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63578,
      46024
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0xef446603c720d860e32fd3fc30b25e2dae8ac1a328bee7259089d7bb67a9fcbc",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Uint": [
              "0xf191988b99dcb8fc37ac8291a3c5a7860d12bf4f468b3ec87df70a6c87d9dae4",
              256
            ]
          },
          {
            "Uint": [
              "0x10b34c3c25343",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51907,
      5071
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23592,
      10711
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x7ffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71260,
      24007
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68981,
      29279
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6175,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x2fc",
              256
            ]
          },
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      221,
      2661
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2823,
      286
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Uint": [
              "0x25c71fec2a4a0983ffa1cadd1cdbf4a348decbb4e1be856136f762e6e83e04d2",
              256
            ]
          },
          {
            "Uint": [
              "0x17",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40071,
      26981
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0xe1e2a6705bc07b1651571805ca1257bce88b96646fffc9969095a1e343e0e288",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75699,
      42186
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31129,
      2370
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          },
          {
            "Uint": [
              "0xdaaba408b45a52d7ee147122241c9ee484e38ef5ac66251440960c2146b5dd60",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62029,
      3958
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51454,
      32639
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86508,
      6273
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86316,
      37445
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x61",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52209,
      17143
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x3e8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      180216,
      8954
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x10eadce12bace3c81bfd4eeceed512b699b8de4bff2d722e5b69cd5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4925,
      57355
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      139249,
      20771
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59164,
      14232
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x457bb7419c27865840c6f1882c4400e1d4a1caac080d3f27e4e41b64c30852fd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72520,
      8415
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66984,
      7322
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x562608a78e1d8409870ade7ab67d980ae0a97c62768e220532ed3331a9c8ce39",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39254,
      9703
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7454,
      1887
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86837,
      5687
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x22",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16134,
      22485
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      234601,
      28952
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Uint": [
              "0x7f780df4dca741242a14b6a763ad76097c89e1c68ec5fadc002bd6e4f3d88c73",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79397,
      16356
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xb5",
                  8
                ]
              },
              {
                "Uint": [
                  "0x32",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119558,
      29349
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0x1fffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65144,
      28972
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      305037,
      23234
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4227,
      17419
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62430,
      6000
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22693,
      15366
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82190,
      182
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      339381,
      56647
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61617,
      24127
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1612,
      1195
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0xd661db30c434960a39ea48a0aa69c53d4b6efb6a3bc066c187b7074245fce3fb",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34276,
      59541
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52981,
      18797
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      470084,
      10090
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Uint": [
              "0x32",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42181,
      22593
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74611,
      826
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8621,
      8502
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54307,
      28011
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38132,
      22485
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0xb",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x6b3af3b4113ddcc0612bc55c3a4cb880d29a8dc67d0dc6bcd5054c05673ca5c3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28190,
      17167
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47851,
      3102
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27478,
      25529
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64352,
      9703
    ]
  }
]