[
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      535993,
      18774
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x8a9d5d94dfec8c870befdd56ced572531d25f4fd439e4c0a38e01d6caec9a464",
              256
            ]
          },
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29840,
      21575
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Uint": [
              "0x47",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44,
      7063
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      573176,
      48343
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62124,
      11188
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          },
          {
            "Uint": [
              "0x71b4c85ed7365db115596f8d80d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9282,
      23334
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x20bd6f2817118064013833",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7108,
      918
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      244853,
      19723
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38841,
      9282
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      477306,
      53350
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0xbcc3f3930a5de1da7bc6a4bf743647e79ad68f66f1da155984e6088b01b71470",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      701,
      24390
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0xda",
              8
            ]
          },
          {
            "Uint": [
              "0xc6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9865,
      1652
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5888,
      8043
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x320",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71344,
      4412
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16826,
      42535
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0xf2b6bce683fc7c286b08ebb2a1952b525dda7c1181839a54bc0a01ecaa87ab39",
              256
            ]
          },
          {
            "Address": "0x000f3df6d732807ef1319fb7b8bb8522d0beac02"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6643,
      1556
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17636,
      50022
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x32c5196ed95c6614c0ee637ace654c82f0e9d22ae3f2e8ca5640e42fbc27b47b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17837,
      58035
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xa9af5d26e796f519f596c05be148f2da751758bb5287a4128748c2a60039ada",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      146275,
      22994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xfa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85501,
      14171
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x11",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      887,
      38406
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
                  },
                  {
                    "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
                  },
                  {
                    "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
                  },
                  {
                    "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
                  },
                  {
                    "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
                  },
                  {
                    "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          76,
                          98,
                          59,
                          73,
                          186,
                          234,
                          107,
                          63,
                          251,
                          121,
                          242,
                          145,
                          50,
                          240,
                          182,
                          40,
                          83,
                          26,
                          139,
                          103,
                          43,
                          148,
                          104,
                          158,
                          178,
                          40,
                          130,
                          20,
                          100,
                          230
                        ]
                      },
                      {
                        "Bytes": [
                          40,
                          26,
                          248,
                          144,
                          201,
                          16,
                          38,
                          133,
                          224,
                          85,
                          213,
                          194,
                          212,
                          76,
                          133,
                          198,
                          203,
                          159,
                          49,
                          28,
                          168,
                          79,
                          3
                        ]
                      },
                      {
                        "Bytes": [
                          108,
                          213,
                          45,
                          91,
                          1,
                          162,
                          157,
                          7,
                          31,
                          59,
                          140,
                          100,
                          29,
                          110,
                          46,
                          188,
                          239,
                          34,
                          98,
                          197,
                          138,
                          146,
                          150,
                          100,
                          215,
                          140,
                          1,
                          190
                        ]
                      },
                      {
                        "Bytes": [
                          141,
                          25,
                          105,
                          253,
                          25,
                          157,
                          141,
                          188,
                          71,
                          162,
                          192,
                          8,
                          52,
                          23,
                          155,
                          174,
                          97,
                          249,
                          28,
                          113,
                          118,
                          80,
                          11,
                          77,
                          136,
                          191,
                          60,
                          41,
                          167,
                          9,
                          253
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          135
                        ]
                      },
                      {
                        "Bytes": [
                          57,
                          76,
                          23,
                          40,
                          79,
                          26,
                          181,
                          255,
                          246,
                          155,
                          116,
                          208,
                          98,
                          32,
                          171,
                          50,
                          18,
                          213,
                          79,
                          205,
                          242,
                          128,
                          140,
                          26,
                          35,
                          46,
                          242,
                          246,
                          72
                        ]
                      },
                      {
                        "Bytes": [
                          158,
                          16,
                          194,
                          231,
                          184,
                          177,
                          144,
                          161,
                          152,
                          41,
                          185
                        ]
                      },
                      {
                        "Bytes": [
                          52,
                          50,
                          118,
                          221
                        ]
                      },
                      {
                        "Bytes": [
                          69,
                          58,
                          251,
                          177
                        ]
                      },
                      {
                        "Bytes": [
                          252,
                          203,
                          22,
                          45,
                          76,
                          219,
                          177,
                          108,
                          81,
                          103,
                          136,
                          212,
                          35,
                          207
                        ]
                      },
                      {
                        "Bytes": [
                          129,
                          80,
                          10,
                          159,
                          140,
                          18,
                          180,
                          70,
                          212,
                          15,
                          241,
                          137,
                          252,
                          110,
                          111,
                          79,
                          132,
                          133,
                          126,
                          240,
                          125,
                          195,
                          200,
                          125
                        ]
                      },
                      {
                        "Bytes": [
                          15,
                          208,
                          8,
                          208,
                          161,
                          249,
                          211,
                          152,
                          133,
                          14,
                          224,
                          182,
                          213,
                          15,
                          155,
                          110,
                          227,
                          117,
                          195,
                          88,
                          201,
                          185,
                          116,
                          107
                        ]
                      },
                      {
                        "Bytes": [
                          117,
                          75,
                          226,
                          208,
                          56,
                          231,
                          156,
                          70,
                          59,
                          228,
                          225,
                          85,
                          108
                        ]
                      },
                      {
                        "Bytes": [
                          31,
                          0,
                          173,
                          210,
                          12,
                          153,
                          168,
                          202,
                          143,
                          176,
                          7,
                          238,
                          45,
                          63,
                          39,
                          59,
                          221,
                          136,
                          24,
                          60,
                          148,
                          15
                        ]
                      },
                      {
                        "Bytes": [
                          247,
                          233,
                          64,
                          189,
                          14,
                          43,
                          238,
                          93,
                          239,
                          221,
                          35,
                          133,
                          76,
                          45,
                          131,
                          55,
                          2,
                          30,
                          61
                        ]
                      },
                      {
                        "Bytes": [
                          254,
                          66,
                          190,
                          172,
                          104,
                          202,
                          26,
                          126,
                          90,
                          56,
                          213,
                          165,
                          196,
                          64,
                          34,
                          165,
                          12
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          148,
                          38,
                          52,
                          80,
                          55,
                          58,
                          74,
                          95,
                          60,
                          33,
                          45,
                          114,
                          9,
                          143,
                          147,
                          62,
                          253,
                          105,
                          58,
                          16,
                          173,
                          10,
                          74,
                          190
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          111,
                          154,
                          155,
                          24,
                          175,
                          195,
                          193,
                          12
                        ]
                      },
                      {
                        "Bytes": [
                          214,
                          151,
                          226,
                          74,
                          223,
                          2,
                          139,
                          224,
                          97,
                          175,
                          217,
                          183,
                          113,
                          76,
                          31,
                          7,
                          193,
                          85,
                          232,
                          120,
                          177,
                          64,
                          3,
                          116
                        ]
                      },
                      {
                        "Bytes": [
                          212,
                          160,
                          123,
                          215,
                          110,
                          16,
                          187,
                          93,
                          41,
                          11,
                          119,
                          121,
                          99,
                          226,
                          247,
                          127,
                          90,
                          68,
                          194,
                          203,
                          20,
                          68
                        ]
                      },
                      {
                        "Bytes": [
                          220,
                          188,
                          165,
                          78,
                          34,
                          248,
                          16,
                          162,
                          139,
                          197,
                          129,
                          22,
                          35,
                          29,
                          29,
                          83,
                          101,
                          0,
                          240,
                          121,
                          72,
                          12,
                          229,
                          183,
                          209,
                          53,
                          14,
                          15,
                          100
                        ]
                      },
                      {
                        "Bytes": [
                          21,
                          9,
                          66,
                          145,
                          125,
                          44,
                          204,
                          224,
                          24,
                          120,
                          84,
                          111,
                          100,
                          83,
                          246,
                          247,
                          36
                        ]
                      },
                      {
                        "Bytes": [
                          75,
                          189,
                          162,
                          199,
                          162,
                          67,
                          160,
                          78,
                          223,
                          157,
                          185,
                          234,
                          52,
                          154,
                          78,
                          183,
                          121,
                          126,
                          89,
                          21,
                          64,
                          250,
                          233
                        ]
                      },
                      {
                        "Bytes": [
                          123,
                          243,
                          61,
                          84,
                          151,
                          52,
                          52,
                          210,
                          116,
                          142,
                          204,
                          68,
                          90,
                          8,
                          244
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          124,
                          170,
                          159,
                          208,
                          138,
                          24,
                          183,
                          42,
                          11,
                          77,
                          176,
                          24,
                          119,
                          161,
                          228,
                          198,
                          228,
                          80,
                          137,
                          16,
                          249
                        ]
                      },
                      {
                        "Bytes": [
                          238,
                          119,
                          95,
                          244,
                          68,
                          130,
                          64,
                          167,
                          162,
                          200,
                          71,
                          100,
                          184,
                          108,
                          255,
                          1,
                          204,
                          59,
                          198,
                          64
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          146,
                          121,
                          56,
                          203,
                          226,
                          100,
                          148,
                          247,
                          181,
                          144,
                          169,
                          36,
                          231,
                          13,
                          252,
                          19,
                          74,
                          237,
                          200,
                          209,
                          72,
                          10,
                          51,
                          27,
                          14,
                          184,
                          18,
                          51,
                          153
                        ]
                      },
                      {
                        "Bytes": [
                          192,
                          93
                        ]
                      },
                      {
                        "Bytes": [
                          102,
                          137,
                          174,
                          105,
                          67,
                          162,
                          10,
                          10,
                          115,
                          160,
                          182,
                          28,
                          77,
                          23,
                          42,
                          238,
                          29,
                          121,
                          207,
                          81,
                          48,
                          56,
                          142,
                          130,
                          200,
                          36,
                          118,
                          41,
                          81
                        ]
                      },
                      {
                        "Bytes": [
                          142,
                          185,
                          124,
                          39,
                          86,
                          0,
                          200,
                          36,
                          151,
                          105,
                          184,
                          174,
                          10,
                          162,
                          203,
                          74,
                          133,
                          107,
                          18,
                          233,
                          28,
                          234,
                          169,
                          172,
                          223,
                          187,
                          237,
                          119,
                          113,
                          135
                        ]
                      },
                      {
                        "Bytes": [
                          231,
                          11,
                          173,
                          36,
                          251,
                          237,
                          117,
                          140,
                          47
                        ]
                      },
                      {
                        "Bytes": [
                          167,
                          66,
                          188,
                          74,
                          153,
                          46,
                          24,
                          136,
                          148,
                          43,
                          227,
                          238,
                          48,
                          174,
                          35
                        ]
                      },
                      {
                        "Bytes": [
                          207,
                          91,
                          169,
                          253,
                          130,
                          43,
                          212,
                          228
                        ]
                      },
                      {
                        "Bytes": [
                          90,
                          38,
                          35,
                          49,
                          212,
                          47,
                          49,
                          189,
                          5,
                          249,
                          152,
                          246,
                          137,
                          212,
                          188,
                          15,
                          167,
                          23,
                          132
                        ]
                      },
                      {
                        "Bytes": [
                          163,
                          7,
                          122,
                          182
                        ]
                      },
                      {
                        "Bytes": [
                          233,
                          156,
                          153,
                          249,
                          173,
                          138,
                          29,
                          78,
                          192,
                          184,
                          165,
                          149,
                          130,
                          94
                        ]
                      },
                      {
                        "Bytes": [
                          238,
                          224,
                          53,
                          47,
                          68,
                          44,
                          244,
                          97,
                          73,
                          216,
                          168,
                          99
                        ]
                      },
                      {
                        "Bytes": [
                          75,
                          251,
                          206,
                          254,
                          33,
                          138,
                          82,
                          128,
                          93,
                          98,
                          130,
                          105,
                          212
                        ]
                      },
                      {
                        "Bytes": [
                          146,
                          209,
                          88,
                          249,
                          1,
                          49,
                          138,
                          208,
                          24,
                          128,
                          104,
                          158,
                          45,
                          63,
                          255,
                          47,
                          122,
                          13,
                          153,
                          57,
                          204,
                          177,
                          57
                        ]
                      },
                      {
                        "Bytes": [
                          96,
                          177,
                          181,
                          123,
                          0,
                          119,
                          177,
                          114,
                          186,
                          4,
                          58,
                          31,
                          156,
                          58,
                          114,
                          187,
                          224,
                          115,
                          160
                        ]
                      },
                      {
                        "Bytes": [
                          226,
                          86,
                          144,
                          216,
                          176,
                          209,
                          91,
                          19,
                          189,
                          199
                        ]
                      },
                      {
                        "Bytes": [
                          164,
                          216,
                          175,
                          36,
                          208,
                          2,
                          19,
                          100,
                          34,
                          223,
                          169,
                          36,
                          61,
                          245,
                          8,
                          229,
                          100,
                          100,
                          146,
                          223,
                          168,
                          193,
                          220,
                          179
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          17,
                          86,
                          23,
                          103,
                          162,
                          7,
                          35,
                          84,
                          149,
                          99,
                          163,
                          79,
                          2,
                          254,
                          232,
                          26,
                          154,
                          60,
                          16,
                          4,
                          183,
                          202,
                          230,
                          236,
                          130
                        ]
                      },
                      {
                        "Bytes": [
                          191,
                          126,
                          248,
                          218,
                          247,
                          98,
                          134,
                          61,
                          116,
                          104,
                          141,
                          74,
                          53,
                          14,
                          27,
                          164,
                          60,
                          11,
                          27,
                          24,
                          168
                        ]
                      },
                      {
                        "Bytes": [
                          200,
                          145,
                          210,
                          219,
                          16,
                          208
                        ]
                      },
                      {
                        "Bytes": [
                          214,
                          162,
                          122,
                          103,
                          230,
                          219,
                          219,
                          92,
                          196,
                          50,
                          29,
                          206,
                          94
                        ]
                      },
                      {
                        "Bytes": [
                          16,
                          26,
                          49,
                          27,
                          175,
                          250,
                          183,
                          155,
                          67,
                          67,
                          42,
                          145,
                          139,
                          220,
                          104,
                          116,
                          0,
                          59,
                          56,
                          199,
                          171,
                          159,
                          214,
                          8,
                          122,
                          48
                        ]
                      },
                      {
                        "Bytes": [
                          99
                        ]
                      },
                      {
                        "Bytes": [
                          234,
                          63,
                          60,
                          176,
                          113,
                          173,
                          88,
                          252,
                          84,
                          179,
                          254
                        ]
                      },
                      {
                        "Bytes": [
                          146,
                          208,
                          156
                        ]
                      },
                      {
                        "Bytes": [
                          31,
                          243,
                          117,
                          62,
                          113,
                          89
                        ]
                      },
                      {
                        "Bytes": [
                          50,
                          220,
                          100,
                          227,
                          188,
                          253,
                          244,
                          150,
                          98,
                          179,
                          170,
                          110,
                          62,
                          100,
                          101,
                          26,
                          86,
                          247
                        ]
                      },
                      {
                        "Bytes": [
                          173,
                          223,
                          41,
                          192,
                          145,
                          121,
                          231,
                          197,
                          43,
                          216,
                          60,
                          71
                        ]
                      },
                      {
                        "Bytes": [
                          148
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          29,
                          77,
                          113,
                          62,
                          209,
                          174,
                          155,
                          190,
                          161,
                          124,
                          75,
                          150,
                          70,
                          235,
                          36,
                          166,
                          164,
                          124,
                          199,
                          119,
                          233,
                          176,
                          159,
                          91,
                          135,
                          152,
                          228,
                          92,
                          114,
                          237,
                          203,
                          76
                        ]
                      },
                      {
                        "Bytes": [
                          84,
                          70,
                          242,
                          196,
                          214,
                          119,
                          70,
                          96,
                          55,
                          98
                        ]
                      },
                      {
                        "Bytes": [
                          146,
                          14,
                          93,
                          135,
                          75,
                          44,
                          20,
                          72,
                          3,
                          96,
                          18,
                          157,
                          203,
                          49,
                          76,
                          131,
                          68,
                          180,
                          254,
                          80,
                          138,
                          22,
                          11,
                          252,
                          179,
                          22
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          26,
                          88,
                          31,
                          158,
                          115,
                          170,
                          232,
                          47,
                          20,
                          77,
                          172,
                          28,
                          125,
                          185,
                          160,
                          169,
                          17
                        ]
                      },
                      {
                        "Bytes": [
                          23,
                          161,
                          10,
                          205,
                          37,
                          174,
                          120,
                          11,
                          175,
                          31,
                          117,
                          171,
                          143,
                          207,
                          11,
                          4,
                          189,
                          155,
                          7,
                          13,
                          125,
                          167,
                          192,
                          195,
                          252,
                          122
                        ]
                      },
                      {
                        "Bytes": [
                          112,
                          43,
                          141,
                          90,
                          177,
                          194,
                          144,
                          159,
                          215,
                          230,
                          9,
                          81,
                          14,
                          60,
                          114,
                          239,
                          211,
                          66,
                          211,
                          119,
                          57,
                          71,
                          48,
                          131,
                          251,
                          91,
                          157,
                          226,
                          138
                        ]
                      },
                      {
                        "Bytes": [
                          74,
                          84,
                          159,
                          83,
                          34,
                          122,
                          73,
                          207,
                          133,
                          214,
                          89,
                          132,
                          68,
                          252,
                          116,
                          3,
                          37,
                          25,
                          234,
                          179
                        ]
                      },
                      {
                        "Bytes": [
                          253,
                          39
                        ]
                      },
                      {
                        "Bytes": [
                          193,
                          32,
                          21,
                          8,
                          211,
                          42,
                          184,
                          142,
                          116,
                          23,
                          54,
                          214,
                          21,
                          234
                        ]
                      },
                      {
                        "Bytes": [
                          200,
                          246,
                          24,
                          83,
                          241,
                          148,
                          57,
                          80,
                          44,
                          115,
                          131,
                          180,
                          177,
                          175,
                          236,
                          95,
                          163
                        ]
                      },
                      {
                        "Bytes": [
                          27,
                          222,
                          113,
                          7,
                          209,
                          152,
                          23,
                          247,
                          157,
                          150,
                          89,
                          114,
                          239,
                          237,
                          112,
                          41,
                          217,
                          250
                        ]
                      },
                      {
                        "Bytes": [
                          172,
                          67,
                          154,
                          62,
                          167,
                          82,
                          15,
                          239,
                          230,
                          241,
                          239,
                          98,
                          241,
                          109,
                          92,
                          191,
                          4,
                          249,
                          121,
                          185,
                          128,
                          82,
                          30,
                          130,
                          177,
                          5,
                          94,
                          221
                        ]
                      },
                      {
                        "Bytes": [
                          20,
                          134,
                          23,
                          241,
                          65,
                          55,
                          159,
                          209,
                          10,
                          146,
                          229,
                          223,
                          60,
                          211,
                          139,
                          98,
                          24,
                          185,
                          49,
                          207,
                          59
                        ]
                      },
                      {
                        "Bytes": [
                          115,
                          199,
                          36,
                          18,
                          210,
                          201,
                          131,
                          130,
                          68,
                          118,
                          105,
                          205,
                          199,
                          143,
                          11,
                          216,
                          186,
                          111
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          36,
                          8,
                          131,
                          48,
                          89,
                          183,
                          58,
                          162,
                          71,
                          250
                        ]
                      },
                      {
                        "Bytes": [
                          217,
                          225,
                          91,
                          19,
                          239,
                          105,
                          30,
                          53,
                          169,
                          201,
                          6,
                          138,
                          209,
                          108,
                          110,
                          212,
                          234,
                          40,
                          249,
                          204,
                          169,
                          66,
                          244,
                          48,
                          131,
                          41
                        ]
                      },
                      {
                        "Bytes": [
                          152,
                          253,
                          29,
                          252,
                          110,
                          181,
                          53,
                          57,
                          227,
                          93,
                          236,
                          84,
                          74,
                          21,
                          52,
                          27,
                          233,
                          26,
                          166,
                          165,
                          243,
                          107,
                          155,
                          244,
                          61,
                          148,
                          128,
                          174,
                          5,
                          150
                        ]
                      },
                      {
                        "Bytes": [
                          102,
                          47,
                          252,
                          218,
                          240,
                          153,
                          194,
                          124,
                          190,
                          255,
                          80,
                          89,
                          59,
                          173
                        ]
                      },
                      {
                        "Bytes": [
                          225,
                          161,
                          124,
                          229,
                          31,
                          151,
                          65,
                          86,
                          7,
                          246,
                          207,
                          174,
                          46,
                          1,
                          12,
                          14,
                          217,
                          140,
                          206,
                          189,
                          120,
                          194,
                          140,
                          31,
                          218,
                          105,
                          190
                        ]
                      },
                      {
                        "Bytes": [
                          209,
                          194,
                          94,
                          5,
                          179,
                          57,
                          18,
                          200,
                          250,
                          78
                        ]
                      },
                      {
                        "Bytes": [
                          67,
                          41,
                          164,
                          227,
                          172,
                          134,
                          218,
                          157,
                          102,
                          251,
                          7,
                          200,
                          194,
                          141,
                          141,
                          132,
                          217,
                          102,
                          44,
                          27,
                          80,
                          32,
                          250,
                          247,
                          234,
                          49,
                          168,
                          187,
                          85
                        ]
                      },
                      {
                        "Bytes": [
                          8,
                          66,
                          47
                        ]
                      },
                      {
                        "Bytes": [
                          217,
                          252,
                          8,
                          212,
                          218,
                          145,
                          228,
                          156,
                          200,
                          38,
                          241,
                          19,
                          164,
                          94,
                          4,
                          170
                        ]
                      },
                      {
                        "Bytes": [
                          204,
                          100,
                          153,
                          48,
                          50,
                          168,
                          175,
                          97,
                          108,
                          42,
                          225,
                          30,
                          209,
                          13,
                          224
                        ]
                      },
                      {
                        "Bytes": [
                          68
                        ]
                      },
                      {
                        "Bytes": [
                          31,
                          245,
                          29,
                          230,
                          14
                        ]
                      },
                      {
                        "Bytes": [
                          148,
                          193,
                          101,
                          9,
                          116,
                          249,
                          213,
                          54,
                          197,
                          137,
                          39,
                          237,
                          130,
                          46,
                          114,
                          227,
                          61,
                          212,
                          246,
                          225,
                          92,
                          214,
                          49,
                          84
                        ]
                      },
                      {
                        "Bytes": [
                          95,
                          188,
                          170,
                          71,
                          229,
                          156,
                          57,
                          40,
                          42,
                          36,
                          106,
                          21,
                          88,
                          202,
                          72,
                          30,
                          135,
                          146,
                          147,
                          152,
                          110,
                          84,
                          34,
                          175,
                          101,
                          161
                        ]
                      },
                      {
                        "Bytes": [
                          7,
                          159,
                          84,
                          141,
                          75,
                          155,
                          112,
                          114,
                          57,
                          202,
                          74,
                          169,
                          17,
                          12,
                          102
                        ]
                      },
                      {
                        "Bytes": [
                          61,
                          58,
                          25,
                          180,
                          131,
                          255,
                          70,
                          233,
                          181,
                          73,
                          62,
                          51,
                          47
                        ]
                      },
                      {
                        "Bytes": [
                          174
                        ]
                      },
                      {
                        "Bytes": [
                          93,
                          97,
                          68,
                          159,
                          208,
                          174,
                          248,
                          2,
                          149,
                          24,
                          249,
                          70,
                          75,
                          235,
                          170,
                          0,
                          126,
                          57
                        ]
                      },
                      {
                        "Bytes": [
                          241,
                          144,
                          247,
                          168,
                          137,
                          162,
                          126,
                          239,
                          248,
                          173,
                          163,
                          75,
                          171,
                          130,
                          116,
                          31,
                          64
                        ]
                      },
                      {
                        "Bytes": [
                          169,
                          64,
                          69,
                          203,
                          245,
                          81,
                          187,
                          20,
                          97,
                          32,
                          205,
                          141,
                          128,
                          16,
                          107,
                          153,
                          56,
                          25,
                          118,
                          2,
                          101,
                          94,
                          202,
                          79
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          84,
                          234,
                          226,
                          231,
                          252,
                          65
                        ]
                      },
                      {
                        "Bytes": [
                          150,
                          38,
                          198,
                          52,
                          54,
                          182,
                          208,
                          57,
                          140,
                          24,
                          228,
                          108,
                          171,
                          103,
                          157,
                          72,
                          37,
                          158,
                          20,
                          234,
                          237,
                          251,
                          139,
                          194,
                          238,
                          99,
                          147,
                          38,
                          46,
                          205
                        ]
                      },
                      {
                        "Bytes": [
                          216,
                          138,
                          244,
                          100,
                          207,
                          168
                        ]
                      },
                      {
                        "Bytes": [
                          69,
                          26,
                          82,
                          14,
                          91,
                          202,
                          246,
                          184,
                          98,
                          50,
                          65,
                          235,
                          211,
                          44,
                          157,
                          49,
                          254,
                          161,
                          8,
                          15,
                          39,
                          185
                        ]
                      },
                      {
                        "Bytes": [
                          171,
                          119,
                          121
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          140,
                          100,
                          225,
                          243,
                          44,
                          105,
                          157,
                          149,
                          164,
                          8,
                          165,
                          26,
                          66,
                          169,
                          13,
                          17,
                          225,
                          128,
                          102,
                          136,
                          144,
                          106,
                          92,
                          234,
                          186,
                          73,
                          119,
                          215,
                          10
                        ]
                      },
                      {
                        "Bytes": [
                          191,
                          168,
                          195,
                          241
                        ]
                      },
                      {
                        "Bytes": [
                          132,
                          155,
                          5,
                          192,
                          40,
                          243,
                          192,
                          154,
                          161
                        ]
                      },
                      {
                        "Bytes": [
                          241,
                          147,
                          101,
                          130,
                          211,
                          155,
                          20,
                          71,
                          30
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          230,
                          115,
                          104,
                          69,
                          53,
                          159,
                          217,
                          11,
                          45,
                          230,
                          177,
                          61,
                          15,
                          66,
                          99,
                          59
                        ]
                      },
                      {
                        "Bytes": [
                          254,
                          254,
                          238
                        ]
                      },
                      {
                        "Bytes": [
                          244,
                          181,
                          17,
                          111,
                          135,
                          187,
                          82,
                          202,
                          66,
                          172,
                          221,
                          38,
                          216,
                          81,
                          239,
                          33,
                          14,
                          183,
                          119,
                          235,
                          172,
                          217,
                          244
                        ]
                      },
                      {
                        "Bytes": [
                          216
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          158,
                          237,
                          140,
                          70,
                          141,
                          14,
                          166,
                          11,
                          41,
                          50,
                          250,
                          244,
                          246,
                          225,
                          194,
                          119,
                          132,
                          164,
                          3,
                          151,
                          156,
                          93,
                          176,
                          166,
                          154,
                          30,
                          115,
                          49,
                          241
                        ]
                      },
                      {
                        "Bytes": [
                          32,
                          230,
                          96,
                          37,
                          218,
                          203,
                          21,
                          244,
                          168,
                          74,
                          31,
                          53,
                          1,
                          80,
                          27,
                          164,
                          169,
                          254,
                          203,
                          185,
                          16,
                          53,
                          199,
                          83,
                          156,
                          25,
                          213,
                          134,
                          55
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          143,
                          56,
                          209,
                          104,
                          255,
                          7,
                          6,
                          78,
                          119,
                          42,
                          188,
                          254,
                          85,
                          82,
                          241,
                          115,
                          2,
                          183,
                          23,
                          64,
                          15
                        ]
                      },
                      {
                        "Bytes": [
                          139,
                          34,
                          19,
                          14,
                          37,
                          126,
                          196,
                          194,
                          188,
                          127,
                          142,
                          86,
                          159,
                          117,
                          216,
                          252,
                          37,
                          112
                        ]
                      },
                      {
                        "Bytes": [
                          125,
                          215,
                          30,
                          73,
                          28,
                          78,
                          222,
                          3,
                          130,
                          135,
                          185,
                          135,
                          178,
                          201,
                          207,
                          184,
                          127,
                          42,
                          232,
                          29,
                          237,
                          103,
                          17,
                          211,
                          184,
                          100
                        ]
                      },
                      {
                        "Bytes": [
                          64,
                          29,
                          6,
                          209,
                          40,
                          140,
                          226,
                          227,
                          131,
                          179,
                          110,
                          249,
                          138,
                          80,
                          170,
                          221
                        ]
                      },
                      {
                        "Bytes": [
                          175,
                          119,
                          209,
                          123,
                          95,
                          204,
                          151,
                          213,
                          47,
                          208,
                          118,
                          169,
                          237,
                          28,
                          247,
                          196
                        ]
                      },
                      {
                        "Bytes": [
                          88,
                          20
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          247
                        ]
                      },
                      {
                        "Bytes": [
                          117
                        ]
                      },
                      {
                        "Bytes": [
                          211,
                          59,
                          87,
                          221,
                          147,
                          133,
                          211,
                          212,
                          120,
                          95,
                          159,
                          186,
                          157,
                          43,
                          224
                        ]
                      },
                      {
                        "Bytes": [
                          220,
                          12,
                          80,
                          204,
                          150,
                          207,
                          12,
                          199,
                          33,
                          130,
                          96,
                          20,
                          166,
                          156,
                          195,
                          101,
                          170,
                          99,
                          236,
                          176,
                          215,
                          223,
                          53,
                          60,
                          37
                        ]
                      },
                      {
                        "Bytes": [
                          99,
                          81,
                          146,
                          69,
                          18,
                          236,
                          245,
                          227,
                          73,
                          167,
                          225
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          110,
                          224,
                          144,
                          107,
                          176,
                          10
                        ]
                      },
                      {
                        "Bytes": [
                          162,
                          50,
                          206,
                          58,
                          10,
                          244,
                          45,
                          197,
                          81,
                          242,
                          235,
                          28,
                          203,
                          151,
                          36,
                          158,
                          65,
                          20,
                          207,
                          46,
                          232,
                          44,
                          126,
                          34,
                          244,
                          18,
                          137,
                          175
                        ]
                      },
                      {
                        "Bytes": [
                          6,
                          89,
                          103,
                          125,
                          83,
                          161,
                          189,
                          59,
                          189,
                          76,
                          47,
                          108,
                          144,
                          179,
                          131,
                          93,
                          178,
                          103,
                          42,
                          173,
                          205,
                          150,
                          107,
                          59,
                          18,
                          229
                        ]
                      },
                      {
                        "Bytes": [
                          220,
                          177,
                          221,
                          39,
                          30,
                          111,
                          220,
                          185,
                          222,
                          22,
                          170,
                          86,
                          145,
                          123,
                          204,
                          248,
                          13,
                          90,
                          124
                        ]
                      },
                      {
                        "Bytes": [
                          152,
                          117,
                          22,
                          219,
                          85,
                          186
                        ]
                      },
                      {
                        "Bytes": [
                          101,
                          146,
                          23,
                          5,
                          108,
                          10,
                          238,
                          40,
                          134,
                          5,
                          211,
                          90,
                          141,
                          123,
                          48,
                          120,
                          61,
                          220,
                          138,
                          131,
                          37,
                          181,
                          87,
                          87,
                          14,
                          195,
                          87,
                          88,
                          191
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          188,
                          151,
                          77,
                          192,
                          223,
                          80,
                          140,
                          178,
                          168,
                          174,
                          240,
                          81,
                          198,
                          140,
                          200,
                          142,
                          21,
                          70,
                          124,
                          214,
                          112,
                          202,
                          116,
                          200,
                          153
                        ]
                      },
                      {
                        "Bytes": [
                          85,
                          13,
                          55
                        ]
                      },
                      {
                        "Bytes": [
                          127,
                          107,
                          123,
                          140,
                          164,
                          41,
                          32,
                          219,
                          202,
                          215,
                          129,
                          219,
                          197,
                          8,
                          7
                        ]
                      },
                      {
                        "Bytes": [
                          21,
                          85,
                          135,
                          134,
                          240,
                          184,
                          140,
                          216,
                          103,
                          38,
                          188,
                          251,
                          205,
                          222,
                          127,
                          247,
                          80,
                          199,
                          112,
                          233,
                          90,
                          65,
                          167,
                          102,
                          207,
                          193
                        ]
                      },
                      {
                        "Bytes": [
                          30,
                          67,
                          65,
                          85,
                          149,
                          163,
                          128,
                          97,
                          63,
                          129,
                          228,
                          107,
                          201,
                          115,
                          217,
                          55,
                          151,
                          210,
                          203,
                          230
                        ]
                      },
                      {
                        "Bytes": [
                          219,
                          130,
                          228,
                          6,
                          26,
                          193,
                          15,
                          74,
                          131,
                          112,
                          143,
                          139,
                          255
                        ]
                      },
                      {
                        "Bytes": [
                          248,
                          116,
                          252,
                          121,
                          67,
                          247,
                          176,
                          238,
                          100,
                          24,
                          93,
                          188,
                          165,
                          197,
                          209,
                          170,
                          150,
                          14,
                          93,
                          60,
                          94,
                          20,
                          111,
                          73,
                          170,
                          74,
                          202,
                          202,
                          109
                        ]
                      },
                      {
                        "Bytes": [
                          2,
                          43,
                          180,
                          196,
                          51
                        ]
                      },
                      {
                        "Bytes": [
                          161,
                          254
                        ]
                      },
                      {
                        "Bytes": [
                          223,
                          244,
                          254,
                          33,
                          76,
                          168,
                          133,
                          39,
                          59,
                          88,
                          212,
                          49,
                          9,
                          106,
                          178,
                          119,
                          19
                        ]
                      },
                      {
                        "Bytes": [
                          218,
                          243,
                          221,
                          244,
                          123,
                          25,
                          73,
                          250,
                          173,
                          6,
                          58,
                          252,
                          34,
                          53
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x17",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x366",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x86",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x80",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3ad036cd5464d298230f0a523ad0ad06f82f0d66ab045545a57d41db8a78eca4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x86",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x43",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xee1d2bf169fb803817f569a35cad275712defc25d88094414f3792b6fa6170d9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x771d871ea28961109ad3b9212adfc2cb49b1bf89ca2e029e8a2ae70262e3159",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xeb33f23d9d949280e849dbbf1180fcbbb2112369157ee61cf0b583bb32fd0f0f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1239da3c91cc67fa6b206f7dde80b1f96926a2c58fb81123dd8f2a62fd7e3ccb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5f",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1f81944fb4270b97f0aa294db5ab95e7a1f85d86c7db605219b121f3da5a072",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x24cd8d73c2e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x145c6403814baf086510b3674f050de406f5cda5237396a34e45d16baeb56f4f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x38d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x86",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5520993fe987a6d9c3ab4111afa1d2fc5097221583aa0d9b88e60c9bb60ef33a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x49",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x19c9434784f542189f442923d80fedc641b6b36250623099dfd3091e436a730c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x738e08f87ce2cf7748ee7ee591a0a060f9e109de0419b23c3ec9cb7be318d702",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x58e503071ae55d1209feeee6d35cbaba86f57eebb9eabd49c6d0257681fc5dce",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xec20ee0f04ce2e05c35a0af4f219d75ae3e80e6c278ccd12439f7d13f4933bcf",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xede8e3d225409fedaba48a6a4e6656f3c0904b7b73eea5eaf402943b4a9c22a3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa5ea498726f26a7f6819653ec2d7ade8a9501096f6cabb032eab8eb46d98ed2e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8e8135291efb86af49a07df4f3529ca8b7cdb12f648b8baf1070c3b82c9a6642",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x726cff014ed1ea713f897297ddc3a594ea85884d5066877d2012a9cd65ce0d7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa7ec54c4cb84c29fa3f7988852f09db0e9646401aa757237b431d4522d5dfbe3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3b9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xaf426cc8de1356d9f36cb64ebd2f9dce81c04c777ecc4c41a4f4f295b045d6f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xab2a296993ae1e5c09b4a5be17",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd3",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xf31d69a109a25f260c16df949a17fabf29639e039c0bdd3d98222f971cb03374",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x52ffe97a51740488ef696ea26262837bcb4dba5ca976f35799ca9a1e6dfc78a0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x208",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x42",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1a0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xcbb4e267613752e0d191f71e99d8ef843d557c67715ea0195daf28715451a594",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x20069c7c74748733dc6f673aaf161f010d62241d81bc43e7e3b6169a14bfd68",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5445209c62aa41c9978a78ed011ceb733650a72475d1ec77a489b787ae767572",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc9b6bac0bdd8c47aa6b780a1cbba129b9c57a7204fa110f4815b6613fdd7ac47",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x86444739fcecf26bd04457dface0b95f5a90f1a2d84fbff080f1d5a0402189d9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9e5826a4cce382e65b1646be064e226f6fcd679ddd56dd13460419c688fe170f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf50cd4af28bd531d80937f712aaf26e6a84b6a6360e4c2a771bd0376ceaac5a5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2ab",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5d40577a4417e7d32be2352d067fea99697703f17b11b07340655c66720283a8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x88",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x72",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x61",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x61d9eae36e7dd39b4d7733a0bbef1fb48fa95521cb2cdd45ce40e1423e8a0caa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2d9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4cc788bda5a4faac95816e142a17f33f06c815568158448be040a6f6a165f3f4",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x4d5ab49f1a723cd86730795df0b83528ef318f68d0c671513d29137c27cba11a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd86ada899c28c31379ae74d90fe684bd31fa842ecfc2294296497373269fbf17",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x185be345c971dc31d09a28076a3ca2b16fc39ecf09e8d93f05a5a7be49870cd5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xab2bbec486fc9f65cbb9a9a866c0cbba4c4e535d5b0f92a94c74e50b7cbc80ec",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb2cc44b9ff8bb8c22188d901115cb8af92bb393cb7969504cbc012e8ad1231ec",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb42c4aa5d01bafbcb5b99e2fbfead35354be0c72f4e1ea2ab52c2dddf4e901f4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4b0fd6d36f46937923e4d1612c6e96da5dc2195929df3762237dee8b61d2d997",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2e34e0b718379706bc811412b19832c3cfc3c14e7d928a02bddb24b748957635",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x19",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1fd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1cf",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x98",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xda",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x79",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2c1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e5",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x283",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x38097ff01d8deabe60d1b80807e57e463de1d863839df500c1eb29d67d491149",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x38aa6548069bc3d14b391e100ed941fff5c6731f5118e26efe08376f52e92a73",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x26",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1458df52242e6ddbc717dae2fe0cc4a3b73f297e6a0ed959a14ceac6749657e4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x65a11fc78d98050f6cc77dde6df1ba42069db2dd3de9f6ac5dcf562a67d1d5c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x23",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x532fa886c5dc89b109b36b480863c75c7bc2fdb74906303e67101c37a9faddc8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf4b4cef02409990e71e438a95a3da2036f6f8399008fbcb2f3cc257ff83e2992",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5698,
      3020
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      504,
      5278
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0xb480150704dfe7a969e09ada336f57cd6c361fa07fba8e9992fd110bbf18c15d",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      138585,
      11266
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x60",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56470,
      47499
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5129,
      458
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6543,
      189
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Uint": [
              "0x43",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45679,
      57645
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x39",
                  256
                ]
              },
              {
                "Uint": [
                  "0x125a02b6336bccf7d6b067e56079bc30e6469e7d0601c6eb0b7a1a78c18b8ec9",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb5",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      511421,
      30631
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14171,
      29156
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Uint": [
              "0xc8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61659,
      4444
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0xa3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37307,
      4958
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x84fd3434247c81facf03056992f54c3017a4b05b69cba25600ac8e55cbe7514d",
              256
            ]
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79066,
      10556
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xa3f08f33791f094ad49b8e716abc51fcd84fa2126d2011a201614cb1f888afd4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38808,
      53758
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x7fa9bb488fc9eb2087d2770eae8fb3756b0ee6cfab226d93e689849c009dfbe0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3456,
      397
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x9ba76fb19f743dbdc38a2c0c106057119342bb3eb945510c2fac1cca8dcd80b1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28876,
      18767
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x85",
              256
            ]
          },
          {
            "Uint": [
              "0x29",
              256
            ]
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75987,
      18124
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0x87",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      153819,
      32770
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xc8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      577869,
      2182
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0x723714ef57125363c6b0f2e03aac474623e430e397d4ad5d2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      206343,
      2616
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0xc06296ce13351202818db0f209284000f868bd64dd3cc00c4366c89bcbd46e46",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14958,
      23839
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x18",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      276965,
      4999
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x3f1638d77e7382ca52da90c4c06343841ce45341d69b811c66ec85075614a174",
              256
            ]
          },
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26624,
      30023
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0xb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39257,
      59165
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xbb",
              256
            ]
          },
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          },
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21728,
      41427
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0xd1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81133,
      59287
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x4784e8eb2c3186f061715ceeffc2b6cda675477a6bf8e6cf45ddc535d2ac8d6",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          },
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9983,
      40126
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0xebf2ad144e5d860f709bf04007e927294b4d15106a896cdac05a052cfc14a6da",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2541,
      20353
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x6bbba3fe66254552844fc1a3611b09bee2a53c633c7740b9baa07951f86257bd",
              256
            ]
          },
          {
            "Uint": [
              "0x53e3c768d9b5a6c09f89f99743908e1fbfea16b723bf3092b78b15668aecb462",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      182135,
      8382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70762,
      60172
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56100,
      14678
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53637,
      31931
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x4563e4627197a8930b5416a6831bd3e27a99cb0dfe96efbbf71efea43e4fd878",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76827,
      37293
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Uint": [
              "0xf2b42c65502f9d6ad1956f8cb12b8e0805659b42f499f38348703cd5f87c3272",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65871,
      16527
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      106514,
      5366
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19082,
      22998
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83212,
      48691
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119452,
      2492
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x35",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47929,
      19748
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73580,
      51795
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x59",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1704,
      8532
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84,
      16994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x9e",
              256
            ]
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2803,
      2835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0xbdf7d5ed8c737dfe1cd501c49f3d75753a4b1068baac4893bebfd1b30c850ce4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      554166,
      7846
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
              },
              {
                "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              },
              {
                "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
              },
              {
                "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
              },
              {
                "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
              },
              {
                "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2672,
      11336
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2556,
      15010
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x22f",
              256
            ]
          },
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11064,
      7238
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x7b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33273,
      38138
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81337,
      41004
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x551306aad760e5449d0379523f2d686270e09d4e8ef374dec7f0242a036a2eba",
              256
            ]
          },
          {
            "Uint": [
              "0x33",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7010,
      13956
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6298,
      7841
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x49",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47342,
      25419
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47840,
      17626
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0xeb22bc3fa7482a60de262a4c83d440612420732909224e8eb63ac987af01aa6e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8850,
      44833
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2029,
      10786
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x15180",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86252,
      27670
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a73bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2295,
      51730
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10992,
      2909
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x87",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73590,
      5633
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39419,
      59873
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x82",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69284,
      1684
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59893,
      38844
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0x1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1350,
      33745
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x2ac",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21834,
      4090
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      117881,
      22688
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Uint": [
              "0x86c166c5b803f4a56833f4f28e6a63e755f70af302196f846e403004d2bace49",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      466080,
      19093
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x5eaad5459c35830e25a6d98fd6404adb7471b8005b3d83066d4603daf82e0ded",
              256
            ]
          },
          {
            "Uint": [
              "0x33",
              256
            ]
          },
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29280,
      8347
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x71",
              256
            ]
          },
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55095,
      29466
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x1ffe5cf053445cb941c984c54c0f2471db8499c0127a75d57eb5437e7580b4b7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      308397,
      3670
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      91151,
      30144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0xc05eb6d9d8b40c4ffb73dcc0b3d5d03ba22036ee4e4e19a486dac074980aee9",
              256
            ]
          },
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118093,
      12728
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          },
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13768,
      35177
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "String": "aGJ~OL%i'B9J$VEkBSD-=28'"
              },
              {
                "String": "\u0000���\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Array": [
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
                  },
                  {
                    "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
                  },
                  {
                    "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
                  },
                  {
                    "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  }
                ]
              },
              {
                "Uint": [
                  "0x48",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x36c38287ac32a8c99170c74cebec4ab362c594769f16c2d818c31f1c194a1f09",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x746f65bd9d28cfd691195dcd861a0ca2e6f6",
                      256
                    ]
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1060,
      26408
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      386,
      5842
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45703,
      41354
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x33",
              256
            ]
          },
          {
            "Uint": [
              "0x2f6",
              256
            ]
          },
          {
            "Uint": [
              "0xd7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5777,
      41332
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      551243,
      14663
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6619,
      50195
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Uint": [
              "0x5ecd8881fd1e4cdc6ce74d22dc27b217045351e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      329255,
      6679
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          },
          {
            "Uint": [
              "0xd6a7b90388d7d4a71ec39b05c6a0779989f5c36b0d143c79637b2c6dca362f50",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7874,
      12367
    ]
  }
]