[{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003fdf6","0x000000000000000000000000000000000000000000000000000000000000b9a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"23018258868289054165014852620838899617201153070293461925175450851104205303833"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008aa5a","0x000000000000000000000000000000000000000000000000000000000000887b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"443656168147889771867023984647596193675852207233614243156700"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ee","0x0000000000000000000000000000000000000000000000000000000000002e04"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007057","0x0000000000000000000000000000000000000000000000000000000000001d12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"1532055142"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048f42","0x0000000000000000000000000000000000000000000000000000000000000bd0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"84"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022b0f","0x0000000000000000000000000000000000000000000000000000000000001bae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"67956534950894280873885381397985261606131170802828695807164629379350997780422"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eace","0x0000000000000000000000000000000000000000000000000000000000006ddb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"1000000000000000000000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016365","0x0000000000000000000000000000000000000000000000000000000000000003"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"20206354499584450118415357103845501054388471076637060853346004247907224857650"],"tag":"AbiUInt"},{"contents":[256,"11133939962804892820979252012918932058351961610875744503171892295623946597568"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092097","0x000000000000000000000000000000000000000000000000000000000000101b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000473cf","0x000000000000000000000000000000000000000000000000000000000000e408"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000086e73","0x000000000000000000000000000000000000000000000000000000000000765f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"5878623614256507594275124645717695763639139257454428162"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ceaf","0x000000000000000000000000000000000000000000000000000000000000755a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1530894735"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec9","0x000000000000000000000000000000000000000000000000000000000000bef8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"3832585904831746709546322131221243783295706331312231565102918084652640926429"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f119","0x000000000000000000000000000000000000000000000000000000000000ab37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005fbc9","0x0000000000000000000000000000000000000000000000000000000000009202"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639874"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008fd44","0x000000000000000000000000000000000000000000000000000000000000e1de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf5","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f974","0x0000000000000000000000000000000000000000000000000000000000001802"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a516","0x000000000000000000000000000000000000000000000000000000000000a324"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7f","0x00000000000000000000000000000000000000000000000000000000000051ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"93370809630636101327653194455211069943804403071759414259089898216476149578301"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000129","0x0000000000000000000000000000000000000000000000000000000000005bed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060053","0x0000000000000000000000000000000000000000000000000000000000006801"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"42077136552188840350470526688829017640314342093337440991365666710705771164444"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ab94","0x000000000000000000000000000000000000000000000000000000000000a4a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x00000000000000000000000000000000000000000000000000000000000035d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007926d","0x000000000000000000000000000000000000000000000000000000000000005e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cc1b","0x0000000000000000000000000000000000000000000000000000000000009e6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ac","0x000000000000000000000000000000000000000000000000000000000000773f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"1533822208"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000019a","0x000000000000000000000000000000000000000000000000000000000000642c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"11"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057276","0x0000000000000000000000000000000000000000000000000000000000005e62"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"73954267752432327736489036534161313290157306622604402126084091140627188111347"],"tag":"AbiUInt"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b08a","0x000000000000000000000000000000000000000000000000000000000000e408"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000002b3cc3e797b65f334"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000086604","0x0000000000000000000000000000000000000000000000000000000000008fd7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040a9b","0x000000000000000000000000000000000000000000000000000000000000d93c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000020ac1","0x00000000000000000000000000000000000000000000000000000000000012f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000039b","0x0000000000000000000000000000000000000000000000000000000000001e93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"226"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000040b9","0x0000000000000000000000000000000000000000000000000000000000003032"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"33"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cdc7","0x0000000000000000000000000000000000000000000000000000000000000401"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"970"],"tag":"AbiUInt"},{"contents":[256,"979"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037272","0x000000000000000000000000000000000000000000000000000000000000295b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59e","0x000000000000000000000000000000000000000000000000000000000000ea6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"44127982158738830318371699227390478892226012649112949688057720441138035050098"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000738e1","0x0000000000000000000000000000000000000000000000000000000000006a24"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"40469807832368737470241756314511330073763045287863756943174616029639067123218"],"tag":"AbiUInt"},{"contents":"0xE194aA6b80fFd71989dd196c7f84fa624b8d7D5d","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005459e","0x0000000000000000000000000000000000000000000000000000000000008ed2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e438","0x0000000000000000000000000000000000000000000000000000000000007c2b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"77"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000927bf","0x000000000000000000000000000000000000000000000000000000000000c76c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"50391171565621575468489105303762131130724116313985308444471160797234405434966"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084275","0x0000000000000000000000000000000000000000000000000000000000005b1c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb32","0x0000000000000000000000000000000000000000000000000000000000005ffb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b06b","0x000000000000000000000000000000000000000000000000000000000000aa14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"55078569033117893581213201455604369122883600280619944428713932211106161834163"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088b16","0x00000000000000000000000000000000000000000000000000000000000069c3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0xE194aA6b80fFd71989dd196c7f84fa624b8d7D5d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008bcff","0x000000000000000000000000000000000000000000000000000000000000bc0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399be","0x0000000000000000000000000000000000000000000000000000000000007ffc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[256,"63161041882429183975216144286429347190582399599647816666219809866426750628222"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e7","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1534673448"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084279","0x000000000000000000000000000000000000000000000000000000000000ea96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000bcf","0x00000000000000000000000000000000000000000000000000000000000035d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000039","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"84266624549825796182849400023472442452818621202435290487125796679485071410553"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093999","0x00000000000000000000000000000000000000000000000000000000000007d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"5196594440436651077618511017110694847638273630893214972136977671773984343923"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051142","0x000000000000000000000000000000000000000000000000000000000000d78b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b653","0x0000000000000000000000000000000000000000000000000000000000002328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000075","0x0000000000000000000000000000000000000000000000000000000000007f37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x00000000000000000000000000000000000000000000000000000000000003e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c5","0x0000000000000000000000000000000000000000000000000000000000001315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"61496191853881506031785121219529654051663720665108799711745175594512127116591"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bad","0x00000000000000000000000000000000000000000000000000000000000014ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000061","0x000000000000000000000000000000000000000000000000000000000000cfae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"663"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"915"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000281dc","0x0000000000000000000000000000000000000000000000000000000000007e51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e05","0x0000000000000000000000000000000000000000000000000000000000003329"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138c","0x0000000000000000000000000000000000000000000000000000000000006be5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"97714306708397413223712077160053471131"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000100","0x0000000000000000000000000000000000000000000000000000000000009aa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"139"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002711","0x0000000000000000000000000000000000000000000000000000000000000b60"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015183","0x000000000000000000000000000000000000000000000000000000000000aebb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d8e6","0x0000000000000000000000000000000000000000000000000000000000002e81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"34357193261250897937315015840896020245680146246896308179410826467188107027428"],"tag":"AbiUInt"},{"contents":"0x041eC99B601aE6e5E4662249B4221c1C1C744dc5","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000094ab","0x0000000000000000000000000000000000000000000000000000000000003255"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"79317258061192887098461651258888215965724147263760417013977168862953722413995"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003ed4b","0x000000000000000000000000000000000000000000000000000000000000c311"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"11352922001287149795943187476914544269"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072e83","0x0000000000000000000000000000000000000000000000000000000000009e98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"475"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214ca","0x0000000000000000000000000000000000000000000000000000000000007fe1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"10343165592079887154144707569295519116601293721322362715048039899545791363230"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x000000000000000000000000000000000000000000000000000000000000df78"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083cd0","0x000000000000000000000000000000000000000000000000000000000000501b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"2"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021904","0x0000000000000000000000000000000000000000000000000000000000000004"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":[256,"4001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055773","0x000000000000000000000000000000000000000000000000000000000000231f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"67218662567732492272577812210289204389565315717046108484388146642748829431032"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002354","0x000000000000000000000000000000000000000000000000000000000000ca56"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1532595769"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001feda","0x0000000000000000000000000000000000000000000000000000000000007115"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"472260498517428093450829853099908081"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000060","0x0000000000000000000000000000000000000000000000000000000000000e0f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"60780048435884449209129"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ab","0x0000000000000000000000000000000000000000000000000000000000001379"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e77a","0x000000000000000000000000000000000000000000000000000000000000c156"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"121594804234690541070096842251484836632"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084275","0x00000000000000000000000000000000000000000000000000000000000000f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"94671433300577885742954088833379342774611502658555362702562922099208750246576"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a9","0x0000000000000000000000000000000000000000000000000000000000008ff8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001486b","0x0000000000000000000000000000000000000000000000000000000000001342"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb14","0x000000000000000000000000000000000000000000000000000000000000b50b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"4546752710871057155100965518343174970505831803578912017183476333342728908969"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a052","0x0000000000000000000000000000000000000000000000000000000000001337"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI#%N\\132\\205\\212Ua\\174\\193\\246\\&3\\153\\220\\255Jq\\206\\SI\\142m9\\156\\tyV\\157\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\225\\146\\184e\\170\\192\\SI\\243\\NAK6\\132Q)\\196AY\\177\\211\\&5\\163y\\SUB\\159\\226\\SOH\\ETX\\190\\FS\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\186\\DC1j\\204\\232\\214\\170r6\\254#\\227\\214~/\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\222\\232\\236u\\178\\187\\210+\\132\\237\\r3\\157\\140\\175\\SO,\\247\\184\\157\\251\\217\\199\\215\\191C\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229l\\239\\220\\ETX\\206\\248\\&7k\\217bK\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"k\\164:xuasg\\234\\240\\182\\246\\181\\159\\175\\185\\183\\ESC*?\\145\\170\\191L\\169Up@\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\129T\\145R\\236\\196W\\190\\156tz\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\170\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223zY\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\199\\184s\\184I\\191\\204!S\\234\\ENQ_\\202\\251\\177J\\205\\211\\DC1R\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\223\\r/*\\252\\f\\DC1\\196\\201lh\\142\\159\\n\\248\\150\\220#\\215\\219\\174\\157\\224\\248P\\136\\181\\ETX\\190\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238vC-+\\248\\160&\\ENQ\\243\\155\\141fv\\fL\\\\\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\160[\\158\\194\\206z\\225\\143\\178\\131\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\181\\178\\148\\189,\\133[\\133.Q{h\\FS\\181\\152\\241\\ENQ\\144w:tFz\\194\\133\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\NUL\\t\\200\\195\\158\\194\\171T-\\242%\\205\\208\\220;Z\\207\\190\\229\\133\\&7\\180\\232\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151[\\246\\135R\\150\\138\\191\\170=Fm\\142\\222\\206{\\196\\155\\154j5)\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\229\\208\\172pqi\\167\\STX\\139\\232|\\163\\&8k\\200\\179l\\180p1#\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\178_\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SOH\\DC2t\\197,\\158,\\162\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\184\\134\\SI\\128n\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\129\\210\\148\\165\\143\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\185_g\\182\\181\\150\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\143\\143\\158\\192\\DC2\\203\\175\\220q\\v\\183\\206\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152G\\DLE\\179?\\r\\218z\\212\\181@\\208\\206\\255\\142A0\\246\\&5`\\212^!\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171pG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\218\\a\\240\\&4\\209\\180\\143S\\241\\214\\\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\151-\\242\\239\\204\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\251\\175\\188\\DLE\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"4=s\\243\\SO\\153F8\\243FsI\\RS\\164\\204P\\243\\190=\\176t\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130A\\CAN\\DLE\\201\\SYN\\163\\&1U\\160\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\246\\143:\\\\\\212\\131\\187\\DC2\\241}}\\236\\254\\195\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\231\\243\\ESC\\NAK\\184\\146\\218\\175V\\RS]\\177\\235\\234\\213?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\197\\SI\\SYN\\236\\160\\245\\222P \"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\226*\\209\\142\\245\\171\\n\\225\\234<\\145\\214\\&7\\176X\\183\\194\\230\\170\\215\\251\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151(\\STX\\144\\233OC\\DC2\\146W\\189\\166\\ESC\\NULF\\145\\&4\\DC3?\\167r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\ESC\\NAK50\\t\\\\vMA\\203\\187\\aAi\\DC4p\\ESC7\\ACK\\192l\\179xV\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\DLE\\196\\132t\\160\\r\\218 \\142\\241yv\\222b\\253\\159e\\175\\175\\163i\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\139\\177\\177\\165\\250\\183y\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\248\\206\\165\\137L\\158\\SI\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"gV\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\SUB8cht\\174$y\\219=\\206G\\198\\223\\214\\189a\\176jM9R\\252\\&3Eu\\b\\253X:\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"OX(g9\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\ESC\\166\\147\\196\\246\\208\\134}J\\131\\208\\255\\v\\175\\128~Q\\180\\175{\\r6\\DEL\\142[H\\128\\207\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\214\\243\\241\\ESCw\\248\\SO!\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\202\\188\\137n\\131\\ETBb\\231\\SYN\\229\\166\\253#\\251\\223\\218\\v\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\253\\151+\\137K\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"*!.\\239\\129\\145\\246\\218b\\250n\\151\\135\\ESC\\151\\SUB\\153\\222\\221\\167qp\\f\\NAK\\v\\DC3\\228\\173*\\158\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\171iI\\214\\194Iu\\DC4\\160=`.>\\130!\\f\\212;\\n\\150\\190f\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184YZ%\\199\\216\\247X\\202\\172Z$]\\197L;\\248:\\176\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\SUB\\201\\168\\197\\237\\242\\214\\ETX\\176\\195\\167#5x\\154\\&9\\197\\GST\\199\\SUBrQ\\200w\\182Z\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\148\\178k\\179\\249iX\\222\\209\\&2i\\FS\\232B\\STX\\227\\178\\156x(\\DLE8\\143\\151\\214P3/\\157$\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\">,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\186@N\\231GM\\197!\\229\\250\\199@0\\163\\166\\NAK\\FS\\174\\176\\DC1KiQ\\SO\\157\\231@\\tk\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216[8\\n\\240\\178\\SOHI\\192.\\157:g\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\251\\148\\&0\\249\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\189\\144?\\EOTag\\195\\190\\189A\\160\\254\\SOHH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\192\\n\\n\\180R\\199{\\235\\181a\\241\\\"N}\\211\\243\\253\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\140}$\\149`\\198e\\139\\160j\\207\\248\\131h^\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\232\\220\\219:\\EMV\\218\\134H\\248]\\207=\\143t\\ETX3\\239\\189\\184_u\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235%p\\145\\225\\EOT\\ENQ\\197\\201J\\SOH|8\\214\\SYN\\DC2\\178\\198}\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\EOT\\136F\\DC1\\139\\180#S\\241\\204\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"oBVFf\\b7\\NAK\\143\\DC3\\136\\226\\152\\148\\212p\\230~m\\129\\n\\244\\194\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\158\\129\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\STX\\171L\\242\\176l\\199\\&2\\135\\213\\147\\229\\249\\&8\\EOTP\\DC1\\RSz\\129\\140\\192C\\181/\\147\\251\\138\\ETB\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\241\\160\\168\\137\\b-\\236\\129Ga\\DC3[\\DC3\\135\\&6\\153[\\230Xb|\\231\\252C\\218\\187\\&0^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\226\\ENQ\\173\\180\\166}.Gg\\188\\217\\243g\\153d\\228b\\139\\250\\254\\179\\n\\224\\206-^\\146\\202\\252\\ENQ\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\178\\FSJ\\SI\\251\\186\\151\\NAK\\133\\144!0\\201F\\199\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\ESC\\188\\212\\180\\DC2\\202>\\137\\EM\\238\\194\\DC1\\141\\215\\SYN\\170\\181d\\EM\\219\\215\\211\\156\\\"\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\247\\251\\158\\DC3\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\199y\\216\\181\\186\\198*\\213\\149\\201\\242\\SYN\\182F\\195\\231i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\148X\\161&@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\138\\b\\229~xh\\244\\155\\252\\&4\\US\\216a\\207\\145Q\\152L\\239\\226\\195\\138\\224\\255\\159\\&4\\228\\215\\132\\CAND\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\148\\159\\186\\f\\166\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\177\\a\\246\\208I\\185\\245\\RS\\v\\170\\SOH@$n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\211LHa\\ETX\\209@9{y\\GSp4J\\191\\227\\253'\\180\\233(\\vL\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\138\\152\\DC4K\\167\\NAK[\\US`\\t\\137\\&2W\\233\\SOH\\147l^\\181\\244c\\a\\222\\174\\146\\157\\238\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\202l\\nu\\DEL\\180a\\142\\230\\EM|\\216\\231\\177Nn\\206\\SOH\\164\\146\\CAN\\195G\\224\\181\\DC1\\183\\176\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\227\\221qdT\\238\\&8RE\\171jO\\137B\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"+\\249\\138.\\157\\228\\191\\&7\\197;9x|\\244 \\198\\NAK\\227\\226\\200/\\192\\rY\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\">\\144\\160~*\\135\\221\\144\\144\\255\\&1\\173|\\226\\252\\145(\\EM\\251&\\169+/\\DLE\\219\\178\\223\\&6\\218\\225h|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157Y\\146\\GSr\\NUL\\184\\ag\\166\\ACK[\\DEL5\\SO;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\147H\\174\\224\\251N+N\\179\\176\\&5\\153\\194A\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"%Uy\\219e(r\\DLEq\\242\\ETX\\207\\170\\132xW \\158\\ENQ\\SYNE\\133W\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\165\\GSl'\\162kQ\\163$\\156\\&8\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182;\\214\\245d\\150\\206\\188\\v\\r\\168M\\216\\148K \"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\216\\236\\EOT,&NNO%\\215\\223\\143\\255/\\226\\a!W\\NUL\\193\\247\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\198DN\\213\\169\\235\\181j\\US\\229\\198Q\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\206\\SYN\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\191%\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\148\\&2\\201I\\224\\147\\204\\&2p\\EOTAN]Nruq\\171\\255Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB*X\\136\\RS\\195Qo\\t\\182/\\SUB\\193\\187\\&2\\RS\\219\\178\\&5\\161\\DEL\\142\\152\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"jI6\"","tag":"AbiBytesDynamic"},{"contents":"\"El.\\SI\\fb\\132j<\\r\\205\\SYN\\130_\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"G[_~+\\240\\212\\155\\206 \\234\\130<\\182\\130\\222\\167'\\240\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\&0Uhl{\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\231Oe\\STX\\136\\180\\&8ytu\\242\\128\\&6\\155\\162\\&8\\183d\\196uX\\253\\201\\164\\SO)P\\198\\199\\223\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\198\\139F\\146\\&1\\176\\252\\187f\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\201\\255;\\nH\\237\\&1\\192\\EOT\\181\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\ETX\\NULI\\179,lv\\250\\228\\169i\\190\\NULc.-tz\\136\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"G5L'\\220\\243Jc\\v\\251\\197E\\139\\ENQ\\208\\&7\\167l\\154\\179m.|\\190f\\233\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\160\\EOT\\140T\\145\\230\\149`\\175q?[d:\\CAN\\NULm\\151\\r5\\133\\NAK=v\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\SUB\\182|U\\157\\243\\207\\140\\SUB\\241\\ACK\\159O\\174\\132\\141\\187Z:\\130u\\167S\\147.dR\"","tag":"AbiBytesDynamic"},{"contents":"\"U6\\208\\184\\208\\238\\229\\225\\144\\251Fc\\SUB^\\190 5\\252(\\151\\n(\\130Z\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\STX\\207\\177\\ETB\\DC3\\191s\\SYN\\128N1\\148\\225\\174L5\\164\\f\\142w\\SYNk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\201\\139\\245\\243\\172*A\\166\\209\\222\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\EMk\\202\\191C%\\v\\NAKJ\\162\\150\\NUL\\172\\180\\195S\\160<\\237\\239\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\a\\225\\130\\EOTo\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157G\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185X\\164\\136\\185\\200\\169\\ENQ\\DC36\\211\\204w\\228\\139\\NAK)^Z\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\&5\\171B!\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\132KRA\\146#\\206Q?\\248\\210\\&8\\200\\&1\\173\\182\\aAO\\223\\174.\\138D\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\EMb\\136KK%\\166#\\198\\132l\\189\\253\\141\\156\\140K\\171e\\153T\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\US\\211\\200\\199\\200\\208y\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\&2h\\174\\250;\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\STX\\141\\229)\\EM\\US\\248\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198|\\236X\\219\\243\\&4}gj\\169qz\\204N\\204\\241\\&5\\NUL!3{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\SUB7m\\218\\ENQ\\244\\201%*T\\248c\\226\\a\\130\\175\\253\\224\\&4@\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\211\\176\\SI\\188\\214{7l\\236\\SYN\\US$\\132E&Vc\\167_\\201\\US\\173\\211\\130o&\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\177\\FS\\NAK\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\231sV\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"_7\\ETBl\\215\\EOTH\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\GS}x_\\244\\163\\255\\215\\223\\v]>\\206\\219\\145U\\251\\NAK+Yo\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\212mA~\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200T\\147\\226\\171\\174\\186\\237_jA\\227J6g\\220a%\\166\\DC3\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXS\\EMC\\175\\242\\164c\\245]\\DELK6/\\209M\\206\\151;\\215\\131\\aV\\183\\225\\156\\223\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXp\\139\\131\\DLEO\\f)M>]Dc\\237\\157\"","tag":"AbiBytesDynamic"},{"contents":"\";\\ENQ 4\\138\\r\\250\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\DEL%\\a\\ETB\\ETXH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\181\\184Ww\\v\\243\\165#i\\192g{\\ETB\\215$C\\163\\202aC`\\196\\DC4N/_\\172Nv\\223\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\178\\141_lo\\200m\\242\\NUL/xD\\180\\236\\162\\238vr\\137,=\\209\\STX\\DEL\\169@1\\DC3|\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213;\\\\\\DEL\\141P\\SUB\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\166j\\150\\240\\NULU{\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\229\\238>\\165\\189\\&0,\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\135\\133|VI\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132j\\151S\\US^ms\\r\\215_\\144\\201c5\\136\\aS(grik\\NUL\\240)\\207\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\EOT(\\DC2wm\\228\\135\\202\\202vh\\CAN\\242z#\\n{9\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\152r\\165F\\b\\167\\251;\\172O\\140F\\155\\196q\\201\\EM\\137\\185\\f\\231\\229\\rS\\196\\191\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\131&\\226\\STXt\\191M\\197\\CAN[\\248p\\192\\172\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"S\\DC1\\ENQ\\148\\DC2~\\176\\CAN\\245\\219=\\235\\193wK\\130\\145\\244\\178i\\247\\182?-\\212mo\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\235\\158\\188\\199=\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\207\\&3\\vS\\231(\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\rkV\\128\\220\\160\\171`\\196\\SYN\\SUB\\156\\188\\219\\172O\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\206\\188X\\185\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\FS\\129e\\196\\&6\\RSB{\\221\\140\\238\\202\\134\\245$\\243\\129\\166\\181A\\177\\235\\189\\151j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207&\\148\\136&\\by\\233$#_ ]\\188k\\241\\206\\r\\148p\\nf\\SUB\\147\\233P\\246r\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\230\\173\\150\\ENQ\\144\\FSM$\\191>\\208f\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165U\\251PH\\192\\199\\188\\222\\190\\US|\\202r\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\DC2cEbW\\ETB\\a }p\\170syR\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\165\\152\\196R\\FS\\141K$\\248\\ACK5*\\188\\213\\STX\\fQq\\177g\\GSw\\242*\\236V\\232\\141\\DC2|\"","tag":"AbiBytesDynamic"},{"contents":"\"&,[\\DC2\\216\\190\\SUBO\\179\\145\\248\\239G\\176\\200\\251\\172\\DC3\\DC3x\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\160u\\237\\176;\\ESC*\\ENQ\\b\\194'\\134\\ESC;}\\138CG\\v\\164\\r\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMA\\146\\\\Q\\167\\164\\240\\231`\\f_\\NUL\\187\\211\\179\\234/\\211\\SO9\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170cF\\133A\\177\\163\\178x\\199\\180\\240\\&5\\135\\184P\\145\\160\\147O\\154\\DC34\\132-]\\185\\148\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\188\\183\\190\\DC2n\\141\\207\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\&4\\163\\245\\223\\v\\130pU\\DC3;\\GS\\145\\175S\\GS\\DC1\\253\\207\\226\\DC1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"88159017757988904736976318656155205932187384940778391173147237303702398401786"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635938"],"tag":"AbiUInt"},{"contents":[256,"777"],"tag":"AbiUInt"},{"contents":[256,"33407003901970348894416686334200559094501099701442458315308447703038495735940"],"tag":"AbiUInt"},{"contents":[256,"1531650656"],"tag":"AbiUInt"},{"contents":[256,"53837360409800881782650349500112774348392471326531334765563640491438669453982"],"tag":"AbiUInt"},{"contents":[256,"13203260509649463209847516758444810883245308003164251366342413126882268419399"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088322"],"tag":"AbiUInt"},{"contents":[256,"45371282978146678904472959930560508094898095002291870710274500529613556194683"],"tag":"AbiUInt"},{"contents":[256,"1530433058"],"tag":"AbiUInt"},{"contents":[256,"51456831508627535765781287946940177144308041240768932137340653095820422056993"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"85500678972590913096838832075039462632175319961532783292997869078646290372095"],"tag":"AbiUInt"},{"contents":[256,"1002"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639856"],"tag":"AbiUInt"},{"contents":[256,"1884949965705310313508697250898756834500216394673799321350390494312743026749"],"tag":"AbiUInt"},{"contents":[256,"1535216681"],"tag":"AbiUInt"},{"contents":[256,"1928507141"],"tag":"AbiUInt"},{"contents":[256,"1528113565"],"tag":"AbiUInt"},{"contents":[256,"20939172548563385853121108549722909544544168687789573343978266508253161480514"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1524840099"],"tag":"AbiUInt"},{"contents":[256,"83371958227163434908505216172237813022044324007271408543914540356376137066"],"tag":"AbiUInt"},{"contents":[256,"419"],"tag":"AbiUInt"},{"contents":[256,"44905573916878552910085853343842757423602395213972849762505978858231100948210"],"tag":"AbiUInt"},{"contents":[256,"719"],"tag":"AbiUInt"},{"contents":[256,"86690728188584145416518373018044715006605367660673705808598699749835500878229"],"tag":"AbiUInt"},{"contents":[256,"86250605678912043971707629838552955704677715673102989699803634578940875891740"],"tag":"AbiUInt"},{"contents":[256,"19786287011291861419782490942432142557573133551885309345338956242277813660488"],"tag":"AbiUInt"},{"contents":[256,"12760795623507170718542225949733808511344692760775116757924901752666831447311"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1528697260"],"tag":"AbiUInt"},{"contents":[256,"1534212798"],"tag":"AbiUInt"},{"contents":[256,"63227570432301507806312010327927883865779168888928959852394365920178364431581"],"tag":"AbiUInt"},{"contents":[256,"78811984140091222510211101110227831984101988543691348372771037150017891688462"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"16888284207899819254683079642902118540206402690807645999443126777217617663784"],"tag":"AbiUInt"},{"contents":[256,"1532745690"],"tag":"AbiUInt"},{"contents":[256,"1532745690"],"tag":"AbiUInt"},{"contents":[256,"1532745690"],"tag":"AbiUInt"},{"contents":[256,"1532745690"],"tag":"AbiUInt"},{"contents":[256,"1532745690"],"tag":"AbiUInt"},{"contents":[256,"1532745690"],"tag":"AbiUInt"},{"contents":[256,"1532745690"],"tag":"AbiUInt"},{"contents":[256,"1532745690"],"tag":"AbiUInt"},{"contents":[256,"1532745690"],"tag":"AbiUInt"},{"contents":[256,"1532745690"],"tag":"AbiUInt"},{"contents":[256,"8938956592890282987965232"],"tag":"AbiUInt"},{"contents":[256,"46994469085564057661008485004041725515453804659606753313829358226042260111644"],"tag":"AbiUInt"},{"contents":[256,"63986636497788324259282320033358286704754717403340749491436094281998912585211"],"tag":"AbiUInt"},{"contents":[256,"80761241101423171658763248351354426519481279163118746309797676419163412973654"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222594"],"tag":"AbiUInt"},{"contents":[256,"105132420848286035350446989116652470267485502661520548137017277237854182942275"],"tag":"AbiUInt"},{"contents":[256,"15547453122105344798414736371393978968891521406933356289482189067992023978829"],"tag":"AbiUInt"},{"contents":[256,"98981799957689059965362428813937556168580695545528747107631070146578158222872"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"},{"contents":[256,"10589691739036603721694650068992827333095707278070614189891308834255716821818"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1531000954"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"15181451382279327937800281961420551126577649054311722512898688185736758995378"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"34077869034541701105139393614901461631416329388777899301615111014711429367042"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639868"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628414"],"tag":"AbiUInt"},{"contents":[256,"1528136548"],"tag":"AbiUInt"},{"contents":[256,"108397534726507555860141344451761689092354911004704988708895063645066415296201"],"tag":"AbiUInt"},{"contents":[256,"1528472701"],"tag":"AbiUInt"},{"contents":[256,"235"],"tag":"AbiUInt"},{"contents":[256,"2534241951812023875069992196724824424787654920534915679887357400291478418681"],"tag":"AbiUInt"},{"contents":[256,"1531412219"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb36","0x0000000000000000000000000000000000000000000000000000000000009b8d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"135"],"tag":"AbiUInt"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb32","0x000000000000000000000000000000000000000000000000000000000000b511"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"1529138127"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001739f","0x000000000000000000000000000000000000000000000000000000000000df2d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"1529510635"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063dea","0x0000000000000000000000000000000000000000000000000000000000001275"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"82965255303429216693104585816746307451796232277439878488056317462402178045907"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025ecb","0x000000000000000000000000000000000000000000000000000000000000ae9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf5","0x000000000000000000000000000000000000000000000000000000000000ca28"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002db22","0x0000000000000000000000000000000000000000000000000000000000005c7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"900"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"2331251453441056984304859108048665697455947764644229269919997140492894037105"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639813"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030335"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639901"],"tag":"AbiUInt"},{"contents":[256,"6856502746782200506362492621418855710874401583455928031888718"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132611"],"tag":"AbiUInt"},{"contents":[256,"1000"],"tag":"AbiUInt"},{"contents":[256,"13"],"tag":"AbiUInt"},{"contents":[256,"67994759729197729083661570078001978130121824085819637632365076972618617384764"],"tag":"AbiUInt"},{"contents":[256,"73463513221049156935609870085985999761033332934663194995846948103189505763146"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a630","0x000000000000000000000000000000000000000000000000000000000000824d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000000000000005b4c4f4a"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0xF2D0C374B624153a22F06cEd85D6d3dA0A313a0c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043af0","0x00000000000000000000000000000000000000000000000000000000000063c2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000002b0573a2d81884419"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ec7c","0x0000000000000000000000000000000000000000000000000000000000009590"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"779"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002cfc3","0x0000000000000000000000000000000000000000000000000000000000009e93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[256,"6223207498811381555105696"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002af67","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\181\\225\\189\\200\\b\\\\\\140\\168\\SO\\DC2c\\ETB\\130\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\208\\192\\253#\\251\\RS@H\\ACK\\186JQ(\\248\\138p\\169\\237Q\\130\\ENQP$\\184\\148;\\227a\\169\\143\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"c^\\203\\225\\ENQ\\RS9\\229N\\154_\\203[N\\184\\177\\176\\&9\\SO\\193\\b0^\\170\\SUB\\232,\\DC4\\a\\230S\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\\\\\254\\199\\145\\229jmy\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"}b\\131\\135\\234V\\SYNF\\133\\208X\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\151g\\145\\SYN\\245]\\DEL\\188]\\161\\141I\\DC2\\239\\178\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\194\\&1\\135\\197\\157\\225xG)\\168\\&6\\170\\180u\\137R\\129\\159sf\\253\\236\\f\\240q\\b\\197\\224\\130\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\237\\129*\\224\\222\\190\\&7\\173\\192\\RSU\\192\\183? 8v!VH\\227HbnI\\138\\RS\\138\\242\\194\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\175\\244\\144\\157\\238\\CAN\\174\\NAK4z\\186\\178\\254~\\ACK\\206\\238,\\231\\NUL\\f$\\159\\SYN\\232\\138`\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"nh%\\251t\\148\\240|-\\188\\249\\&2\\NULA\\150\\190\\217\\&4G!(\\226]\\219j\\208w\\248\\170sq\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\218,\\ESC0 Vu[\\155\\199Y`\\166^\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\241\\US\\f:\\231\\SUB\\176\\207\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\173\\225H\\135{\\137\\192\\151L\\218y|-\\195\\255\\212t\\134_X`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\237\\170\\SYN\\170\\175N`S\\231\\CANa'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\242\\207akb\\157\\211=~U\\USty0\"","tag":"AbiBytesDynamic"},{"contents":"\"F|)\\a=I_\\ENQxc\\SYN\\166\\USE\\ESC\\DC4\\175\\EM\\r\\165\\vtS\\DEL-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189s\\b \\b\\209*\\202s\\SUBp\\abK)\\\"\\SUB\\130\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150f\\142\\179y\\233D\\175\\245\\ETXC5%\\245\\228\\142\\144C\\199\\161X\\231\\255\\245\\224\\206\\214b\\183n\\252\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\137\\218\\190\\131k\\228\\DC4y\\\"\\166[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\252AF\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\170\\134\\226hx\\246:\\EM\\181\\234\\188S\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\175\\207\\223T\\178\\140\\&3X\\t;\\EOT\\242\\195\\150\\230M\\236\\182\\&5\\128S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206o\\185\\207\\201*}\\255k\\ETB\\NAK\\v\\227\\237\\186O\\241\\250\\US `\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\f\\221\\CAN\\133\\197\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\228\\DC4\\226Vm{\\160\\218V`?\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\a\\245B\\130N\\132\\nA\\DC2\\US#1K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211r\\203\\199\\223Y\\r.\\148\\134\\185m\\130\\131?\\151\\NUL\\ACK\\177(\\223\\163\\208x\\149J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\EM\\216\\190\\177\\245\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\196\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\225q\\196kur\\245\\128(\\187(iB\\\"O\\203\\236\\196\\131\\STX\\237[\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255;\\163\\146\\161\\231\\174&-N\\r\\STX\\STX\\DC3\\182\\235\\242\\196f\\179\\\\\\SUBV\\197\\210\\188\\157&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217G\\235\\198\\184\\214\\189\\129I\\138 \\166ee\\ETBR3\\DLE\\STX\\189\\t5\\170\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"?X\\CAN\\225X53c\\232h\\206>4<G\\216pN\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\FS\\242\\134a\\146\\DC3\\240c\\192\\ACK\\195\\226\\\\\\208K\\179?\\SOHf5\\189\\135\\198\\255\\159\\201\\218:\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"V{-\\RS\\158\\185\\&3\\139k\\244W\\187\\128;*\\137\\156\\196c\\215e}G\\SOA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\182\\189\\227\\&6\\206\\223\\240a\\247\\ETX\\147\\237\\179c\\f\\211\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248$\\144\\FS\\247 P\\EM\\247\\ENQ\\128\\SO,\\CAN+\\161Vw@\\211\\EM\\181\\184P\\181',\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXZ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS|+y\\207\\&1\\156\\198\\173S\\239<\\194\\161/\\US\\250g\\b\\193\\197\\&9\\210\\245\\182\\143\\252*\\141\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\166Ko^\\220\\182\\187\\250\\ETX\\174-\\255\\255\\251\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vC]\\\"do\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175)\\ACK\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\165\\180sZ\\SOH\\215,;t\\132s\"","tag":"AbiBytesDynamic"},{"contents":"\"F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\214\\SUB\\207\\174\\248\\229\\230\\221\\246s\\214\\213X\\235[\\DLE\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\STX\\223\\GS\\246\\250|mr\\DC4\\133\\ETB2s\\SI\\242\\DC2J;4K\\165\\254:\\149\\DC4G\\132\\135{\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\179/\\167\\a\\133k5\\235?\\173\\238\\RS\\174c\\167\\150\\152\\224\\166\\146'v~+D\\CAN\\SOH\\f\\193p\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"oy5\\FS\\204\\DLE00\\195TH\\\\4\\211\\&2\\197>\\235\\&8\\252\\&5\\187\\214\\SO\\156\\179\\240\\138%\\197\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\246\\143$i'\\167\\v1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"XF@a\\207)z\\221\\239\\157\\155\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS{\\190C\\145\\DC1\\255\\182\\172\\163\\175\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175yE\\182\\238e\\157\\181\\GS\\170\\t\\165TQ!\\227B\\154B\\231\\fe\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\205\\233J\\233-\\200\\200:Q\\239Yi|\\CAN\\169\\f\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\f\\196\\203\\253T\\230\\232\\152\\205V\\DC1\\SOq\\188\\139.\\212h\\SOH\\246.\\192\\185\\219h\\NUL\\208A\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"5R<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209%\\ACK\\151R\\156\\138\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181@\\130\\218\\191I\\DC4g\\177\\181t\\241o\\NAK\\205k\\169\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\254\\245\\147\\234\\244\\202\\140\\RS\\209\\SO\\236Z\\187df\\128\\212\\246?\\200/\\183\\NUL\\ruQc\\182{lE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\178.dnC\\192\\253\\141\\136b'\\137\\184\\169\\166\\176\\217|\\158\\238A\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\169o\\134\\166\\132 \"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"?\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\130\\155x\\156\\231++\\243\\148W\\149h\\253&\\217\\ETX\\147C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\238\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\223\\238#&MX\\146\\236n\\153\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"L@\\SIa\\229\\SUB\\187\\201d\\153\\200\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"0!\\140\\175\\197\\170SQ\\133\\DC4\\254\\163\\n+\\137m\\174%\\a{\\133-\\191\\&9\\193x\\181\\ETB\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\176I\\251\\US\\180\\245\\&9<e3k\\DLE\\166;\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEu\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\fx!\\136\\222\\242\\129\\166\\DC4\\227\\247P\\133E&\\136\\NAK\\190\\217\\ETX\\252i\\243\\f\\FS)\\a\\201P\\175\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\184:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\250U\\bi\\234\\178\\245\\154w\\t\\219\\193\\144\\231\\216\\210\\202\\227\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128Zx6\\172\\RS\\237\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\175\\&3\\210\\157\\133\\150.\"","tag":"AbiBytesDynamic"},{"contents":"\"L{\\SUB\\215\\254\\183\\170\\NUL\\173!\\163\\151\\135\\&7\\233\\244'8\\228\\167q\\251\\223\\167'\\234W\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\226\\143\\161G\\207G3_\\SUB?X\\EOT\\155\\&6\\131\\FS)$\\SO8\\137\\EOT,\\221\\SI\\179]\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\&26&\\160V\\t\\222\\253\\251}\\196\\218\\253\\NAK\\170\\209g\\226b\\DC3\\201/\\142\\191\\242fi}\\ni\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULwjyr#\\166\\160\\200\\175\\&9ug\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158)6\\156*R\\128\\218\\209\\142+\\255&Iy\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\222j\\198\\160z\\NAK\\222\\ESC\\183N\\133\\198mz\\165kQ\\188\\209\\174\\&1\\175P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215q\\150\\144\\147\\206Z\\216\\STX^\\239\\237\\243i\\174:\\163\\&1b\\EMs(M\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\168\\168R\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS40\\\"N\\239D\\133\\151\\DC4\\139Ix{8\\238K\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\155l\\197s\\164\\n\\EOT\\223\\\"\\137\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\128\\216\\a\\196\\185X\\246\\254\\\"\\234\\219\\227\\SO\\192\\&7z\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\EOT\\176\\ETB\\184`f\\209VF\\199\\NUL\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\SYN\\240\\DC1*\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\&8\\166P\\170\\129\\245\\228yA\\n\\139\\&6 \\209\\248Y\\168\\r\\214\\143\\165]N\\nP\\200e\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\").b\\CANR\\ETBB\\SOH\\141RS\\SI\\151\\192\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"%u\\175)_\\135\\CAN\\154k\\252%\\128\\ACK7\\169\\DLE\\130\\245\\249\\214\\243\\158\\230M\\220\\241\\182\\168\\195\\n\\214\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\196\\SO\\166rz/\\159\\242\\&4\\182\\247/\\235Y\\183C\\FS\\190r\\178\\154\\233\\249\\139\\\":\\ETB\\234\\147\\249\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"2I\\236\\184\\150v\\226\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\199\\224\\128\\&6;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\244\\255\\214\\189U\\141NQ\\210\\150\\133\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMX<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB$\\210\\DEL\\129j\\171frb\\187\\178\\184\\235o\\174\\SUB\\224(b\\168\\206-\\142\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"h_p\\222\\225\\vCc;\\245\\ETX\\157Z\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222?\\186\\202\\198\\&0\\180\\224\\SIO\\209\\189\\236\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\192\\235*\\161\\STX(\\223\\ESC\\\\=*#\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHWJ\\CAN\\215N0p}\\176e\\f\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\173\\239\\221\\128\\v\\v\\212\\NUL/(\\156\\173,\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v%l\\208\\251d\\211\\190\\234[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\235\\243N9\\227\\144\\208\\ACKM\\157\\ACKh\\203\\198\\EOT\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\169}\\166\\159\\234\\a#JIr\\172\\nM\\194\\189\\181W4\\ENQ\\153\\150\\135f\\252\\a:m\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\t\\185]T?\\214\\217\\129\\177\\201\\190\\&9\\DC2\\234l\\132\\240{,R\\244r\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\206\\&1\\232;\\159VYsu)\\244\\213\\130\\205\\193bnkC\\143\\172\\208\\ENQ}\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\DC2S5V\\209\\205\\&0\\133\\211\\DEL\\DC1\\247\\191?\\166\\191\\144m\\235\\176\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\193\\252V)|\\ENQ^*\\ACK\\254\\218\\186\\249\\t\\168\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\169\\172E,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\218\\180-\\235y\\EM\\183MF\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241>U\\191~\\212\\254/8\\218\\191\\217\\193\\t3\\208\\185\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\185\\182V\\214\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\SI\\131\\&9\\234\\209\\220\\223G\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\131\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\169\\SUB\\193;[\\154:\\165 G&\\132\\214\\DC1\\DC1\\246?\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\198<\\138\\217\\199\\ACK\\198\\SIm\\234\\231/\\241\\136\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\230\\t?\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"n\\173\\180\\188\\155\\129V4\\194\\212\\219\\a\\184\\169THzF\\146\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\".,\\251\\170>\\229r\\210G3\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOkz\\172`\\US\\ESC\\143\\155\\254v\\231\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130Q\\191\\&1p\\208D\\213\\132\\132\\219\\EM\\157E{yEz\\140\\137jm\\184Fa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\188 \\143\\199\\156\\164\\152\\173\\172\\203\\207\\DC25\\137F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\176\\177\\179C\\194\\FS\\DC2|z\\174\\138\\r\\201\\156\\248\\159\\&5?\\133\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\USc\\139\\&1\\231p\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\USx\\155\\184<\\248\\209L\\a\\191FJ\\163\\163\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\240\\227\\128\\134T?\\240\\200h5\\DLE\\DC1Q\\202\\155\\253:\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200STC\\192\\203]h\\193[*\\249m\\ACK\\202\\248a\\192C\\SO\\\\\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\av\\135]\\244\\174G\\245\\243;\\ENQ\\176\\134\\SUB\\131\\224B\\ETXM\\201#h2\\239x\\153\\139\\NAK\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240uUPg\\138\\176s\\172\\US7\\239\\FSx\\255G\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\176\\DC4\\143i\\163\\143\\193\\173\\144g\\199\\NAK\\153\\130P!\\220\\207\\194\\215\\130#\\ryDX\\SI5fu\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\")\\RST\\183\\159\\EOT\\209\\141\\SI0>/\\226\\173\\200\\a\\RS\\223\\156(*<\\130\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\CAN\\DC2\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222(\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\DC1\\135\\143\\bph\\142\\202\\154\\r3\\237\\173J(\\DELUBz\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\131\\STX6\\RSM\\164rwQ\\203\\243:\\132u\\SO\\240\\211\\251F\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\128\\230z\\130\\174]\\USD\\188\\253\\168\\214\\251q\\r9\\133\\208eR\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\215\\227rfw\\139\\230\\FS\\191vC\\149\\175\\ENQ,\\153\\251+\\EOT\\182\\SI\\220u6\\USG\\US\"","tag":"AbiBytesDynamic"},{"contents":"\">\\GSJ\\150\\139\\176vv^^p<r\\249ak\\242*\\214\\138\\159\\192\\216\\203t\\199c\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\231\\SUB\\128\\\"{|\\230D\\145\\231\\182\\225:9D\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\179_\\139%\\142\\233\\f\\ETB(\\234\\244M\\FS\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\ETXb\\139\\168\\148\\176o\\193\\245\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\186\\142\\228\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\251R\\202y\\143\\SYNE\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\204\\184\\239Z\\189\\244\\150f\\215\\NUL\\154#l\\231u\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"sA!\\DC4\\194\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\201I\\192\\161+\\170|PS\\RS\\162\\254\\149k\\170\\220\\149x\\178\\NAK\\248J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\190Bc$(#\\193S*uD\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\r\\253\\195A\\232\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\227\\253*\\SYN\\208_\\240\\162\\EM\\171\\STX{XY\\245\\251\\240\\222Kd\\246LX\\212\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"'\\vL\\140\\SYN\\189G\\180\\161\\154C\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\130o\\218\\&1\\217W\\176\\179\\183\\149f$\\SUB\\t\\177NZ(\\234\\221\\217\\&4@\\204\\r\\GS\\190P\\162\\151A\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\222>\\235A'\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\170\\140\\SUB\\162\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\254\\&93\\159\\131V\\140-\\NAK\\\"@\\205\\151TP\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\159 \\223\\130\\&2\\223\\SUB!.\\150\\FS\\227\\176W0\\153.\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\":\\DC4\\nX\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"3X\\STX\\ACK;\\215d\\144\\CAN}\\211\\136zD9kS\\201k\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\227\\164\\250\\199Z=\\214%\\227\\221\\229\\206K\\166\\r\\a\\231x\\f\\135G\\176\\137\\254\\bA\\233\\158(\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"$Z\\\"LC2\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\154\\a\\143\\197\\FS\\216U\\SUB\\252q#$\\171S\\205\\136\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\231\\172Fx?\\249%^-\\196'U\\SID\\137\\220\\241\\&3\\ENQ\\ETB\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\SO\\154\\DC2\\229\\&2t\\183S\\SYN\\221BSp\\128\\130\\ACK\\247\\141\\188\\t\\128c\\DC1\\212\\&3q\\ETB\\163\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\138\\241R\\201J\\176\\DC3?\\SYN\\129?\\247c\\241%.\\136Mrr<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\227\\153f\\225\\197P:\\\\3\\208\\198s\\218e\\b@M\\EM\\132\\233\\FS\\134\\229\\202zJ\\245\\245\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132Hbr/\\163\\149)\\245\\199\\150\\250g\\156|\\235\\GS[\\251\\143{4\\217\\169f\\192\\176g#\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\172w\\204\\231\\238\\152\\EM\\191\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\248<\\131\\168^3\\ACK\\243\\195]\\179\\DC2Ve6\"","tag":"AbiBytesDynamic"},{"contents":"\"u8a:L\\248+\\214e\\230\\145r\\253\\231\\NAK\\203\\US\\132\\135;\\133i\\205\\&6\\232a\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\227\\224\\135\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\198\\234'\\188\\165^P\\STXh+\\221\\138\\DC2\\252\\129\\195(\\211\\SYN\\140\\164u\\171\\241\\249\\183\\205\\200\\138\\183\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\131\\204\\216\\165\\235\\179!\\r\\152\\228\\202\\156\\SUBS\\189\\150\\185\\239\\t\\RSk\\198Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\215\\131\\US\\193\\fD/4\\206\\n&\\201\\CAN\\229\\v9\\254P\\233]\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\128>\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\253\\&0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\166\\EMdh\\249\\141\\153MF\\147\\145DZ\\163\\n\\156\\159\\136\\SYN\\147\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\230\\130b?\\DC1N2G\\255'\\\\g\\236\\196'\\SO\\GS3\\191\\241^p\\180\\130\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\241\\SUBkS_\\209\\252\\RS\\170m\\236\\&0\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\217\\GSW\\163\\157\\180l\\239@\\220\\233\\143a\\183\\200E\\251\\t\\184\\176\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\DC3\\199\\183#J\\142M\\134?n\\t\\140\\CAN\\SOHX\\172\\ACK\\DC3i\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\217,I\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\143\\223?F\\STX\\SYNL\\250\\150\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196L\\SI\\213m\\197\\f\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\218\\218\\132?\\131M\\199\\210\\233\\ETX\\157\\232\\176\\172\\194\\223\\228`\\146\\206\\162z\\148\\159\\a\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\144\\&3\\189,\\213&\\212\\&7\\184\\128'\\174\\195)9\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136f\\USS*=Q\\187\\248\\133A\\136N\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\245\\136\\207\\147\\184\\201\\&6:\\252s\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\208\\157\\254 \\143, \\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\171\\180j\\243\\255\\rH\\215\\209\\t\\RS \\SO\\205\\136\\225T\\237\\EMT\\180\\209`\\251Ir\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150b\\US\\250&\\231=P\\229i\\137szN2\\SYN\\198\\189\\247\\227\\157Z\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"q[\\149^$\\130\\138\\184\\177Z\\DEL\\184\\209\\&1\\195=\\143\\199\\235\\193g\\153\\206_\\185?u\\241\\171\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\177~\\135\\241 \\SI\\191<\\141!\\182\\&9\\241\\&6q\\187\\211\\185\\167\\&3~\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\&5\\201\\199\\FS:\\216\\195\\191;r\\214\\208@\\148F\\245_\\RS\\132\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\229\\RS\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\SUB\\187H\\249\\GS\\225r\\195?s\\136\\181\\134\\&96\\SI\\240\\199\\233\\150U\\219\\&3f\\202\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\170\\137\\255\\GS\\130\\193\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\254\\165~\\STXZ=\\163\\146r6A\\248\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\184O\\164\\213\\173\\179`\\199\\GS\\176\\184p\\154\\SO\\179\\163D\\ETX\\224K\\130\\168\\143ML\\STX\\a)\\244k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\212\\139\\SYN\\NULe\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255*'\\249\\190\\NUL\\147w\\129\\SOH\\209],\\250\\224zlb\\220\\165\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137#\\130X\\230u\\243\\194wv\\129\\214w\\139\\ETX\\136O\\DC4\\145\\SI\\v%\\145F\\160n\\218\\r\\242\\240\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"b<ny\\161\\145U\\147\\132\\210\\DEL\\172\\135\\197\\229\\142,\\ESC\\223\\159\"","tag":"AbiBytesDynamic"},{"contents":"\".h\\166\\212\\128\\247j\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&\\224{\\180\\144\\DC3\\174\\176\\196\\227I\\188H\\214J\\210\\234\\231G\\211^\\216:\\238\\157\\f\\173\\202M\"","tag":"AbiBytesDynamic"},{"contents":"\"T&\\246\\&6\\155\\134\\140\\236\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\152\\NAK\\148\\167\\193p\\GS\\231\\156\\181N2c\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\223\\154\\234\\197%Bo\\150\\147\\213\\220\\216\\&7\\186\\250\\131E~j\\132#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\250A[\\164\\195M\\181\\177f\\179\\DC1\\208u\\215\\EOT\\187\\254B/*\\DC1\\SOHd\\t\\ENQ\\CAN\\ACKRd\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\228\\173\\SOH\\NULYW\\214y\\168\\139\\233\\186\\133\\191\\190\\137\\149\\153;-\"","tag":"AbiBytesDynamic"},{"contents":"\"&~\\191Z!\\214\\DLE\\b\\241o\\129\\157R\\FS\\224c\\179\\148\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\131\\136\\SYN\\221=+\\214_\\203\\251\\233b\\STXMr\\t\\158?\\211\\231\\146P\\146\\250\\143>\\233C6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\174\\159k9\\ETX\\142\\131\\v\\223\\217\\158q\\141!\\143\\ACK\\214\\SO\\160\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216AF\\172\\&1c\\251\\144\\214T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\238S>\\249\\204\\160\\NAKa\\234\\215\\146\\244\\172\\137\\DEL\\161 \\204\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\242\\ETB\\132\\240\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\172\\v\\164\\STXh\\RS\\149\\166\\139\\165\\186Sn%s\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\202\\187^\\150\\RS*\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\224<\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\">\\223\\US\\204\\EOTB\\185\\DEL\\238\\NUL\\184\\141sy{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\205\\128\\EMTz\\SI\\192\\233\\214\\163\\211\\tR)WSt\\167\\ESC\\252\\228L\\ac\\157\\217I\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\187z\\223\\223\\SYN\\\\O\\162\\&0D?\\139\\152\\SOH\\SO_\\247E\\128\\nj\\247\\213n\\214\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\178i\\216y&=\\220\\174\\214A\\215b\\151\\209\\134\\208\\DC1Gyk\\NAK\\168\\207\\RS\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\142\\247a|/\\188\\232\\STX=\\b\\DC4\\218\\148N\\195\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\DLE\\157RS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216p\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\168\\&7M\\173y\\132T\\248\\236\\231\\129c|G\\154N\\203Zn\\143\\136%\\158C?\"","tag":"AbiBytesDynamic"},{"contents":"\"8;\\203\\221\\158\\202\\143\\b\\169u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\155\\225\\232\\\\ib\\157\\166\\178c6`\\197\\175\\199\\148\\188\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"}!5\\159 a\\\"\\237~\\213\\NUL\\198E,\\247\\239\\198\\241\\204\\198\\173<\\216\\245\\154\\133\\174\\180\\207\\170\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235q&\\132\\193\\231`j\\142\\129p\\214\\194\\STX\\160y\\136\\132\\RS\\132\\&3;v\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"-95\\227\\216c\\NUL\\131\\149\\227\\198\\&9\\f\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\NAK\\198\\206\\SUB\\161\\ACK\\DC4\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS3\\225\\157B\\DC3\\153-e\\189\\215\\224\\163y\\210\\223UY\\248M\\183\\198\\175\\238\\132Z\\224d\\136\\185\\137\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\195n\\141\\f`\\188\\STX\\169S\\253c3\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\215\\195\\210\\212\\192cd\\ACK\\ETX{a\\187\\187\\219v\\ETBwu\\\"\\SI1zGeb\\254\\227U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\194\\a\\170\\207v\\146)n\\225\\t\\DLEZ\\169\\\\\\157\\141\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\f..\\144\\161)r\\195\\240\\218<`\\NUL:\\165\\148\\FS!\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\176`O\\ACK\\ENQ\\211\\&1\\167\\FS\\158\\128Hr*\\197y~bK\\a\\185*\\148*W\\254R\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\158\\132\\225n\\180\\132]\\142;\\187\\139\\165U\\EOT*\\173\\SUB\\EM\\190\\&4\\167z\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166x\\218\\205\\177\\US\\232\\239I9LCA\\236y\\222\\133\\150\\249\\215\\129\\b\\176\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"7_1u\\STX\\187\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"6a\\171\\STX\\177\\205\\DLE3N\\aQ\\191xTK\\194zo%\\194mW]|t\\228\\226Gr\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\238\\CAN\\154\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\181\\223\\229\\DC1\\190\\&38\\r\\225\\217\\222\\233\\217\\US=Bko\\145K\\US\\132\\219!tNr\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\223\\240\\183\\149\\225\\135\\147G\\196\\161\\197F\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245g\\176\\f\\193?\\228\\185R\\190m\\132a\\253/\\SYN\\177\\249k\\213\\170$>\\237;\\232\\181\\197v\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\198\\137@|\\131.WB\\212\\244\\222\\&6E\\210\\203\\134\\184\\209;\\146\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\179\\174\\&7\\237_2\\178\\236\\ft\\203\\208\\r\\138\\128\\195\\201\\162z\\180K\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\130\\248\\172\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\184\\DC3jD\\GSI\\ETBdu`\\214\\196D,yq\\134BN\\158\\140\\203?\\139X\\ETB\\248\\130&\\235\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\232l\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\165\\140\\211\\EOT\\158\\a;\\153\\250\\156E{.F\\DC2{\\156\\&5Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173w\\b\\216T\\STX\\189\\179Uiztb\\165\\245{\\152\\218m\\214^,\\227\\150\\150\\ETBs\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\161\\220@\\147\\216R\\246&Yu\\151\\132\\148+?\\180\\219~9\\159\\235\\146BP:\\DC3_\\138\"","tag":"AbiBytesDynamic"},{"contents":"\":\\249\\247\\248\\&7\\220:\\141\\223\\143\\238Q\\222\\237\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"v\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"30521527820189112884734011874158939104349378922411186873541325794486922212201"],"tag":"AbiUInt"},{"contents":[256,"379"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639861"],"tag":"AbiUInt"},{"contents":[256,"113561512101094120532313514190735292735357816595575060903769331986162992394649"],"tag":"AbiUInt"},{"contents":[256,"12"],"tag":"AbiUInt"},{"contents":[256,"104443731398765281325044994424825944734750669572924217387978725196238739747568"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011522"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"804"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639939"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628415"],"tag":"AbiUInt"},{"contents":[256,"46096919249646953691497469346332147225498750600580680956295502594447302970483"],"tag":"AbiUInt"},{"contents":[256,"95839891215023160762687326562286524685936633811893219089819664000139374897291"],"tag":"AbiUInt"},{"contents":[256,"1182763128719173440613182539472077507377059525284769813279162"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731852"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630932"],"tag":"AbiUInt"},{"contents":[256,"60933097833523240136026397444485089689465843082127098319710097817863796567813"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"66499393052851838380445811609155760498299612054049443974884387719783529091369"],"tag":"AbiUInt"},{"contents":[256,"1173060344603632223312701681002619171358107367200003417124"],"tag":"AbiUInt"},{"contents":[256,"44389877217187166750819307866077792199899639018173731711215434745842581892379"],"tag":"AbiUInt"},{"contents":[256,"74057135379378711133355150566780563554624297778031853523637984432324818757538"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731855"],"tag":"AbiUInt"},{"contents":[256,"86400"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"93"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"918657624536470233127"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"87155871019886156013720948411570888020549340758725852624505136979517634003592"],"tag":"AbiUInt"},{"contents":[256,"31"],"tag":"AbiUInt"},{"contents":[256,"393"],"tag":"AbiUInt"},{"contents":[256,"257"],"tag":"AbiUInt"},{"contents":[256,"16"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892766"],"tag":"AbiUInt"},{"contents":[256,"100000000"],"tag":"AbiUInt"},{"contents":[256,"81677627131229659421983379613277596449262988944568957185816325220103877442314"],"tag":"AbiUInt"},{"contents":[256,"847"],"tag":"AbiUInt"},{"contents":[256,"69546217880785449120179727517019805282257070233884511102999128201630219578727"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"110960569038311024310381161649618376911672942972794839602834305375059939891552"],"tag":"AbiUInt"},{"contents":[256,"115767915392478816130442331545625949368345847259313400588218840303045540860782"],"tag":"AbiUInt"},{"contents":[256,"999"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950333"],"tag":"AbiUInt"},{"contents":[256,"100000000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088318"],"tag":"AbiUInt"},{"contents":[256,"8999"],"tag":"AbiUInt"},{"contents":[256,"106734141142773798614904456827534161338261659237726106468627491042848199710078"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639838"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892767"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609602"],"tag":"AbiUInt"},{"contents":[256,"70346862357893207593754099274227963884873177219834370995086989197732743617690"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639678"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639701"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"923"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"29570488723674658969917282955217226739505083413389103996602051387869527156808"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"109296368373589277627939331705315841923186585973717202426377915039568941768271"],"tag":"AbiUInt"},{"contents":[256,"958"],"tag":"AbiUInt"},{"contents":[256,"68284538763041368758733594416234290038922229140771901203185272371951099611594"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639907"],"tag":"AbiUInt"},{"contents":[256,"15461726131110846645879503754120005245110070329825116127691719657477021027631"],"tag":"AbiUInt"},{"contents":[256,"101870975251976673995909135540868110625725851385128248666461705821372033033075"],"tag":"AbiUInt"},{"contents":[256,"2480778849875064403809087286595190975327627717670467604026809120209456043651"],"tag":"AbiUInt"},{"contents":[256,"89428849407970899112730529562267345206870911970147910724186879699446146196864"],"tag":"AbiUInt"},{"contents":[256,"79490073555679957417217595673503642386839319171507331764536143559285878215807"],"tag":"AbiUInt"},{"contents":[256,"84086543316560431517179766154240337720239491319836162244516665465048816722105"],"tag":"AbiUInt"},{"contents":[256,"67"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011523"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f4","0x000000000000000000000000000000000000000000000000000000000000a830"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"6715893088121602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x0000000000000000000000000000000000000000000000000000000000008ec6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731851"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577602"],"tag":"AbiUInt"},{"contents":[256,"282537549362261249238492255332215788605"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000817e2","0x0000000000000000000000000000000000000000000000000000000000006fe9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]