[
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0xa00573695fcccd2c75c0a0e095319e961fc866e675f4fa9396f495db659c4845",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      386467,
      850
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81687,
      912
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x152f34ffaf759513b0042e83bda5f67b3e825732"
              },
              {
                "Address": "0x4939532cc892f7c0e6dc5df532e9666f47221b6d"
              },
              {
                "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
              },
              {
                "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
              },
              {
                "Address": "0xc421353114300aced44562acf008fca1458a32a4"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xa309e267ea3f23e63f0c33d61398dc9f3b9b12bb"
              },
              {
                "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x41",
                  8
                ]
              },
              {
                "Uint": [
                  "0x6d",
                  8
                ]
              },
              {
                "Uint": [
                  "0x25",
                  8
                ]
              },
              {
                "Uint": [
                  "0x68",
                  8
                ]
              },
              {
                "Uint": [
                  "0xed",
                  8
                ]
              },
              {
                "Uint": [
                  "0x7b",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5642,
      424
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1029,
      2872
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      450231,
      8622
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0xbc",
              8
            ]
          },
          {
            "Uint": [
              "0x56337834a8b3e6fed3ecd32db0b21212aa7e45806211130c9fe2f6cf6d85f89c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4804,
      11343
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      817,
      27943
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76253,
      14298
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55762,
      49057
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4751,
      46653
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0xb7388718ea221d02533f5e2e5cce7fffc350231d6aaad7b88b3e92544cd13ade",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59704,
      21947
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0xfffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      300180,
      9424
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Uint": [
              "0x88",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8515,
      20588
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0xfffd",
              256
            ]
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83602,
      5482
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0x57",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7834,
      11971
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x50",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48878,
      60279
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19665,
      51798
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79527,
      12613
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Uint": [
              "0x101",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38405,
      20233
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x6a91c43a3dd9ecfcd049b98da1b5c1481d79befb37f66dd0b44a21f50fa553eb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28900,
      3094
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x1e02a6763f3d5e04d6a137702a1358aa34af0ab2a98dd330740894439be763ff",
                  256
                ]
              },
              {
                "Uint": [
                  "0x32d18949dd89ef909b0e6e96a8e54e8558e06cfe4b6c",
                  256
                ]
              },
              {
                "Uint": [
                  "0xcbddb3d74627bf593b0ae7e83f0cfad3beb77db1787ce261dbd2778376018411",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x4000cec1b4fec0498555d3aad0c0a0b14ab292f3cd29391b8534401bccb928c4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2d52e3aeb21903475776ee4cc7356266924bf96d544c7294bcf55e578c826d4f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x25c8ae4a2a18a135b1ba9688b8a4ca40e96eba9beb00b46a0522db461a1e6792",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59501,
      17285
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xfffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86066,
      23395
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0x78b1d0c31c5a030ccc35ac320e27c9a876dd1f0e190f2a486b046ba67c496369",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9282,
      32669
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0xcc3f9f5aba54b1125aaac2f47cf2520749e17b731454f0e6e391d3d19d9203cc",
              256
            ]
          },
          {
            "Uint": [
              "0x1f1",
              256
            ]
          },
          {
            "Uint": [
              "0xdd7455a9ca73cc14978888fefd03877d3c5106967431a1e4b3b56af23481443e",
              256
            ]
          },
          {
            "Uint": [
              "0xffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3277,
      13757
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77359,
      8874
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62593,
      21799
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xea38eb6ed9b1a2ebac57f93c08d84d9d4bfec389aa309f99d5ab777da0906599",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8270,
      5727
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3897,
      60304
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31456,
      18185
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x2d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53940,
      16829
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0xfffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8438,
      8184
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x7f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      276961,
      7327
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x26e0ddbbe3d2c3d9390aeb9dc095bada7b6511b88ff73c8eaf18da2dd80e7987",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4088,
      27752
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1389,
      14717
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xebc1571d61ae2543ce06c664901d9989c26407b339a762b2e8c9ecad1a38fce6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6668,
      10439
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      541249,
      20875
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2922,
      2167
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61482,
      1178
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x292a5ea177e169df39e1d05acd1145caa38970945445f778f5425b4684914dbf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86210,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8487,
      22994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85627,
      4482
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_approve",
        "args": [
          {
            "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
          },
          {
            "Uint": [
              "0x51",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58549,
      2735
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Uint": [
              "0x7d0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67045,
      43682
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0x1890553daeb93e0ef3743158d195f41a574b14c0d2b889b67931e4800214c6a6",
              256
            ]
          },
          {
            "Uint": [
              "0x40",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      323216,
      53593
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x20",
              256
            ]
          },
          {
            "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
          },
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12836,
      21917
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3886,
      13422
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x158",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12026,
      4081
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      366568,
      11172
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x1be",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81933,
      2808
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40828,
      19652
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0xfbefba159464a56d5dffcd93724353b5cc368696"
          },
          {
            "Uint": [
              "0xde0b6b3a7640000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      511418,
      11971
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Uint": [
              "0xe90cc2ad1cd31ff708a68bdbb5202c6c408869ad1c7f41020b55ab4ca85b48f9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8437,
      55760
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5486,
      5997
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0xd8aeb6d6fe40793d05fa3b7d72329857fb6863807cf8700e760d342c5652e554",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      444240,
      6292
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0xf264994f897d330c4f3719f2c90c3f16e9ad21ebe572a538dcca5aac2ae2b38e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81391,
      20767
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xfdf36cf1b566e59a0d8aff0509c614afe773bd0bd7e3fe205b059cc8ba1531b5",
              256
            ]
          },
          {
            "Uint": [
              "0x15183",
              256
            ]
          },
          {
            "Uint": [
              "0xcd8cab5358d680fd8b900c4bd822143231151986a4e38b87b5b7477dbf163b52",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6923,
      21399
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x1c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3010,
      38802
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "String": "I3N9.`\\Wi1X"
              },
              {
                "String": "D t0xBPC{6Gc"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Array": [
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  }
                ]
              },
              {
                "Uint": [
                  "0x10",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4ef3941085cf2383479a48be37703f7a08bcb00a8976482c08c985a5ecda13b3",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x868ec09a937913ab74eafb754179180b2178868215a05963b774f9751e1866e4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa0e40eb3c2d0d178d5f7e834111a06a5688689ca5bfbe826b17f342c2ff9b0d7",
                      256
                    ]
                  },
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25969,
      3754
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x3f7cd43f76a58e034f87b9a1b01b659f86cc7c70"
          },
          {
            "Address": "0x0000000000000000000000000000000000000005"
          },
          {
            "Uint": [
              "0x391b794e0ff850fff528a7202aca5dc3e39e558ff1c75e5528352a5fa0e80aec",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39516,
      13969
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54197,
      8732
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Uint": [
              "0x1b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6055,
      16282
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x7ce",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3961,
      25957
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      30,
                      28,
                      249,
                      78,
                      121,
                      80,
                      152,
                      18,
                      249,
                      97,
                      136,
                      122,
                      204,
                      198,
                      138,
                      1,
                      151,
                      124,
                      247,
                      44,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      53,
                      115,
                      227,
                      43,
                      236,
                      224,
                      28,
                      77,
                      147,
                      63,
                      45,
                      109,
                      39,
                      111
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      233,
                      22,
                      202,
                      219,
                      18,
                      196,
                      147,
                      137,
                      228,
                      135,
                      235,
                      30,
                      129,
                      148,
                      177,
                      69,
                      155,
                      41,
                      176,
                      236,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      250,
                      14,
                      0,
                      241,
                      142,
                      41,
                      255,
                      95,
                      124,
                      172,
                      235,
                      129,
                      1,
                      80,
                      196,
                      91,
                      155,
                      117,
                      161,
                      18,
                      184,
                      21,
                      177,
                      201,
                      27,
                      138,
                      148,
                      126,
                      222
                    ]
                  },
                  {
                    "Bytes": [
                      214,
                      126,
                      205,
                      217,
                      234,
                      55,
                      245,
                      213,
                      58,
                      64,
                      140,
                      180,
                      6,
                      125,
                      103,
                      140,
                      198,
                      30,
                      206,
                      156,
                      63,
                      162,
                      220,
                      151,
                      236,
                      68,
                      23,
                      150,
                      61,
                      115,
                      38
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      174,
                      106,
                      7,
                      74,
                      20,
                      88,
                      74,
                      68,
                      204,
                      174,
                      159,
                      136,
                      130,
                      7,
                      59,
                      146,
                      132,
                      139,
                      237
                    ]
                  },
                  {
                    "Bytes": [
                      133,
                      68,
                      39,
                      41,
                      108,
                      6,
                      73,
                      110,
                      118,
                      157,
                      184,
                      74,
                      247,
                      166,
                      209,
                      188,
                      26,
                      181,
                      198,
                      132,
                      67,
                      203,
                      61,
                      2,
                      198,
                      185,
                      48
                    ]
                  },
                  {
                    "Bytes": [
                      158,
                      197,
                      178,
                      206,
                      217,
                      11,
                      213,
                      189,
                      118,
                      120,
                      11,
                      121,
                      220,
                      114,
                      227,
                      9,
                      15,
                      25,
                      24,
                      140,
                      150,
                      80
                    ]
                  },
                  {
                    "Bytes": [
                      66,
                      213,
                      93,
                      193,
                      102,
                      231,
                      8,
                      144,
                      110,
                      132,
                      200,
                      237,
                      24,
                      126,
                      205,
                      102,
                      236,
                      59,
                      226,
                      151,
                      171,
                      218
                    ]
                  },
                  {
                    "Bytes": [
                      91,
                      127,
                      88,
                      35,
                      176,
                      201,
                      3,
                      135,
                      171,
                      168,
                      21,
                      162,
                      255,
                      219,
                      223,
                      73,
                      247,
                      205,
                      243,
                      254,
                      82,
                      117,
                      135,
                      125
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      233,
                      22,
                      202,
                      219,
                      18,
                      196,
                      147,
                      137,
                      228,
                      135,
                      235,
                      30,
                      129,
                      148,
                      177,
                      69,
                      155,
                      41,
                      176,
                      236,
                      92,
                      26,
                      156,
                      245,
                      136,
                      209,
                      224,
                      172,
                      55,
                      142,
                      38,
                      3,
                      91,
                      97,
                      71,
                      255,
                      177,
                      200,
                      180,
                      157,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      136,
                      51,
                      160,
                      64,
                      196,
                      156,
                      80,
                      233,
                      7,
                      248,
                      203
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      92,
                      26,
                      156,
                      245,
                      136,
                      209,
                      224,
                      172,
                      55,
                      142,
                      38,
                      3,
                      91,
                      97,
                      71,
                      255,
                      177,
                      200,
                      180,
                      157,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      92,
                      26,
                      156,
                      245,
                      136,
                      209,
                      224,
                      172,
                      55,
                      142,
                      38,
                      3,
                      91,
                      97,
                      71,
                      255,
                      177,
                      200,
                      180,
                      157,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      250,
                      229,
                      113,
                      35,
                      64,
                      51,
                      185,
                      13,
                      116,
                      210
                    ]
                  },
                  {
                    "Bytes": [
                      251,
                      74,
                      153,
                      110,
                      37,
                      97,
                      137,
                      221,
                      126,
                      40,
                      74,
                      243,
                      156,
                      85,
                      62,
                      213,
                      196,
                      21,
                      88,
                      69,
                      32,
                      156,
                      30,
                      193,
                      32
                    ]
                  },
                  {
                    "Bytes": [
                      204,
                      249,
                      109,
                      115,
                      176,
                      122,
                      232,
                      60,
                      109,
                      206,
                      108,
                      88,
                      93,
                      148,
                      149
                    ]
                  },
                  {
                    "Bytes": []
                  },
                  {
                    "Bytes": [
                      177,
                      94,
                      37,
                      35,
                      137,
                      97,
                      88,
                      206,
                      189,
                      173
                    ]
                  },
                  {
                    "Bytes": [
                      102,
                      112,
                      246,
                      75,
                      137,
                      126,
                      212,
                      20,
                      181,
                      156,
                      255,
                      34,
                      194,
                      210,
                      130,
                      36
                    ]
                  },
                  {
                    "Bytes": [
                      233,
                      16,
                      92,
                      69,
                      198,
                      97,
                      127,
                      220,
                      159,
                      1,
                      46,
                      253,
                      90,
                      129,
                      244,
                      4,
                      79,
                      11,
                      27,
                      145,
                      180,
                      50,
                      62
                    ]
                  },
                  {
                    "Bytes": [
                      223,
                      131,
                      221,
                      129
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x342a35b373c58131214178a30c2ad735151d723671922b856d819712519ef535",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb6ce169a6249b7e37da8710348ab9f43dae7f379a2cdb2ece65270325d9b57ba",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd002b7a4b1660b60c61edc29b2b9f285d629a5e2605d0af0ce72e1c4694ae4dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0390206f12eb6e4853d13430b111daa573fdcd204bbcc92bc8ec2db7f6c73751",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1062732471a78b5abdb5d7564c072400f72b6fa018acf6eaebcc9b85c4cf1df0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb6ce95ef292b0955bcd85616c3d05f3747581cf5bec3b7e84a1272aac95307df",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x50e645460865e4c13aa6147ddacf3dd86ccc045975a47c86e022158a060d7e18",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf22aaa91d259d1ea03eccdcfecf35d9da96b2a31623132dfb08f56a823760e13",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c900cdccd938914d9fa761d0cb0aad916ba3e491e1646620be481891a8fd7e6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb5642cc36649afee9fcffe74aaa1d7cf92bc0c5d4bc89fc677216e886d64ba4b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc5615cbae354a07f2f4dda36bf0afc0f9759fd895f2128c4ea8e4a5e5cef5303",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1374b63de4b6a756d7d2da871f7634567f828dc15ef2e8292f2c5f997bdaa7c3",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x7cdc3dc270a29a28631f1f99462b8a2cbd521b92434b6689428595192ba42f80",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9ec3a4e23f34e1b2fbd470d89348c680a418cb95f52854f0ac50f23d5f07744b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd6c82d2fd25c7ceb35f9bf234853e9d58db1be87149210c7335c8801333aca09",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe593a251f4d8bed65bba876903117f9ede0b903b9d20435afbe790ceffbf9b74",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x70a495d40df359a7930a20cb7e13b29bf71c0cf553781580c2604819f074c8cb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2dd3e9181a0228191b84c084e315eb82050999efede60a65147ff47f66b08e18",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdc72c6714e6d101b52e53d60370530cee621e8760cc336a4425106e55c831086",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x43ad6cd3eeb63c95ecf485db9c7bde2cc683f295fd168d6e6a8b0dbbcb630db9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1c1cb093ba59c966f35dcf5f41b1e611b259b257e9c3d017efabfaf84d435f99",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8f3ff78783b9957da08269242d92beb24bf8e428616e25d6fea11dc105374661",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x50cb092bcb4dcc5704f3dbd7c5b58d498872495e1062026cf569e04427129145",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7284108a2b9e3951f5bc643b2334a68e995671001aaf60a881cbb1a809ad02c8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x14e59f35c78467646f7eccebccd5026ada9a62ce3a6544f38418dc6a824ec883",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb6f38f4c35cced205ea4db28e9ff972fde1ca6d94b38e8f8bd421bb61607c20c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd9745651722ff9d854366c8b23e2a1071a086a86779dc25450beb0fe37171f68",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5ffd5c43cd889c229e1cc54f9eace9da8096da7a20787045003679e678a587a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0402264736ced4f8d14555a367f1e1aebe73ec6b02ad896ee1d6995bc619ab94",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa05078766fdc3e8caa67ae4cebb093aa89eed014583532346923b16a2e9c0272",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe4d3b5e207c3a9c14a6cdec80bdab130bd7a3070d75965cd5ed99c3c3b0b5c7e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x601d76ba327ca9872c5084bbbc5aa7257afd497af7ca1c6a2784477f327cce5d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x5407562de8f47784d7a6d65022e7d2d0e287431bf6ff12886092457161e96e3c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe38930d2f2e783223150d3575d079195f3755da45e69a834443c17893ec18fbb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc7962a6e2f3ab6d5e86ea296fe790a3a6e47b98b628ea1aa4ad9ce69a45996e0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x66f43d47a97160fb9aea91aed6689ee317e905d3d66b77da01de268668a07b55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xecb66d5b3e94d0d84a13a7a52fd31116329a99fdc0ccbe2feed14c43577ca18d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8c93b64c78e980db5fab32b5dd3103326700f2b50c26b41edf4d4c19be019fda",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4a892ea56ba9d1ddc32cce530a46dcf637176ddca6d7ca610ffe2ebe08a19af8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa227554cddc033c91ef9777f68827e8c29df845e98caea0545108b3251045bd5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfba3d004b9bc38953b644f7cd71ff3d2d78ae3167891da477b1b047ced73919b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x99e83429bf93d6ac82fcb72c1ec0c8bfec460c295e8b2e21579d15574f89b7c5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4ff71dceedd97e2b2c8db5f104f1f9c5019c2152e09633f2dfe98a545416452",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3c620d1e2bbaad8248a0067b0299efb7fa3222269f63da3e6596c603c1883821",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x49c457497b19f657c0ec66f125cb0d326e3536f814ec9f8bb2d74f412f237038",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe75b920f6f92fd4ee2ae3cc1404a50c08e347c76f54d4333859b7003d3429bdf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x206bcdd6c37df521cbc4a0fd89b7dc694d49c5df6b3e99968d4e80f4ded40225",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x206143ae38a67100b521afdea1dabc0ee0612ec88143d82f6e1b40edb6877b35",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5066b36542e7036e4c465dce7478021d559886fe70bd636878610ad82cb1afe2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb15922b9b5b38388c4ed2585f429afb3889061288182099f521a70ab1efcfe2d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd5cba34f9f317bb020f9222055573d0f91cb84191a5c45731008f35b5209fdc1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35187d92a941abc1d90b6239898be6e2db2ebcf824fae94915d8b755b033c816",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x554bd4643b57cb18368631f18edeae4b79ab056dcac333cec2ae856cb7beb736",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x62b7dd00c34738977d8689088fc31cc28cbb4f0fced40a741f0f0c38ddb328f1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x27032935f8a75fdcccdd9de3faa9b4916505d5a15fffff3fc4201b70252119c1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1223f094dd4cdfc3f82d545f6446d86a683e6303eb4b08ea8d683df568be3753",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c2599f02b1cbaec38e75dde22aea7991dc492bf5a9d80ee858e1d6b0a8f0295",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x382885da1c39c2964630d74b3145cabb6240b69c3234db2ec85536b9071fe370",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeca8d071025d79a275c1e54fd17a56669420399a47718f5c51543659a679af35",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00fc8cfba2c8af16910b3159267e117d9151fe03c693d35d68b8d33a8ccc36e7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3b64c1ab254f8b832745a18196ef688efee66aa773e83317d392b81ff9db0ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcd7624f22f7aeed25a946bdff26a0bd9aba7eeecd9971ad8da3ec37baa28fbdd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x28e9af4fdc8716f8f43645939441b9aff3b40a747fbd94ad0fc0d2946a97b6b5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x803444b118e936122944766f909ef625fd3901dd6c60dbe22024fba095e415f3",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x64cb1a5c5ebf80c1808735d66f1da40378a9ba006c00a075d58bd6e63d91d415",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0bc1c7ed8fb0a998816799006daa98fac1cf69b13188c06f4f0a1cef473a7d58",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x116e1b448ebd53d55a6a82bcfd4702c43e04995d2ec5c5a0ed9af3e612d3a50c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7da238ebe445493ede5df55613541667eee024cbb4952b92f98f7d2fe6555169",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5153f88fd24653ac6cc360884dc948093751fb620329072defb2f2c40c37d0ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb5f6878b967b15adc582a8cc58dcce31444201a03a920156d9429cc2bad9f72d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4db5b0542dd0e16a9b8eeed8d46582d0e9bd8a6c726636e449c3a8114e3afd1b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x97eda8fdb1e7717e14e210b3245dfa7d19a5b6999170c04c5082b908fd859fec",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x74908287d18e79107c652963767365892d93891033a16c74bb5e113c3f74b55b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf44367451816b444bfcc4022a6f9ca8eeca6c556383e024b34070d14812ae1cc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x27c9db0d06beb658a3de1f4f8f877a30729436c292f78af09809acfc2d33782a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb7862ea2c9867949030b192441310027d33c19e5d4b2cc619fd1ba18ae73aeff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe5ac46470365267b5d96e7cf7cbbca5fc13a8d0e73154824124633a695fcdc1c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa2b980763f7a4bd69117e8a7843bcc46e63367089d5508ba9fb703f5564c162f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9cc367a16a9716633c27ce842c0b0b6983e6c8b73646b5b2fba19796222e7b41",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x85c7e3f37020e56d8dbe9dcac932aa94d254c4eefc7c85e17c28d69fe9b5d04a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x982d3d932ea76b67f4bf608dc833ab00e76a9b4bbfb4ef7341a44401ab49013f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ed4b8326a0d6c0e9dd1b286195954f6f25aa78c2692918c76d7bfc08987c947",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x33892b2cddf57204cc07ec25b710e8e5aeaf96256c688c57f4024e0ac8f032de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6258da0e05a7cc3898c16d50e8f459e2609eb130642491351bf8e685c655e093",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x90bf6cb7011a7f1c5fd3d1fcddff97ff35fb33d620a34896ff4f2f3993b0f1c1",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xedcd8daa60f4cba4fdda3467f39f6080ad9e5ad6e62fa6cb63161f223c603a22",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x78f15b4bdb1b37f17133189fbbeb92b8b6e3a82a236ade3c93e9804b6f88e655",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x942ff7160bb006dfb3f175c0e00ff81ddbb0dba98fc4c39be52af11ffd19a010",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc9fb9bcfc441a9dc3ae6a478eed1e694c153ce8c79f11a6fffadd3be57bd191c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x34c3aed5a7b5a693f2991c4bae0d34179b2152c4312d235f5c3aaff002e4ade8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x135f16112ebfca1362616aa15db4ca4e5a312c25cbaa9202a3afd73467509893",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4ca35b966a478236d9225f715f3e386c5dda3de708c5c5af423fc0cb7eed5d7b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2a68b730fe396c700e7e430c31ee3af5f32a22fddbde452fa2262a7f112a3cd1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x707f4b7aa3a96660cccccadabc4582a2fec26d2db4151d08156acb85cc63e0a2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x656e58ee0c77b60c583f6ea18e6c5dda4fddca5561eeb197f7706c6a9e2eb687",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2d40beccdc914660b47419c33b657d59165859943ff23e29fa069fbadce1ee5d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x467fc448dd5868e0b4fba2e5af1d706e36c2a9869dc3e4ec04cf36a78f011ff4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x573a0ce9aa2cc38f925a3a73a7848916bedc1a7512491b56a809fb4431a79a0d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41739c381624497c35f64934ef24d3bc0344245ee2d864fce07b2f7b11374989",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfdad34e9752278dc19d1d57e126af5dbd3cf646cba9af79ad1083bcc74f55f2e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x135f16112ebfca1362616aa15db4ca4e5a312c25cbaa9202a3afd73467509893",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe7afbb0324cd78929493b3a9a398873f3338c5d06ea2f1c55c4a7b1b840efa36",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x26dd1f44d158e109e609093417d4f238dc87ad56bee10275c4f7f3971b744c07",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35a78cb69fb77a2fff8a7e3b722d61d190e5777a0832bf3a9001450e2dc6c6be",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x894ce2dd127c2b80c052d48b4dabf430f82684233fce1ac53c609bb287822db8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6f6bf2264a94f117872e73666176e9d6d7ef1f2e2bc756a7d3d14a1406255fc3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd11a4bd672c267f7e3a8231c2cec190dd03f4a62a6065f8305c317129831d3ec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9f4f5ff665023ec1227ca2dd8cd425195cf771c5c3a94abfc915241efba15b04",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xda4022e85ae86474cbdad5b89c5cfd5d17b193a9fe4819d46b75c99961ce42e6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc6255a5e2c0fe03d40fe0bac037e80b4b29432ec9032dcd7404ff2b23c2abd42",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xef4e4bd249b7fe3f9cbb862dbf0106222456cc75e03c2373ecbb5fbd926d71e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0982b7bf82138d1aa8d971371e7db9bd34afb768f02f36191e9bd2cf007c8a29",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x77ca1ade4a82322df9908c6f823f35d8669b7931e89cb87fe86a35c13b6d3cf7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe8021b7e45d081f75adfddd2ad0283d51f50fd3343e90210260d49fd12dac61d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x945499f91a61267690d3c5260068b2a2da043c55d89a572e1631f5a0197bd0d0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8dd907196d004a40dce2b1269082551fc43bff117052b2751de58a47b79179b6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd71cb3a390b52311cad9b2d7c9511fd8cdd15109753f07593d9c5e19a861b8d6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7b208050547caa63df776093e6c858161245e07329e24b915d0b2d1ac7af6ad6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xad03633fea84f7993f3bd9c65fa5c14bf2e8b5f313fd4ef64fa563a8cb1aa34b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbda9aa7e47e51867baa9d040e691854596ebf38613be6c90b4914b6d86b3caec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x29d816c385251e968918d3f24552128ea2a58ea367555c55386fa1bc9febcda3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c219721811e2db245028142b8aa60364675c088567d42facd04aa4164554792",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4780395e1d43c4a89d9a1bdd03bcbe9c87c44b792f6463fb12c20cf840781b0e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa4a11e3966703360e492ac45047a17ec5700f66f24d4a54f9a900aabfcab5d94",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa5f6e7de3620d592ae8f7e69ced4e3848d91dc899699b7df1b28ee6a52fe6c08",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x39036d00c39641562d67c05489701eadb5e45a0e988c2052faadeed31756ab0c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x26c5b5f7af85b08e7929a9aa243cb56da846ba638c85c323829022f0fec511dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x63a2549d9c8a38b854aba70a52ab4a513584d13ab0a46d8157b1bb05a2e85d99",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb720ff7e72ba9c7c5d4edabab0e94def39b64f86773239f1b7fc8de37476bb91",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd704c27eca76d03155c3015a9f881aa5ff63fa5dbae83e82623997f4ee567cdc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfe380f506a59b9c681c4ac023889dfa9f0333ffe51aecf321ecce2ee758df574",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9330c1bc81690ac2c027df9fe25ee6a989b31e505f1802bfe1d6ae412a692519",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x93cc7f9079a57bdec688b78f062e2673f5c63329955720bac55bbcc4ff6e347d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x705e162e40d355593331f501730d6df3de0c42a65f452855f7979ac02f6300a9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf4cffdc599fd27dc11f07f92d8271c75d93f05cdf9bd536d5e34acb8dac4df84",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83e8573ffd99d5e294fb207aac51c9dcd16de2a7a8ef9f5539835d264786a2b6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x510810431f64420fb3479fd7ea01b22e3ea37656ca3009861659948d671a221a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x703b638bb1b210c1790fc192fc951a4ab9f4d47ca87c1410ab099af652a8ebcc",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xa24ea1c186d3f908e43028efb956685d343adbbb9d00a1e95bb9e833599a635a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x830c8dc7172a7ab1b2331bc7d90c3f4e789213aca48a47bcdd0cb2a24c40f974",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x36cf2b996beb26e4fdba1668d0837884dc31ff38bd7d1ca8d88eb1fe363d9486",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x201c0ee84746b0e4f7a8f3e16ddd8f4e887214f66d4a1cbef54a5a42d5a0f20f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x01648a00391303bf6ca74afcacd8098112b924f7dcd56f658d0f6299a8f9c771",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaf24d838a9bad99576fa8ef7132d18749ac587c3297995e28809a3e1ccc76652",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x621ea475e6e9f9f8ed6024eafe2c5d469268901692c261c2d1228dc0dce466e6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4947910c213d9dc722f6e51ba1613bf850a85d96b611d89d2e93d6870a33ba19",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0fae7b596d3c5f7056b4a49b699358d57d42a40304ba2b7040802dc4092036fb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3cf2047b907e3296962903cf03db903b708172dec8070bdcd95f27c01de01f30",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x871b7d65dfbcb85a7d0825ed95d40b423c2c2eb786185c24a790f21c2afd6b11",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c83eef482b29eb0f899626ad8e2cb7349f58c6d0c528e7f27c5280c4e540ba9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xae420c2e822be11c4234b6664f50341059683dc31163380509e80b69eb40e25e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x71caaaf70654b4bb19ceca4aa5e0aef3086bf1dd06cc03c2a42efc4c1d85c411",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c57bcc7da539526da817401120985daaec0b70ee16468de503e998248169d99",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb56c56d0654bf78f44fb3f553abddf32ffd720be9c22af528cf94c9e90da0cd2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x263b1e92fb4b801897998f469a0d544b89215079497483515f6fc257e7058ca4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd5510821b3c38ee52fa0047ef0670efe18512192ffa9690030dac7f7a760d39",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38fc89daebd9ea0505d76da49f7774cb8f7292cebb14ed0fc38a8569246d34ba",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd1239820bdfd207f1e60ecd569daa6931d305f650eabdab3215509c4548f1da5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20704f482e170628481e8fe6c11138ebb2f624f2b15209de15e1c10167197621",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x14670e4acfd29ab9144cb1f491b7ca30ca7085881aa1c6f1a8e52a708dcdb121",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x8aa8441f19f67f1928a52190f4b0e2f55438dbb498dbe7bf8a9f3a4001b05ac4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x123f95c3191a08ab6f55cbbfd4ecb5a2acf86e43275c9d67c0c5f1de264022be",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0d5bb7379b807cd1d263ad8fef914119d82e84761ac189db43c4768ce134b0d0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a2acf4a610d0ade1c2c0bca19a35e9edd492c3c854f1f52de7f8beb454a1dc4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20732a1d2f326317974f97eee18cde391f22c4082fcf714a4096c228c57e34c2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb4cb917b7817f276e5b9afcc57d84eaed26b93edd96065c9b46c5b4457475e37",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1d3f33b6929421f03f5c6fdb191148213d9f4dea146cb8743edec8e7ad361321",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe7e4e583fcea3448dc14d4cabe5c03801272da9130bcb8035ae35c12b208101d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd138ad2e81f96daa3b2b87cb2ced006fb1c1fe02fda0ce40954387ac40c3f82a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcc2dbc887d1eed52fa734408835ed04731ade5a2afc78a41d366a01532e45eb2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x993877090751b2559f8dec939a9e57e4ad7bcff8e31b8558f1994a73065e93fb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38ea73c53e2188361601364c10559537a6fc68c5d1df0745884c8ef8580070b2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd22672b27ac13d159d7cc59472381421e5586971fab7f885e26106294ccef35e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xdbfd1eae75035044755b3d32f49d060ee61ba97506ec010e96f2e56ae3469cf8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3023df0e1c095b7cc303b40ddd66d2ec64b1a44225747f47ed124c1b7dd3cc43",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb60eea41ed54bf3aa60e76d45e69631d5ce04140ac0f93f0efc8c349438e497c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x06d7058e7765649c5a5181bf676ca10676fcb781f800b2555e890e2db0d6c6a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x059283211f4814f313259f21e88f82a80cf60a382a31193b70d6d9518abdf03c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45b6f410d62843117f170992cb04d8f342950f2a1e001c9e9404eaa6a145e2fd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf3a2f03e23ac07011f561c64c3998214b5a705640b8c4cb0f809e365f6ded450",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x691b6b308e5ea5a73c8ba76b55fcb47f450850728cc57305a3de683d15f1821b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc7a1022ef68bcd139c2a326acef416c1f89c78982fe8ae96856fa14fe5ae251c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x551311c6a6d4eec33fc633d889a5ba7a9ce8bba276c418af8906916a6c2de2c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x77737776dc0b20cdbdf8d3b3557e8f64d38e7325d58770421454454e4f16b4b8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0555da4001f134e6e20a4d1eccbb4a3e8f667f56002698fc8fbf7e820f57aee9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeac03eb43a570c55f80178d962c1e9bde96f7ece78f02c89490c56b7bee02018",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x201ad14db40240e33d487ec4cef4ca8497caf2681adba248ff34de98c9d1d55c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbcb1af87d211c42951becfc1e45d450e155248c17ee64bf931dabe53f0d3d37d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x356ada243b9a2e4591b00980dbc8768b0effae9f9f2ee63a383f2cc610d2d601",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c717c0101b6102d6f4c1675b4b9b67886cfd6adb0b43d297e396c7fe0c56abb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0e5622100e9f8cce6185bfbc3f9f11e8955d9094030f70e1ce028eaee62faf79",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3023df0e1c095b7cc303b40ddd66d2ec64b1a44225747f47ed124c1b7dd3cc43",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x936200ac6eaa4e2c1d57aaaa95552a559edee7c56630b88733d3027de9eca6d6",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc0dcc53f2ff85bea376a5d446bb802acbc848cfef01c1442fc0af444a59575c7",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xfbd39f05060c5ad0f5759ba35144e2ec9827a966f7cda133535111a2ab0630af",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd6fde8ac56dc3dae19f9ca1981d071376a9166e9a20bd77096cc9e49f592d82e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x66dacb480bf6c03e0a8cc189268782bd7e2eccaf3879e442c77eec9578861ed0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe02e88b000c9e9bcd709403c2734376415adb9df00a011fd4af73850d84f395e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2e5f1f85edb2211323cffd96957d3a48aebd892ea3f1372be8706e670bc6c30e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb2e109431053c0cd0b19fb8bd045ae1f332e514527c40e24b7855fbc278adaf0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0de65edc3eab54a397764b2e2a671a0ede863da72c5eb160f9b6669527bc0719",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4270b223913d40418b73f130cc4d5f6ada5bb42231302ad921ded95048870e47",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x0e49f1e91b2caac778a481138c05a886c43fc87ba7017af80d6ba1b7d26ea10e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf257a00f7d5c88c76e93b42cec42dd2dd5595e0fef54719877943d6456177648",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x11881700c2b5fcdceb02b86ef744246ea8e491b7903e164469bb6fa013003f6b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb2678c4c5e666148eeb1bdcf2af4ad00a0e98babcc81b0b0167bd07fda59353e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc302165baea3dd12b3bc13d1484d62ac95f1c10bafa0b359246ad433431c32f1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0a5316787b4d44f928989c1c0657f3c0c4c664d06220dd16c1ae39bfa13a0baf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d53c01b9760b3aa66b527d38cc79ee47fc7c6b42747aab27c49f48aeb06aca4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd211dff2cffbedef4ebc34769a32bcb3e93ff427788d1c87e30348d3eaa4c17b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x58fa97dfbdf03e027a4a1e23d963dce9159da896d6b05fca2bbc09d94f5cc68a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x85ada7b1b2567087d4f5e42817732f7707cf59aa8389208a4331e84ead7acbb1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb1b734dbb21e819a23e6e1856a31be2d373786d4f40b7f47cc38d2ffd01c7152",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7e863258361ac6212c08637a5d95fedb2cc084d0e23a9dc8c22934b24f55d775",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2baa17ba081a6bfbab64f8571cb2bca71eae43b4f5d7f18ef76a3fccd5c4de96",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a49f2198084b2449bfbec092df20d94d982207e99e46cceae49ce015b2d8c62",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x2433959771f57e72b7029360ccec1051bfd360acb74348b2e3cc1235022cad45",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x753faffdaa6e65537782e2f1a000497739de19be891bf2f7e01259a5d7416892",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdd6ddbf517b0731c65763247b66bfa111af50d7afcff5742c882566c6f8c8424",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2286d731ce2ff1ee5030877acd928b539686c17f9a98135967472964ea1473bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc816aa288c823e0a66087020be6ecc264901f132dee253745eabcbc2766fd9b4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x96cec0e55cd71e7c27bd624ac4956d12352ec523e7dc812bfb7990dbbce9a313",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x6a279bb5",
    "delay": [
      557573,
      33129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1031,
      4554
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78984,
      45245
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x566d13933d152b88b",
    "delay": [
      73314,
      32366
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
          },
          {
            "Uint": [
              "0x6c6e8c70ee9a5dbabe886cb78caac338d5aa98cd37c9bd2e52ea515f15835383",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      521429,
      282
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0xfffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57121,
      34264
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      405817,
      23126
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
          },
          {
            "Uint": [
              "0xc88bab63453ef6f3b271e10ac778e587",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36880,
      14922
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82215,
      5539
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78261,
      17223
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73957,
      10434
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Uint": [
              "0x23e9d29e71e12edf495f46a139ae66d61d92ecec377355b996090077a6a9d2eb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26203,
      2540
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x72ba6fee2e4a5b6f8f4d736a262a2d1657b0026ec24078a51d5890d2c4f9e8",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65869,
      16569
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      54152
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44022,
      45245
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      25449
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x9fe3b07650fc074573b8e5cdaa4ebb1779ea4b8fc2980338086e5be340ea51d3",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      405506,
      6547
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Address": "0xee75f2e83791e29cf5873a3cd05e249bdb77bda5"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6114,
      50339
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x22f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70674,
      90
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x33",
              256
            ]
          },
          {
            "Address": "0xeca727e0c1834be66dea10d525e93d03aa874b86"
          },
          {
            "Uint": [
              "0x80",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41180,
      27672
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1099,
      15660
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x6a",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x150",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19120,
      53107
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          },
          {
            "Uint": [
              "0x72f27de12912585be09d800b127416e54925bc5f5308dc7ba645b8ff39ba316a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      581,
      39129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x15181",
              256
            ]
          },
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26659,
      9524
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      318597,
      9448
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x1f5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50156,
      6312
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          },
          {
            "Uint": [
              "0xc47ca2c46cb4043497deca3046472aa9f2afc2952fbf5e0501dd9534952e4d87",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2615,
      32169
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60728,
      5828
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x21240993ea86adf52c668b0851b207ff1fdc9fb6a0c392f69c7e122774ee6d88",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xfffffffffffffffe",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1242,
      44904
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2993,
      16899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60172,
      218
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0xa9",
              8
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x24",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85239,
      13438
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Uint": [
              "0x3e6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30201,
      6394
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Uint": [
              "0xff",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          },
          {
            "Uint": [
              "0x51",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      52899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xd0a885fb6c413bd9ad0b7fa4c39462b5be11bad304f190b193579ce63df7ae60",
              256
            ]
          },
          {
            "Uint": [
              "0xf9d",
              256
            ]
          },
          {
            "Uint": [
              "0x2c1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1457,
      29777
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x792e55829ce6757843d8680421b24e657d3cc99430c823f4375d50519c1a08e0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67815,
      19363
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
          },
          {
            "Uint": [
              "0xb6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18302,
      2718
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0xb5f75b54f199dd4344f6ba6d42b14e9b7da2dbf9faf10b7a32f2bf98ce0ec47a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39950,
      1767
    ]
  }
]