[
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0xe14",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      491534,
      28439
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0x83",
              256
            ]
          },
          {
            "Uint": [
              "0xe0e",
              256
            ]
          },
          {
            "Uint": [
              "0xe865d73cf69f9aa46f0bde70f21e35ae437e65b73351970e14ce8ff98cfc1f61",
              256
            ]
          },
          {
            "Uint": [
              "0x6b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61355,
      1537
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x4f",
              256
            ]
          },
          {
            "Uint": [
              "0x47ff8ff018e365c59d8b4048bc9fe3bb6ada169af6844acc6be53b8c97f09df4",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      488143,
      26537
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56527,
      21899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      203825,
      18017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0x5c7a9be91963e54245f0230b52a1b5fe33ceb00ab0d014bfc2800f97fe535ae2",
              256
            ]
          },
          {
            "Uint": [
              "0x34",
              256
            ]
          },
          {
            "Uint": [
              "0x3824d202c9cc4075fc1cd1f1f4daaded3b33031be7a246ad8b538d96f39d961a",
              256
            ]
          },
          {
            "Uint": [
              "0x10000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13241,
      28591
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x3af",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43421,
      14716
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0x76",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      299545,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Address": "0x00000000000000000000000000000004fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5400,
      25029
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      259313,
      59507
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6502,
      24858
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0xf7110b91d7e29439a7a884ccbafa180ddad0389d96f12d0151b1275b7a0e1529",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66346,
      1961
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74684,
      11169
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2602,
      59702
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3933,
      19974
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50637,
      8334
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      510603,
      38009
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x3306f406ad0a95f3337a9e0a2628a98302d4fa595799f970a06e51873db9e92b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34275,
      13322
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      452483,
      4443
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x3e8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3105,
      17758
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          },
          {
            "Uint": [
              "0x74a258dfbadf31b8707970901396eefde70322272004972c9cea3d1a3dcd0c2d",
              256
            ]
          },
          {
            "Uint": [
              "0x2e8",
              256
            ]
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3638,
      53320
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      767,
      43677
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31644,
      56111
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3820,
      3402
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x2a49acbeb0ea60f50b6760e0c46244c5",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1543,
      6119
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81621,
      25923
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Uint": [
              "0x62",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84371,
      47105
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77019,
      3922
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Uint": [
              "0x5f87ea8f0ca6cd27016015652ac7db1dfc575d31e26996f4bedc7b1f6fab97f9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      487936,
      28901
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x6d31565eae211d897aeda9ca55f7c5b52d7a2bb366073fddf66efa0c83392877",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37371,
      23164
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x7eeb3703113bcd4a3b8692104a3de6e12d1f3e5a72c6f86eed7365e63d42f4a7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      601459,
      5699
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      570562,
      14959
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      501880,
      8907
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64655,
      38133
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x7a523038462587d1ee63480e232d57c948bbe89d605caec11701ca49dac2df49",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8395,
      4261
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8826,
      23726
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86404,
      29375
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4406,
      12189
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x67",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3e7",
                  256
                ]
              },
              {
                "Uint": [
                  "0x30e73aa1df93e52b9b6cc9e2875ea3d8c6161b1e1db92f4595c091c83dcd48c5",
                  256
                ]
              },
              {
                "Uint": [
                  "0x124",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe10",
                  256
                ]
              },
              {
                "Uint": [
                  "0x83",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x999b16c2ecfb16e83135f6845cefa28aea274fc0accfdf74d68874fb3a1e5d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x36d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x10001",
                  256
                ]
              },
              {
                "Uint": [
                  "0xbff38ac72357b4b5803675edef2bcf0c24ef93d703a83fee218234dbb278e223",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                  256
                ]
              },
              {
                "Uint": [
                  "0x65b6aeb1ad7485a1b8f162351ad6e86a3ae1280237706746ddfa4a2658365ad0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x100000000000000000000000000000002",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4f34e5e848cf1a5247c4f72ae4da1a703cd5810f1bd316602ae5a5ab8047cd00",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe0f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2df",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7d0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffe",
                  256
                ]
              },
              {
                "Uint": [
                  "0xaf85e6b277226f12b63ded76fa6a2355b600d89d93d9335f9af81e4b0a958888",
                  256
                ]
              },
              {
                "Uint": [
                  "0x60a2c5f01d9586ee7c15a0379b9851c61fff946273894b3e2547a4580d4ba0da",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4c20201248eb7691fd28af442fa45c6917754534aa6e8a656fed79350c59af89",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3832264ae184da218049f55404e1e78f20f145fef0c55ff130611867c30e83cc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7aef75ffe7cb74c68245b72d69bc2ea4afe4c3e1ba517278f9efce1a9ef28726",
                  256
                ]
              },
              {
                "Uint": [
                  "0x67a973c2b98e1b56c881a75929050d458105dbaab4b630269dc6fb13269043d4",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xb38a34a2a6f380495efb54ec93b11a17319c8259d505747db270df6499946f96",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2fd",
                  256
                ]
              },
              {
                "Uint": [
                  "0x15",
                  256
                ]
              },
              {
                "Uint": [
                  "0x65106aa94c47291a98ed2e56d594f763b8a90abbbda9ae4597b4609b9938e750",
                  256
                ]
              },
              {
                "Uint": [
                  "0x39bd445563dc33619117afb467184c3dd6055e4ff24082821d39e6a48384940a",
                  256
                ]
              },
              {
                "Uint": [
                  "0x9e06e65b120b7b66771ee64fbe3e77a97cd700f37cb67c8e7a86956c52da2257",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf8634b564f5f669827d202e5cd25d4ce39a74b9a21c821399c57f1f23a063ce1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x64f6fea9f2802d7a8da2d40115c5e377f6415a385666cfdff46323aa2ccbbada",
                  256
                ]
              },
              {
                "Uint": [
                  "0x59ed9c4a9ff705ac33473f17bd126477be1b5d3b5eb91cdfa68c15739bf27c4e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x10001",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3eb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x22",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b209f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x10000000000000002",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe13",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5f1c96d5e84be1b83af9c2c9e460dae5cf0bd023d19994801e56b0c43692aaa0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x22a",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3a1cd377d37097e26984e386d82c60e15644e1c1a5385ecc5b11abe10888829c",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfc01d6f7e3f3c29540c0e104fe3d94f920790fe4f2dd18478aa2ff61ae61445c",
                  256
                ]
              },
              {
                "Uint": [
                  "0x99abda16c6018012034a5f9785e2ab05dba8753eb67dcd3acd48d6dd8bbac65a",
                  256
                ]
              },
              {
                "Uint": [
                  "0x194",
                  256
                ]
              },
              {
                "Uint": [
                  "0x98ea780508733d68f3cab95ffff6c471d2ab75100448dc7d903013b321060676",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                  256
                ]
              },
              {
                "Uint": [
                  "0x736ed5ab45aecd9d38cffedd406c2eb419222b77aed7b6d79751edcf2af4467d",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffe",
                  256
                ]
              },
              {
                "Uint": [
                  "0x83",
                  256
                ]
              },
              {
                "Uint": [
                  "0x326",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xba6",
    "delay": [
      28211,
      50591
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x232b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85126,
      23480
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x4b27670cb17fa0e0595ab0d5ec8efbcde1f93ab75a4965e15422d8c7f612ae1a",
              256
            ]
          },
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Address": "0x0000000000000000000000000000000000010000"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      583220,
      53202
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x21",
              256
            ]
          },
          {
            "Uint": [
              "0xe847b9b1ee3368c532c771f6010bbfbe73d499fcbcdd2e2239c58d279c35c50",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9076,
      48000
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      443882,
      9835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x20",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84359,
      898
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b209d",
              256
            ]
          },
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3027,
      3461
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      193483,
      33732
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000020000"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          },
          {
            "Uint": [
              "0xf245a2588b965001db89ff3215cdeb9d576da693fe981e830a0be19461779eb2",
              256
            ]
          },
          {
            "Uint": [
              "0x7d2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44121,
      12243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      442878,
      7253
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      526443,
      60213
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x40000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5533,
      26214
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0x10000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83278,
      3363
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xa2534b16501b0f0883126fa7430dcfa255903cfcd1793ab6009a583d07d0f35c",
              256
            ]
          },
          {
            "Uint": [
              "0x6e7590215fc8b9d455d54826cc915046ad435fd760e509d641a08a693a203d2a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83645,
      23130
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35752,
      1803
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x2cc20daf30b3a36c7181b0d20ea56b7c5c95c503a2011d5bffe650c356738f9b",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41662,
      21120
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x1e8483",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      295805,
      20769
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28665,
      3889
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000020000"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000020000"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  },
                  {
                    "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
                  },
                  {
                    "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
                  },
                  {
                    "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
                  },
                  {
                    "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
                  },
                  {
                    "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
                  },
                  {
                    "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  },
                  {
                    "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
                  },
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      34,
                      81,
                      147,
                      159,
                      23,
                      55,
                      250,
                      74,
                      85,
                      221,
                      132,
                      133,
                      27,
                      11,
                      43,
                      211,
                      71,
                      122,
                      237,
                      3,
                      200,
                      97,
                      118
                    ]
                  },
                  {
                    "Bytes": [
                      155,
                      100,
                      44,
                      27,
                      86,
                      45,
                      224,
                      188,
                      206,
                      240,
                      225,
                      52,
                      125,
                      207,
                      95,
                      229,
                      161
                    ]
                  },
                  {
                    "Bytes": [
                      101,
                      188,
                      59,
                      123,
                      78,
                      58,
                      164
                    ]
                  },
                  {
                    "Bytes": [
                      240,
                      99,
                      92,
                      123,
                      236,
                      74,
                      239,
                      15,
                      204,
                      3,
                      84,
                      96,
                      24,
                      252,
                      92,
                      55,
                      4,
                      145,
                      87,
                      198,
                      250,
                      1,
                      242,
                      94,
                      221,
                      144,
                      192,
                      81,
                      98
                    ]
                  },
                  {
                    "Bytes": [
                      141,
                      67,
                      99,
                      67,
                      109,
                      233,
                      202,
                      248,
                      37,
                      17
                    ]
                  },
                  {
                    "Bytes": [
                      185,
                      186,
                      95,
                      138,
                      30
                    ]
                  },
                  {
                    "Bytes": [
                      128,
                      129,
                      87,
                      129,
                      254,
                      91,
                      62,
                      32,
                      197,
                      198,
                      115,
                      238,
                      211,
                      14,
                      113,
                      81,
                      50
                    ]
                  },
                  {
                    "Bytes": [
                      24,
                      82,
                      111,
                      106,
                      125,
                      236,
                      136,
                      138,
                      38,
                      195,
                      129,
                      235,
                      0,
                      81,
                      237,
                      141
                    ]
                  },
                  {
                    "Bytes": [
                      223,
                      114,
                      197,
                      10,
                      235
                    ]
                  },
                  {
                    "Bytes": [
                      110,
                      60,
                      31,
                      25,
                      110,
                      214,
                      90,
                      254,
                      18,
                      130,
                      179,
                      16,
                      217,
                      247,
                      186,
                      227,
                      49,
                      92,
                      102,
                      210,
                      72,
                      178
                    ]
                  },
                  {
                    "Bytes": [
                      23,
                      27,
                      196,
                      42,
                      159,
                      104,
                      183
                    ]
                  },
                  {
                    "Bytes": [
                      97,
                      49,
                      8,
                      220,
                      98,
                      94,
                      18,
                      101,
                      169,
                      78,
                      107,
                      178,
                      31,
                      151,
                      217,
                      107,
                      102,
                      129,
                      164,
                      253,
                      31,
                      218,
                      238,
                      135,
                      81,
                      205,
                      180
                    ]
                  },
                  {
                    "Bytes": [
                      157,
                      67,
                      6,
                      19,
                      34,
                      59,
                      26,
                      69,
                      161,
                      175,
                      56,
                      55,
                      112,
                      218,
                      95,
                      210,
                      77,
                      209,
                      72,
                      101,
                      142,
                      85,
                      119,
                      34,
                      210,
                      236,
                      163,
                      155,
                      172,
                      163,
                      229,
                      64
                    ]
                  },
                  {
                    "Bytes": [
                      81,
                      214,
                      243,
                      33,
                      202,
                      204,
                      52,
                      241,
                      117,
                      46,
                      75,
                      81,
                      114,
                      248,
                      173,
                      199,
                      61,
                      13
                    ]
                  },
                  {
                    "Bytes": [
                      247,
                      9,
                      115,
                      23,
                      146,
                      116,
                      63,
                      222,
                      85,
                      4
                    ]
                  },
                  {
                    "Bytes": [
                      11
                    ]
                  },
                  {
                    "Bytes": [
                      150,
                      206,
                      239,
                      224,
                      243,
                      234,
                      221,
                      142,
                      84,
                      46,
                      90,
                      98,
                      126,
                      129,
                      82,
                      48,
                      216,
                      59
                    ]
                  },
                  {
                    "Bytes": [
                      123,
                      23,
                      17,
                      79,
                      30,
                      232,
                      22,
                      197,
                      68,
                      253,
                      206,
                      204,
                      155,
                      62,
                      19,
                      160,
                      15,
                      235,
                      200,
                      52,
                      28,
                      205,
                      101,
                      40,
                      57,
                      178
                    ]
                  },
                  {
                    "Bytes": [
                      25,
                      172
                    ]
                  },
                  {
                    "Bytes": [
                      168,
                      174,
                      42,
                      168,
                      11,
                      44,
                      247
                    ]
                  },
                  {
                    "Bytes": [
                      88,
                      161,
                      144,
                      226,
                      230,
                      116,
                      241
                    ]
                  },
                  {
                    "Bytes": []
                  },
                  {
                    "Bytes": [
                      46,
                      80,
                      177,
                      1,
                      160,
                      69,
                      53,
                      230,
                      84,
                      93,
                      228,
                      57,
                      185,
                      116,
                      22,
                      211,
                      253,
                      69,
                      184,
                      211,
                      58
                    ]
                  },
                  {
                    "Bytes": [
                      212,
                      111,
                      105,
                      122,
                      160,
                      125,
                      41,
                      92,
                      102,
                      238
                    ]
                  },
                  {
                    "Bytes": [
                      7,
                      64,
                      241,
                      56,
                      13,
                      220,
                      56,
                      85,
                      126,
                      207,
                      81,
                      205,
                      255,
                      61,
                      85,
                      4,
                      127,
                      39,
                      5,
                      244,
                      96,
                      200,
                      234,
                      131,
                      191,
                      145,
                      179,
                      24,
                      0,
                      253,
                      206
                    ]
                  },
                  {
                    "Bytes": [
                      216,
                      27,
                      102,
                      39,
                      172,
                      84,
                      37,
                      185,
                      166,
                      205,
                      15,
                      168,
                      254,
                      48,
                      129,
                      139
                    ]
                  },
                  {
                    "Bytes": [
                      117,
                      187,
                      17,
                      4,
                      168,
                      91,
                      159,
                      200,
                      215,
                      107
                    ]
                  },
                  {
                    "Bytes": [
                      198,
                      124
                    ]
                  },
                  {
                    "Bytes": [
                      80,
                      64,
                      216,
                      45,
                      219,
                      122,
                      3,
                      142,
                      244,
                      110,
                      247,
                      167,
                      125,
                      75,
                      181,
                      29,
                      12,
                      230,
                      170,
                      28,
                      119,
                      189,
                      196,
                      204,
                      106,
                      201
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xf885e07a74db3278caf0ea6856562f90c9e1ce043b1b0a5551e65e2da98c60ce",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1c9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x36b7566d72b0782a1a177f65edce27c7f4a684c0faa44151bc02a612fd38b403",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x63",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x12f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2d57bbba5e011ca4f559298d12f00a71c0e8eeedd87c2f2af559bc17eb18d99c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x63",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3fa67a156670f8d3ec0d61a7a94254aa08091537f627ae5698113bdf871ba3b6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x484bd5b1a7f0212d54ab629ede7c6fae5d9acdfe4574cbf914636ab89344e9ca",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xba6766379542e92898e6e733c5d7b0791e58bb9264a95f80c434f2166347fe00",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc1e219c7a94784a70746aa4b729060c9a1a8a60029ec7f4b9ec67f4e93f4ba31",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xffffffff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x15",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x10001",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5f5e103",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3b2792e3eb58bc575bfa19a8fe311d93a583411289636fdf8880198f4884af1c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x100000000000000000000000000000002",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa5539b7f7192404ca8656a2724c5fcb74b9eeb722269235c7679647726c54a67",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8c8b0c18feff0d847cc93c917cc7975ffeb31250bf0b0a4af6bef09d0c6149de",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb6531e2fa66930f2ce4aedd00366d1a1f2bfd5dea4e81d47d94e2b8662240e0b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8448164495e39004d5c60c01a079ad1c5bb6d4da58df9737abb9ea9a8af9f796",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1532c52594962108af0a4e0ae57b2cb58b188dea8f015dc3fdf101fcefc6b860",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2c564022713d48abefc7dfd69559cbf73d01864731ad5da64b442a8f8781c2b2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb89b22f99ae45d9b8d54563d4aa7be7d2540d64e14173146beeedb935a0a03d2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0a9915786d4fd90f1b9ccf50dce3b5fa7323141a20af8aba73a478e758d04c18",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2d0f0f7c2e50ca026fa34e4e3ed2d23c13f29f39dd80445b63a502c2b52c68cf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ffa841bc72d006e55b46c7c211dc779660efbb016e42f83b2799c9152909be8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x737d107eac70b044979b9bf5690703af61f0c5a10da969442047d45f51317cb2",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc506502abbaf71b487282c44b7ce3f34480864715de9b9a1bad7caa9e11661b5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb6e50a238466467d046bbb1eeac628381b4b9ab259eff2a5d1e379c58f468a4e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35a430c1fcceab28ad7963abe5a96b93fe0c79b8daa7191defb0b5f8aecf43da",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x49f3f78e18c756d0df1100b6ce1eb237e7dd78fc83a8c4d7e0fcfc93001d4a96",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3b27cd56a9fb402d9d53ad714a80904dbe39b5118fdb74ef1d52d5cacd8c8b2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1cf563b9e1547442fc54590441387e3c63bbb94ba8d9e01f669a619506746cbc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd7a422426f8abeb926350dce98310bf9f9e257ea81bfa66d432a7a629c62eb93",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x88c3ed2fe8eed87f2be993750a8dd4355c71b4555f2075200591070601ac1d70",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd2ac55557ff2399d9ed365f10a591ae4ee22a97391647a49ab185b0c37697e37",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa33445d62321b44a905d0b87a5ab252e0a4c4eb2ff7b20be7afeb4b2ab5947d8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xef080f14ec6f181745df67032839b6534d31fab0a8515347433806e1b1176e78",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x14c22c417c7bcbe8180853340a24e8cae6a91ee32d2e8bd978ec89252c481929",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcf30853dbf50ebd8ea480c37d355cb3872a4a6ceab1c128c18ec76cbd38f9f89",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1f267ccaf138d2d6b4c8f7c35c77d2a60a060862c74de4da7014efc602a575a3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xefec55de1d5f922ce92c8b07b9308d64b5c1c05685bce2ba7f97169652f2f154",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1fd1c3a337d14d1a79a16b151df9316d916c4bb9d1c5705935c3dae83b748821",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfdb2d0f0d6fcaef91a1d3de50e1e616478b815bcacb74f09bf4dc8d765ca70d6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc2556c23d077aa93a5e1b3ded2dfb5114986e7a02f39dde49c79c5d02d4fbabe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xac455eebae619a61c3711b75e208d6915fa207a87597fee1771dd645cea7f894",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0de33d60949bd95bb2099be61f1ff139ccdb67677fcd5911c12156959477e576",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc7ada1dcda12076857bb651b5848bdc9c061d4dd2aced2da6072c810a2559875",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x545865afff4174d6cf6cd09a7985cff551ddc44fd0e44004c5653111fae1a20d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4d26c85a940903ae995fcc455389411510431d08714238241a0932602508bd00",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcb7b4ceae2100a866ee2cc173391ce410ded9100ba4c0306d40daad960d85fba",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdc1c68e40dbd6de5e37f1ecca3c236fc4f79ff00f2e09b3cb6fc0d2a125d819a",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x267ebe505f623f35e704f014076197305351fb897f35b563bb0fe3b479832e0d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbfa3ff3ef910e57c485dc563f6f936fc4868e4c9a5220b50dce4689d828aded4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x27c9d98e37ac58a4e37db1355e533e80c31df4124e86da4f45eb235847f3d19f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5651bc3bc87148044a690a5cb9e5c803ee019ba0ee24569daeedb1b43b2c648a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5a35a723033da4c69893cf9de21272b47345265d1d535faf13bf068423e9c3f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc30eee1e18065bccf1eb6e96dafe3d5e89e61ba289cfefad29134ced1a6f33a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd2f56843b98efd594c017d3be640989647fb759ef876f65ebf25aa1debb5c1ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6cd0580b4f519f14ccbe5bcde0b56144f3f360db9601bc03a7fb9ceaddd8f3f1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8958f7bbf3992dc6108fbdbbe40ef22793f3150588cbb84b497c772c5751a03b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc60b5f202b79e873fee92e3fbf20b566152127c043fd1fc9ce9981a38709bec2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xba4768f1d80507db19b445f6cdd6b3801322b99b6268249bb3534f91479e11cf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0e4cae9d47effbce1a41526a788af51b2b3a8a21724fe2d86fdf59da3446247c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa36303a421fe7f61254a1a4e819a7bee33a1dc8cfc4b0b12d703b3dcc5264aeb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2170af009f8a23c85c61b31403ad6a92416e86b98b141240ede681eaaf85e95f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb83285f3cb2f9496224fc545d38d5b641919da76fc202c3bfb9f84f3fea51e04",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x01c3b73deceaf00577d8a28e861ae6ce468cce72260bba3853e40bfbebc31f95",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x014c2eddc10927654d2eb24a4654ceed69c8c2a6cc5c213d2509e97c149600f9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd51e427c8c91e4ca539066b438c0c5d183dce338646a3923dd3a8dd51cf38c7f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe2d1dcc71b4d3bce0f0672e50945c32036853bad89f3ffcbd04c6ae7e7a24d16",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6ecddf304df1d18af3fb76134ecaf5087e9ecc6d7b3dd73d5e8e0b1fcff92d57",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3888e0bd5ffed42f00130689057e90bb451c2773a92af54fb13bd3c3f3839f8a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x944fc12f638e746deb8045cff6eed2df549ee954f4e56a100dea509b0feadcf2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd98f66c0279e4fe12294a668d668329429d7023ed5e98b5b22e5e04a5a92a95b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x677f7d94f4f0ccae4654094c0ff69e68fd7690b186a976224fc399706d80d4d0",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xadfe983d6de44bf546d43610f84cc7ac7ee37277e753edcf069e9f920341bbb3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6d25ac3227353725c244aabd8b457898396c920109e148b1b194153c96b64789",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdd8979a557ff33406dfdb64e4a9bdd4b1f3a8d53dc6bf89741e3fc1a2c8d3e54",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbe3e45b5850822eb5d02bf7cdd9cf5a3fbecd45ecfee04810c66e6d7f37f3802",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0f2eee1092112247256d479b93448134bd2d983bd4312f8b6cdc0a0d3069541e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7544310b071ff6d5a11627c06b69a1882d61e59c2ae96f696ec8264bac39b66a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa69a6bc19598db144a82ab8891c4f27b7ccf24599baec94dbf6522bcb3245711",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa4b24f2ec9ef54c57a62121477d023e0ef0bf12840e6ed23574d78daad2200aa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1ab5d0a10a14e9c308b481dd1ae39281f311f9acf7075e178ccfb201ec13a832",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x442a6ed2751167a086d298e8d2007a3f9a8c2faf573e92d509e0f115a2e4716a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x557a4b057cc109978a2002d4492d7377ee6a5763e45c1062ca5d2afb6f72efb7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x367941437d5bfc68b183207bce291f5f01772d918a26c5028122f5635cb2c10e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x873bccc28193283e40025b4f2eb18388fdb18ac98d78b348c9deb32ec0821200",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x559638faca763e1244c6aeb88e19b0d4a72575dd5d734bae7876bce2f5d675a0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3a5d048dba607f513fb64494335cfe4d5bc64148727080fb6a5bc186b0e5c620",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x9c4199dacbc21076fd9b4d4b5be94ea823026b739279e1dfc94b7b027cf8a989",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xead6d58034a85c561348fa7e3dfebba430312f8b97b9868397a9157bf7af7632",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0927a9e55407751bd6b666be319e3ecb4fd60767f6af060c91af54691c0671ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95d22c5d7a3cd598172b68febde9560651cdd625d25561e36aef753b312514f1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a451bbb7449136fabf9ef8b712ff008ac0ce035449441337c008dac1b61fac1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x21a857ea95ececd59b31409237757611d09c6c990df527c34c5e6dc61193d051",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc06b987f3c9faad8aa1eb43eaab2b0677bd6d9507585adba198ff122c1f0bcb8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc29468e9f5942780168caefcae08fd5f62fa750df017c029c7605e1329dc2281",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe2ed1ee4460255e89a3658a3550b67774e42018d9e793149e055450315f0f98f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcd811062c9e401c4062705c671e293ceeb294b7ca4224e293495192d23be3d95",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc0d633af96f99672eea36af9b8a56e064525f43c1b8ff4875bc4e2d6e25579a6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdfde7eb2cd99f379199103437d8cde51e7aacd7296ac134c7028696728693464",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbfa65efa99859f592e7eb4c7d3f1f537c7a7f9dca392e85785f22ce68cb7451c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2618fc07e6d2c9d04a7dd6ff7446e8c28a1ba4c5c7022ea7af8011e7ff2b77f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc1fc6affc571a6388718d085de2c8e5c80eb625374ea1148b10254058168cd3b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x286842214a1ec7a4b1be9eae6a181891ea8101720e7da535b2284cae30ab8287",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x97318f7c0ef3b501a055e56c66c3ccf11c349ec165e13a93ec7b7e4bbfd6e505",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3131c54135cb27d4d9237c38cb2b03fbf075e4485bd256d57671335219ae467b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb803ae70ea75e6d2bf1868029404b73886a45e935a81e3fb84c45867a25f37d8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbcac051f20c3a8355012d228099f76fd5748820ec1a174379d02c9cf57607e16",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56f196650ac98ea1c1cb6c64eba17c72e3a53c3115807d91b6dc4d7809444c97",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x162a8bb4db139cfe1dd114872a92f41c2c95593c8fa139c55c48ec1d69f6e6ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6040187a21ef4f180ec103a7f9659e754f17b924f6953f96e48b785eca8ed1bd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9285dfbdd34eb56ed70819ee190abbf2e8b656d173820ef8adaae66a8ead48c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf8939b06ca0bfcb889a6a2ea562ebba5cc9764b047cc5b3ef7e7c556d9cbc617",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x155f7bbd72778105fc7b8659c7875c888a8d3c0dcc7a164747efb3719f6b056a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbf3ca0c9a2e5a6977d87969aabf4a807240fe12087a8983e78adbedcbcd722dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd2279f5bc29113e7e15871e6969c48a0b4335dee9bc57883eeb1cc877f466bdd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8bbb390c0b140f1f1b5e09162b82e5a63d10501c0ae5416f44f751f86132919a",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79160,
      7682
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48592,
      8587
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x7cd",
              256
            ]
          },
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53166,
      3399
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x46",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3302,
      49474
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x36",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44092,
      29908
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0xf6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67627,
      22658
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x31e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67199,
      46834
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
          },
          {
            "Uint": [
              "0x44fd01d0d9e4d535df267",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7033,
      24375
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0xf1f58ed675dacde576a816336ad13b1bdfc8434f4d2cc71e7c26009e31a003b1",
              256
            ]
          },
          {
            "Uint": [
              "0x2329",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      654,
      20222
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1326,
      10861
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      588985,
      6449
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73243,
      39677
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49062,
      56584
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0x3ffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79256,
      17349
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x000000000000000000000000005b0000ffffffff"
              },
              {
                "String": "01%}*-fH<:"
              },
              {
                "String": "\\:C>P*peP={3P\\[HjG#aN-[@+HM:X0TQ"
              },
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Array": [
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
                  },
                  {
                    "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
                  },
                  {
                    "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  }
                ]
              },
              {
                "Uint": [
                  "0x232a",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd7cdbb3c11d26e6481ea5f0f43134a620e67a5efc75c50970502d9ed056a861d",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0xe9e5773d5474f142814bce0860baf8c36cd705fec769dc6cd38c2fca5c2fb4ae",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e5",
                      256
                    ]
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86549,
      9696
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_withdraw",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xd9f6689560b243a7022d3de1e4274faf7db5a070f2e9dba2101827b58e86a451",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7653,
      57491
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2632,
      43417
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xe0e",
              256
            ]
          },
          {
            "Uint": [
              "0x7662db1e43f8928bcb8115a024c35af1a677d7691096eb2855141ed7c5260231",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      91097,
      51488
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x6a",
              8
            ]
          },
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Uint": [
              "0x65",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77554,
      15362
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x7ffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      232456,
      19447
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
              },
              {
                "String": "v`*+GL_"
              },
              {
                "String": "{YMq,&-["
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Array": [
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
                  },
                  {
                    "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  }
                ]
              },
              {
                "Uint": [
                  "0x4266a690a67fec003c21564723ed2f551cf085f78c6e30f7f66123f6e165199",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3e5",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3e8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      310,
      22463
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      150770,
      21644
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2736,
      8297
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46337,
      5687
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80039,
      8137
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x60bb96fc68c8d44069a3f8bb7706194bb13651ee136ac794998bf99d9e5d8d0b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48687,
      17476
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      151494,
      16526
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79781,
      24145
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30016,
      2611
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x21f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6435,
      9033
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77785,
      837
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x2d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71450,
      32670
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x47e0354389cdc912573ae629be3ddc53",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77928,
      43296
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80699,
      21174
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      586667,
      44273
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000004"
          },
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5518,
      15022
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0xf81dac974b70fcfc3b1f180044e829d97d51240d07b17142390b75b6d43f71ce",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40752,
      42162
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25752,
      28220
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0xd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84083,
      22684
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x2d0",
              256
            ]
          },
          {
            "Uint": [
              "0x101",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2989,
      48717
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64940,
      38163
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54508,
      22727
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52937,
      6457
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0xcbc06c1cff4dc3c4c06410d9238a9987fd3f665302bbaa04b22ebfbcfb8fb1c8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9405,
      46620
    ]
  }
]