[{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"93"],"tag":"AbiUInt"},{"contents":[256,"67305426929069464119339313492789056299203666783438761480263374553894077065496"],"tag":"AbiUInt"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f38","0x00000000000000000000000000000000000000000000000000000000000000e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[8,"66"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014beb","0x00000000000000000000000000000000000000000000000000000000000094e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639885"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1c","0x000000000000000000000000000000000000000000000000000000000000185a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb30","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e7","0x00000000000000000000000000000000000000000000000000000000000087a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"202"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003df65","0x00000000000000000000000000000000000000000000000000000000000012a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc10","0x0000000000000000000000000000000000000000000000000000000000007119"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"8386210752560890723873871781962914541454036766313091965529648872187924275511"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000060","0x000000000000000000000000000000000000000000000000000000000000653f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000085","0x000000000000000000000000000000000000000000000000000000000000c17a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"11165558092511367392925227"],"tag":"AbiUInt"},{"contents":[256,"30196479674923810231125277140675787629747133123378152578482060313544250995888"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000073ce","0x00000000000000000000000000000000000000000000000000000000000009d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e9","0x000000000000000000000000000000000000000000000000000000000000134f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":[256,"4180517952109215677523004147706465684381137887051480549405286037637637914026"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062659","0x00000000000000000000000000000000000000000000000000000000000044e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"70"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000078","0x0000000000000000000000000000000000000000000000000000000000009e98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"86676863198699661906937813200009029690513066089634872310045503307574175762287"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628417"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270d","0x000000000000000000000000000000000000000000000000000000000000b77a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"103629434713286332265472323504553728161955189030669085671693654191718002325188"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639918"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4a","0x000000000000000000000000000000000000000000000000000000000000537b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"90268904100658128085117726275743556492613768599145428720415556442938418774283"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012b","0x000000000000000000000000000000000000000000000000000000000000cc12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"5068852192282178303411529112610601267506261981235829865243326309884958523953"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060623","0x0000000000000000000000000000000000000000000000000000000000001397"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1528706045"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000005229","0x0000000000000000000000000000000000000000000000000000000000007660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"100794463245193758539709124104996051256765850714516510048592779489530336876505"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x0000000000000000000000000000000000000000000000000000000000002714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222595"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000002714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ea","0x0000000000000000000000000000000000000000000000000000000000006af0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e05","0x0000000000000000000000000000000000000000000000000000000000001962"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"75553159816741003380266801553501614915112788526594259917850580970428372295005"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e352","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580af","0x00000000000000000000000000000000000000000000000000000000000003af"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034a2f","0x0000000000000000000000000000000000000000000000000000000000005c03"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ec","0x000000000000000000000000000000000000000000000000000000000000c05f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630933"],"tag":"AbiUInt"},{"contents":[256,"96780380470564908178913631101987216142481414916088457938850048160187059563407"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000279b9","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1d","0x0000000000000000000000000000000000000000000000000000000000007ea4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x000000000000000000000000000000000000000000000000000000000000d8d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x000000000000000000000000000000000000000000000000000000000000653f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ae","0x000000000000000000000000000000000000000000000000000000000000cd7b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[8,"8"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270d","0x000000000000000000000000000000000000000000000000000000000000dcba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d3","0x00000000000000000000000000000000000000000000000000000000000003e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["optimize_burnLessThanRequestedInRedemption",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142fe","0x000000000000000000000000000000000000000000000000000000000000424b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000148ae","0x0000000000000000000000000000000000000000000000000000000000003942"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x792F3eb0aCD92Dc9ab83c64DA4657B1AA8E47681","tag":"AbiAddress"},{"contents":[256,"35071355702339114554660729117278486534962811883716944435753273692556233194761"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012e","0x00000000000000000000000000000000000000000000000000000000000001dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"19839415432702344085266253606023797397132581361598099772712555228185094437803"],"tag":"AbiUInt"},{"contents":[256,"35"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fa33","0x000000000000000000000000000000000000000000000000000000000000b049"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"3"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3b","0x000000000000000000000000000000000000000000000000000000000000101e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x0000000000000000000000000000000000000000000000000000000000000129"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055774","0x0000000000000000000000000000000000000000000000000000000000002d06"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000035f6a59ae452ded7d"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e784","0x0000000000000000000000000000000000000000000000000000000000000043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"56434550496595358379399398951958100953598432288055685553082626343496896502647"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e8d9","0x000000000000000000000000000000000000000000000000000000000000012d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"14"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5c","0x00000000000000000000000000000000000000000000000000000000000037e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"13223931156701552858491865039435531051718236919971659397493256972655719461550"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002c1","0x0000000000000000000000000000000000000000000000000000000000007e49"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639707"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5e","0x00000000000000000000000000000000000000000000000000000000000053ef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"50324935317727334888253333023524391286860690336077629952217266293160292974064"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x0000000000000000000000000000000000000000000000000000000000000876"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x000000000000000000000000000000000000000000000000000000000000dcb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cb22","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628417"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce4f","0x000000000000000000000000000000000000000000000000000000000000c731"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011518"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019112","0x0000000000000000000000000000000000000000000000000000000000002649"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000020b57","0x000000000000000000000000000000000000000000000000000000000000058f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083605","0x00000000000000000000000000000000000000000000000000000000000002c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019112","0x000000000000000000000000000000000000000000000000000000000000202f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x6b784eC8A6AbBa82D3abE46c3AB3a65d730dC51C","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"<J\\ESC\\172\\179\\181l\\209\\140\\134d\\218\\252\\209\\232\\197\\238\\134\\158\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\132\\177xIA\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\158iy\\142\\226\\137\\128\\250\\164\\180\\156/\\ACK \\231\\237\\&6r\\242(A\\177^J\\160\\177\\154\\177\\179o;\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156#q\\154)\\SON^\\153\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\DC2\\138\\239\\204\\218\\254Fy}\\199\\212\\214\\DLEw\\242('\\148\\144j\\251#\\223|\\236\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"od\\249\\199<\\180\\237of\\180,\\213\\231\\230\\&6\\234\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\172\\178v\\GS\\243t\\211\\220\\NUL\\nV\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"(#>~Ff\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\236\\134v\\196\\DLE\\131\\EOT\\157P\\180R`L\\133\\182\\231\\157\\171\\139\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\a\\NAKc\\207}r\\157\\183M\\128J\\207\\250\\190\\DELb\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173usY\\193\\132d\\a\\181\\229\\217\\228U\\\"\\152\\218;\\149\\157\\163\\132\\169Q'\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"?k\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\215\\168u\\162RiA\\245)\\183\\160^\\175\\152G\\213\\175M\\194\\DC3\\DC3\\142^\\221p,0V\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235@I\\224D\\NAK\\200\\147E\\225\\182\\206D\\DLE\\186\\GSZ\\179v\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145i&\\210\\191*\\189\\168\\144\\205\\157\\246(\\195|:F\\253X\\187\\DLE\\158\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171]0\\144\\198.\\218\\216\\224\\STX\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\214\\146J\\201\\224U9p\\145\\213>\\FS\\227O|5x\\235\\182G\\255+\\SOH\\150\\201\\150\"","tag":"AbiBytesDynamic"},{"contents":"\",\\ETX\\159\\231\\167\\CAN\\DC3nNH\\236\\189\\212\\249\\fyFY \\220\\154\\160=}\\194\\181\\199z\\152\\171\\ETB\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156m\\134\\DC2\\227w\\234\\&7\\DC3 K\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\238F:\\155\\155\\129j\\194\\r\\250\\156\\190\\r\\144\\134\\137\\212\\145GBV~\\171{\\SYN\\b\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\174I\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"A|\\136\\\"\\144XM}\\246\\206\\205\\220jk\\a\\155G\\215\\140\\225:\\210\\185\\248&|%|\\143\\r\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"bn\\253\\n\\208\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"|1\\199\\227\\147\\141:\\rc\\228Q\\226\\223\\187\\174\\222\\&7\\167\\242[\\191Q\\NUL\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\187\\STXD7fG\\a\\187\\221\\f\\177\\178\\DLE\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149,\\202g\\142\\162zQ\\147p\\208\\214\\169\\bYxJ\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\206\\EOT\\190\\CAN\\250\\245\\\"\\203\\204\\148\\132\\140\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4!\\222\\254\\181\\CAN\\161\\241\\t\\135nMk\\133\\244\\&3U\\141\\183\\224\\233e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\&5g\\213rb\\203\\SUBW\\179\\136]\\238$^\\138\\143]\\US\\NAK\\177\\202nK\\155\\192\\158\\b\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\168\\235I&mHTL \\193\\b\\216\\225/\\146p6F@\\247\\FSC\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\243S\\138\\201\\223h\\163\\ETB\\139\\178\\252\\NAK\\179\\222\\r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\169\\218\\252\\183\\224\\v;R\\238\\170\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Ida\\226\\DC4\\GS\\228\\181\\184K@0\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\201c\\208p;\\201U\\219\\ETX\\248dF\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\",\\236U\\187\\152\\DC3\\183\\169\\DC1\\a\\165\\220\\SUB\\136B\\US\\188\\163\\DC3\\243\\US_?tG\\248'\\rO\\GS\\232\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\217m\\227\\&1s\\239\\189\\156\\251:\\139W\\228\\ESCi\\132\\174\\&8Zv \\237\\180\\218\\CAN\\130l\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC I\\DC1\\243\\DLE\\196S\\247$\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\173\\185Cz\\148\\147x\\USA\\t\\164\\SO_\\210X\\DEL\\230\\STX\\190$\\202vya\\f\\155\\167$\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"*$r\\184\\173\\a\\138\\147\\EMf\\224C\\166e\\246\\216\\142b\\169\\STX\\237\\174\\147=\"","tag":"AbiBytesDynamic"},{"contents":"\"9<\\199\\239\\200x\\FS\\192[p\\ETBs\\SOt\\SOH\\163\\fWw\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\\"gaN^\\222qn\\165\\RSE\\GS\\150\\195\\ESC]\\192\\216\\175\\161'\\226\\r2\\195\\158\\161\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"XV\\EMs\\NAK\\182\\144\\ETB\\132\\245R\\241\\202\\145\\211\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"+E\\DC1\\196\\162\\171T)\\128\\139\\180?tY\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\251\\129+d\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\r\\248\\247\\168O\\250\\227\\215WD\\DC2r\\145I\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"lj\\bp9[K\\254P\\159t\\136\\&5\\177F?\\GS\\169\\SI\\DC3e>1K\\130\\154\\FS\\ESCH,\\130\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\NULU;\\DC2!\\238\\216%\\128\\151\\145\\252T\\204\\151N\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\b;I\\DC44?\\252\\195\\&2\\133\\208\\SUBb!\\221r\\190O\\249\\154\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253!\\140\\154\\SOH\\233\\246\\168\\193\\192\\246\\229\\229x\\154{\\139a)wTA\\DC4h\\188\\236\\202\\239\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\239XW3\\224VTDR\\204\\&0g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\160\\r\\188v#\\DLE\\rh\\184a\\160o\\ENQ\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCd{K\\224\\248\\USW\\224\\&2\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\181:u+\\229\\203\\213\\177T\\204Fc\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\178\\205S\\249\\196bX\\156\\DLE3\\CAN\\DC4h7\\254V\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\178\\144\\243\\245\\237\\234&^~\\248yy\\221\\t\\199\\&5\\197\\182\\254\\b\\210B\\SYN\\254\\200\\DC1\\254:\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\EOT\\185\\254&}\\f\\DC2S\\FS&v\\248\\140a\\202\\137\\EM\\175\\&2\\248\\199c~6\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\163H\\133k\\206\\r\\133\\255\\182\\&0X\\253\\146\\223\\248\\137\\235\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213s\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\184\\&1\\129\\191\\169\\169\\184\\191\\166\\244k\\224\\155\\SYN5\\249b'B\\241\\153\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170(\\145r\\186'\\188\\203\\219\\151h\\246\\192D\\DC3\\152/\\a\\183\\137\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218g\\222\\201\\235\\\\\\228|tB\\SO\\217\\233iD\\n~lq\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r:\\STX\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160I\\DC44|\\142\\171\\215\\228\\151\\253\\ENQ\\184\\207\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\137\\&1j\\ENQ\\189\\217\\CAN\\222\\199s9a\\236\\v\\137\\SUB\\165|\\221A\\144\\SIu\\204GOG\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\160Dw\\176\\STX\\DC1\\\"\\227\\205/\\172\\243\\139|\\180\\RS\\vO\\145\\252.\\244Oy\\165\\206g}\\151\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\167M\\139\\149\\f\\EOT\\206S\\163\\SYN\\ENQ\\196-`\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\NUL\\DC4\\220@\\225\\233\\168e]\\163\\199Q\\196\\FS\\221\\198:\\233J\\203Y\\SI\\184Z\\130\\164z\\139\\178\\223\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\179n\\240I~\\ESC\\199\\159\\164f@CW\\246\\162\\151\\191\\213\\243\\240\\137$k\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\184\\162\\138p\\181w\\ETBS\\149\\&3%\\138\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\">7\\ETB\\SO\\171$\\223!\\242M\\fN{\\150\\246\\DC3L\\148\\ETX\\214Bu,\\130\\230J\\137G\\184\\131&\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\188!\\129\\DC2T\\NUL(m\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\178Z\\203~\\207\\176\\148D\\135\\151(\\153\\193\\205fe\\142\\SYN\\152\\151\\224\\203n\\232\\139\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\222\\246\\203\\180\\177|N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160>g\\RSp\\170\\210y\\130\\DEL_\\235\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\144y\\245~\\152Zm/\\191\\242\\251\\NUL`\\153\\185\\DELq\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\DC1\\RSA~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240{Q\\190Gd\\154\\153)\\203/\\NULy\\SIy'\\134\\128n\\231\\209'\\STX\\DLE{\\142\\231\\224\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\216\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\188A=\\249c^/\\235\\&6\\143\\192{d\\240\\236\\240\\129\\140F7\\DC3?\\181\\137\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158(n\\154\\222D\\182\\254\\SIAC\\201\\186E\\b\\245\\241\\198\\163\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US&\\NUL\\DC2\\245{\\234Lj\\214\\170=K\\f\\206\\221\\156\\&6\\147\\&8g\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\225~n@\\151\\129+\\184\\179\\CAN\\166\\195*\\132O\\216b\\148t\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253|\\211:=\\NAK&\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\v\\191\\231_\\230\\150\\204\\NUL\\\\\\150\\130\\232\\135z\\DC1t\"","tag":"AbiBytesDynamic"},{"contents":"\"QW\\218\\243\\232j8\\226f\\209\\rkb\\132o\\147\\245[\\ESCI\\243\\142$\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SO`\\r\\198F\\217*|\\144\\152\\193\\182\\&8\\155Y\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\143\\242\\192\\164(\\b\\155B}\\132\\NUL&M\\211p\\161Gc\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\176\\DC2\\164J\\226\\&8\\220\\164B3\\219\\208\\151\\147\\152\\174\\138s\\184y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230@\\219\\DC2\\195\\EOTy\\220\\192\\DC4\\212\\243\\167t\\242\\149\\ENQ\\153\\243\\n\\167lZ\\233\\193\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\220\\200\\228\\241\\155=I\\214i\\NAKu\\179\\SYN\\203\\188\\244\\216\\EOT%\\158\\&6\\252\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239^\\189\\192\\133\\212A\\243\\148\\236\\DC4\\189/\\202\\133\\ETB|\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245?\\202\\191\\SYN\\161z\\159\\SO\\145\\203 @;r\\231\\146\\DC1+\\SIp\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131Hu\\SUBp_l\\176d\\SUB\\CAN\\232\\DC4\\a\\182\\221\\212\\228X\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\223\\r8\\244\\170\\174\\182\\154\\163\\191*5iy\\235\\143\\204\\151Z\\254\\252'd\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"d`\\r\\184M\\149\\247>\\131\\233\\195\\240\\228\\238\\205c\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\143v\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\191\\229\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\183\\SI\\241@\\222\\&6\\197\\SUB\\159\\&4I|\\222\\245\\202\\234\\&3\\139\\146U\\f\\EOT\\DC3.\\SOHL\\229E\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\\\\\194K\\176'H\\147@\\174\\DC2\\179\\153\\SYN\\211Hc}\\165\\203F\\141\\250\\175\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"2k\\237\\195\\RS\\208\\248\\186`8K\\209|9'42p\\\\\\DLE\\240\\156\\f\"","tag":"AbiBytesDynamic"},{"contents":"\" \\146]|\\186\\&9{\\174\\186+\\241t=a%\\na\\t\\146X\\228\\&1\\249w\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218*\\SYN\\129\\&2x\\130i\\ETX]'d\\163\\141\\208{.\\131d\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\167\\180`\\253\\179Z\\247\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255l\\166\\SOR\\212\\f\\143\\193\\ESC=GS\\147\\199\\137~\\167\\t\\174\\140\\200\\189\\&0D\\235\\194\\244\\NAKM\\240\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\182t\\233\\249\\148\\&28s\\201\\168\\163{\\207~PU\\191P\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Z<\\255\\147\\DC1W\\175\\150\\132oO)\\SOH\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\212z\\145\\182\\v\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"%-\\236\\235+\\192\\171-!\\218\\238\\f:>V\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\149\\DEL\\174u\\ENQ\\193\\222'\\245\\ETBx\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\245\\141v\\163/7\\EM\\201\\147`e\\195\\193U|\\202Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249K\\155\\201\\146M\\217\\232\\151\\225\\180\\250\\201U\\182\\199w\\192\\242\\239\\154J\\NUL\\DC2\\203\\EM\\EOT{\\225zq\\DC2\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"?\\166 \\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4}\\189\\178\\EM\\216\\130\\199M\\235\\&0eV/\\230\\191\\233\\183B\\240\\128\\177\\250\\132o\\164FE\\173\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\133\\NAK\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\SUB0\\210D\\213nu[;3\\ETXk\\EOT\\SI\\b\\169}8\\178\\209\\253\\149\\246\\179\\166N9\\185\\DC4`\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\231\\143\\129!\\ndw\\173\\188\\251\\SO'\\161\\201\\203&{\\SOH:X\\147\\ENQ}\\162Y\\206\\ETBk\\158\\\\\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"iJP\\n\\153\\140\\214 \\143\\178\\222\\170L\\202$\\170]\\131e\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\&9l\\191\\216<8!\\147\\192~\"","tag":"AbiBytesDynamic"},{"contents":"\"c}\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\254\\132\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\\"\\187\\f\\206\\175\\SUB6\\170H~{\\196\\ENQ\\229g=\\162{\\179\\&1\\139w|\\220\\177X,\\135&\\a\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221#\\157\\ESC\\148\\141\\199e@3\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\NUL\\251\\188\\EOT\\v\\177\\177n\\178\\130\\NAKz\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\178`\\201W\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\200\\250\\161\\151\\227\\ACKf,\\230\\235\\&4\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\n\\186\\247\\206\\&7\\DC3\\181\\157$5\\183\\&6\\147\\225\\183\\164\\184\\229<\\166]\\NULd\\228ik\\159\\220g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219bg\\160\\239\\f\\183p\\161t\\EMbR\\183.T\\230\\238C\\227~\\157Y6\\171\\230\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\&85fJ\\213\\241\\217u\\235l\\223}0\"","tag":"AbiBytesDynamic"},{"contents":"\",\\ETX\\240}\\180~\\198\\216\\189S\\152T\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"^\\EOT\\170\\166\\a\\204\\SOAI\\144\\142\\232\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"R\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\167\\200^\\218\\238h\\215\\&8\\153\\246,\\170\\241\\n\\134$i\\n\\ETB\\254\\146\\DC3\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\156b\\162Lt\\r2\\218\\178\\236y\\SI(\\152\\198\\177\\211%\\EM\\233\\200\\156\\178\\&6t\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\137y\\169\\140\\&8\\220\\NAK1\\186\\185\\178\\210\\129\\187\\SYNb\\222Gi\\254\\234xt\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\154\\251F\\SO\\216=\\128\\205+\\158B\\152\\ENQ\\223\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\241\\v\\237M\\a\\209\\225\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"-}\\b*\\158\\234\\208\\227\\&6\\132\\219\\154\\&3\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ak\\253\\&3\\251%\\193\\247\\ENQ\\SYNU\\n\\248N\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231o\\183\\DC3\\152M.\\145\\226\\195\\211\\RS\\162.hd`\\251'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\156\\243\\195\\SIM\\SYN\\197\\195\\148\\133\\159\\207Q\\210\\149\\252Hg=\\154{\\250\\SYN+\\227\\176\\246\\DEL\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\200&\\GS\\220\\n\\197\\149{\\\\*\\ENQ\\DC1n\\240/\\149 \\226\\169\\ESC0f\\ETX\\v\\145j\\149\\132]\\227\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"~eY\\196\\180\\173;\\202\\b\\DEL\\DLE~\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\SUB\\202\\181\\216\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"n+\\a3W\\168\\206\\248)\\167\\228\\190x-\\128\\140\\239\\188\\SUB\\DC48]\\168\\245\\175\\209\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHY\\EOT\\226\\170~\\245\\&4Y\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\".\\193t\\180Z\\178\\&9@\\DC1\\ACK G\\148\\169\\183\\227\\205\\t_\\227\\194\\253<=?\\172\\158\\227C\\165\\te\"","tag":"AbiBytesDynamic"},{"contents":"\"E\"","tag":"AbiBytesDynamic"},{"contents":"\")\\161\\212\\n\\DC2\\137H\\149\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221E\\152\\141\\250\\196\\&2\\CAN\\158\\204K|l\\147g\\NULUZw5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT}[\\183\\145Kx?JG\\156\\254\\209l5\\178\\246\\US\\208\\188\\143\\155\\205W4R2\\146\\231\\175\\240\\SO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GbHx\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\SO]\\219\\255h\\227\\GSb7\\141\\225\\205\\214\\152\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"c!\\172Bh\\160\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\181\\roU\\250\\243S\\176\\&2^i\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180<I6\\ACK +\\128\\246\\DEL\\SI\\189\\STX\\ETBD\\232\\167\\171\\211}\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"/\"","tag":"AbiBytesDynamic"},{"contents":"\"hg`\\181x\\254l\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\151\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139UT\\213\\ESC\\210Z\\232\\&61_U\\\"a\\247;\\142\\n\\204\\SUB\\142\\fQ\\ESC0\\233\\SI_8\\174\\203\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\130-h\\CAN\\134\\SOH \\184\\RS\\179\\ENQ\\CAN\\243\\217\\130\\143\\133\\192\\USo\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144H\\220\\148\\&8\\140(8\\DC1s\\171\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\140\\156\\237\\142\\161\\203\\214\\228\\237\\229=\\179\\196;[\\221\\222\\157L)(\\ENQ\\133\\187/\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\249\\190\\\"\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\255uI\\214\\237\\CAN{\\225\\203\\160\\170C\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\186\\218L\\227'GQw\\SYN\\159\\209\\202q\\RS\\189\\167\\237\\142\\SI\\ETB\\232\\183-\"","tag":"AbiBytesDynamic"},{"contents":"\"c7\\146\\178\\CAN\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231d4/B\\ESC\\206\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\227\\\"\\SOH\\159\\174\\249X\\158\\176\\&5\\130T0\\201\\ETB\\234\\&3\\136\\222p\\r\\ENQ!\\US\\DC3\\GS\\185\\f\\191T\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\fR\\218x\\221\\159\\STXt\\148\\184\\138r|\\144*\\236%2\\191P.2B\\234O\\180\\197-\\155\\241t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\143H2\\166\\CAN\\SYNt\\132Y\\235\\206\\140\\183?\\136\\&5\\207\\EM`\\173|\\171B?\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\";\\bY\\230\\252\\183\\SOH\\165\\&0\\254\\208\\241U\\224\\233\\149\\SI#\\128D\\DC3\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\FS\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\135\\SI\\141,\\189\\RS\\217|\\154g\\ENQSb'k\\CANh\\170\\227u\\192?\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\v\\139S\\240<+\\143\\146\\134\\215\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\188\\211M\\b\\196\\137?\\DC4\\179\\216e\\EMf\\241a\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"YsK1\\US1\\DC1\\182z\\233[\\220\\251\\f\\n\\NULe\\DC3t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\ESC-\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\134\\DEL\\238\\190\\SOV\\234\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"6|H3~\\178\\190\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\154\\142\\145\\DC4\\245\\168\\EM\\255\\253\\233\\&0\\157\\184GHuQU\\STX\\246Wq\\tx-\\234[\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"lS\\241k\\176\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\ETX}\\239\\217zYB\\215\\205\\&3'\\GS\\189\\190\\197t\\133\\147\\209\\EM\\ETBA\\143\\135r6\"","tag":"AbiBytesDynamic"},{"contents":"\" 9\\199<FO\\183\\189[\\192\\218\\162I\\DC1\\243\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\144\\248\\238\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223g\\193G\\172\\&8\\136b\\145\\195\\201\\229\\231\\156\\255\\DC1\\ESC\\187\\&5d\\150J\\129$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\142=\\FS(\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\254\\138\\130im\\v\\161\\251>\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\186\\217\\ESC\\DC3s\\165e\\\"r\\224\\239\\170\\183\\204X5\\216\\210\\228\\163\\157\\251\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\183~\\201\\230'\\164\\219\\143\\SOH\\132\\160\\228\\238V0\\247\\DLE\\CAN\\227+-U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\244r\\216\\209'\\135\\176\\215b\\ENQ\\247\\205wG\\154\\227vE\\255\\SI\\195t(\\225,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\198\\199\\147\\ESCQ8\\187\\NUL\\212\\204z\\148\\219\\137\\167\\152-=\\130\\154\\ETB\\142\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198c@*&D\\EM\\US\\130h\\242\\230g\\193\\230m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157{r\\188\\\\\\199\\150uH\\ENQ\\147\\205\\208\\218i\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"A@?\\174\\155s\\167\\228\\149\\215\\218\\188\\170\\STX\\152s:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\ESC@\\236\\203\\155\\193\\231o\\b\\DC3\\DLE\\137\\r\\128\\182\\DC3\\129\\165\\194\\EM\\138pM\\229\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142$g\\CANJ\\158\\&9\\ENQ\\255\\140c@{\\NULA,B[\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\214\\181\\178\\&0\\200\\219c\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185[IV\\216\\179=\\SO>\\187\\250\\174/\\193\\213\\&58\\144^]\\143!U\\205U?+M|f\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"qi1@^\\141\\176\\229\\158\\214\\253\\174~\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"N!\\207a\\244\\EM\\169\\204Y\\149n?\\246\\223\\SYN\\RSl\\201\\&6\\181\\DEL\\176P\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\169\\174\\129mK\\ESC\\150}\\222m\\173!]^2Oa\\222\"","tag":"AbiBytesDynamic"},{"contents":"\".\\214G,JNB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\tNN<Ff\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\138xU\\\\\\154k\\152\\198\\234\\250\\134T\\FS\\230\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM1B2\\226\\t\\245\\243n\\204\\SUB\\a\\141C\\215\\223W\\DLEwK\\170\\190\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\194N\\214q\\199|\\226\\165\\136\\140\\199uC\\DC1')\\161\\186\\179\\SYN\\226\\174\\STX\\246$Z\\182\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"h\\243\\&8~\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"_R-\\152\\131\\RS\\221n\\131\\164\\172\\245\\ETX.\\193 \\228+\"","tag":"AbiBytesDynamic"},{"contents":"\"~\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\229$\\r\\209\\v\\218\\181&\\196\\228df\\230\\187\\170\\DLE\\DC1\\178;)$\\225\\ENQ\\175\\226\\ESCp\\217d\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\EM\\200\\DLEl\\231\\169\\174\\244'`\\156hi\\r\\ACK\\177I\\131\\193\\ACK.\\179\\247\\DC2\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\216\\RS\\180\\161d\\167\\153\\195\\223\\202\\254\\141\\149$v\\224\\NUL\\195;\\139d\\133\\150\\&6\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"i\\175\\DC3\\215/\\223\\200\\222c\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\160\\139^\\244j\\160$\\SYN\\139u\\142\\NAKqeX\\242i|\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\n\\DC2}\\225\\236eS\\ETX.U=wn\\234\\ESC\\184\\201\\b!\\201\\190\\GS\\179\\192\\148qw0 \"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\237i\\183WXWoe\\\"t\\169\\189\\199\\157gA`\\189\\255\\224]\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\136B\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\140\\205o\\216\\f\\SI\\137\\147\\128\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\&5\\162h\\185&\\200\\196\\203f\\RS~\\131\\ACKP\\187\\174|LZz7\\NAK7uK{\\170^\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\243\\205Pg\\154\\236q\\SO\\145\\188\\246FV[,M\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\155o\\US\\192r\\188\\r\\SUB\\201\\214\\218\\212\\150u\\204\\r\\211\\248\\NAK\\212\\249\\231\\225eh\\DC33'\\221\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\191\\185\\252\\139U\\250^\\250\\182>\\242%\\188c\\147s\\SYN\\DC3\\214'\\135J\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\140\\188\\b\\140wu\\\\`(\\254h>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\239\\165\\211}S\\223\\129\\201\\220\\138\\225;\\212\\145\\205\\214 \\173> \\EOT\\215B\\252\\CANnK<\\159\"","tag":"AbiBytesDynamic"},{"contents":"\",e\\239\\\\\\147#\\194\\147\\151z\\253W\\133H\\199Q5hC \\ACKq\\SOH\\248\\217\\SO\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\254\\183m\"","tag":"AbiBytesDynamic"},{"contents":"\"xGb\\143\\214<\\ESCd\\\\\\134\\217!#\\SUB\\207\\f\\246\\134\\187\\236\\SYN\\142\\251\\178\\200(\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"p\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\230\\131\\224\\158\\CANS>x\\FS\\171\\EM\\236D\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\216\\153\\208\\138Cr3\\233\\227\\171t\\FS\\228\\135\\240\\249\\STX|\\151py\\by\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\216\\225\\246+\\220|\\246\\ETX<,+\\134&\\217\\244 J\\139\\136\\NUL\\133\\220\\178B%\\253W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171M\\US\\223\\&9V\\247Sj\\176\\DC3\\134\\217K:\\227\\180c\\DLE\\167\\186\\DC2\\223L\\255\\213\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219(\\134z\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\134\\GS\\ETX\\149W\\DLEQ\\151\\161Q\\STX\\EMl\"","tag":"AbiBytesDynamic"},{"contents":"\"J{\\201\\ENQJ\\213X\\SO\\211p\\184V>\\EMM.\\232>\"","tag":"AbiBytesDynamic"},{"contents":"\"PV\\195\\NAK\\250\\SO\\204\\170\\247D\\ETX\\181U\\189\\244\\165\\154\\142\\179V\\150;[\\n\\237\\FS.N\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\" \\237q3\\165\\241\\219\\188\\180P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\169;>\\ETB\\181\\NULma\\246\\209r\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152%\\190\\161j_(I[lCk\\ETX\\226\\152\\&3\\170\\DEL\\200e}\\227\\179\\150>\\SI\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\140\\185\\&7*\\CAN2\\189\\&5\\DC4\\220|\\\"\\SUB\\ETXi\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\")]\\a\\183\\203\\SIC\\ENQ\\RS\\ETX\\146\\DC4B\\220\\198\\195\\170\\ESC\\\\\\173\\139;\\209\\202\\207\\159\\ESC\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN@\\190\\212\\f\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\229\\146\\134+]ZS\\DC3\\147\\139\\193gJ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184(ZM\\214\\192d\"","tag":"AbiBytesDynamic"},{"contents":"\"C!L\\250\\&1\\250\\175S/~\\175\\&9\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\140\\&7\\228\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nX\\DC4\\175\\237\\248x\\220PS\\165\\ETB\\188\\169\\203\\&6\\143\\140\\171\\157G\\SI\\SUB\\156\\EOT\\233\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140`\\243\\201*\\136\\RS9\\182Ig\\188\\159Ht=\\129\\180\\SOH\\244eCH\\NULE\\245\\227r\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"lO\\161\\182>a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\155\\185\\NUL\\178\\243\\v\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"~x\\ENQ\\249\\207\\253\\ESC\\193(\\162\\206_\\188\\171j2\\222\\GS\\255\\255n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\248,[*Tk@\\228\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\b\\244\\161\\188=\\141\\EOTa\\163\\188\\230T\\181\\201~\\183x\\177M+\\EOT\\244\\210v-\\203\\a4\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\199(8b3_\\ACKw\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140)\\200\\r\\152\\&1\\212\\164w\\apY\\164h\"","tag":"AbiBytesDynamic"},{"contents":"\" \\133\\209\\RS\\208\\t&\\NAK\\SI\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"8Z\\248\\188\\&7\\214y\\ETB\\182\\US\\197\\140@v\\181\\162\\242,\\249\\ETB\\191t\\ap\\235\\178\\193\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\234\\tg\\131\\196\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNC\\223\\142\\137\\142=x\\DC4\\240\\135\\226\\249\\181\\165\\&9QX3\\203MsQ\"","tag":"AbiBytesDynamic"},{"contents":"\"(g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\EOTAQ\\255\\a\\194+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\147\\253\\217\\246n\\159\\223\\DC4\\163$\\217h\\SO#+\\199\\f\\150\\129JN\\201\\203\\198zk\\176\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\239\\178\\195]\\201n\\205\\200\\&2\\191(\\224V\\144\\190\\251\\131\\253\\\\\\174aiw\\160\\206\\205\\232#\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\250\\174e~\\150\\180\\216\\178\\229\\190t?9\\214F\\205/&\\189\\217\\156[\\208\\217t\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\191\\149|%s\\235[Q\\221\\&2\\238\\US\\r$\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\":$\\156Q\\233\\140\\171\\182\\232F\\170A\\191rr\\240\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\166\\ENQ\\198\\DC1\\149o\\205\\247\\133\\170\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\245cZ.6\\178U\\224!^\\233\\ETB\\203\\229\\169$h]\\a/\\129'\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\202\\163f\\DC1!\\SUB\\193~\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ba'\\184\\DC3D\\206R\\129S\\178'gU\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\135\\&04\\EOT4\\169\\220\\ESC$*`\\176\\149\\253m\"","tag":"AbiBytesDynamic"},{"contents":"\";\\DLE\\163l\\216\\SO\\194\\134`\\139\\205\\r\\147\\SOH\\146\\170\\176\\252\\rC\\204k\\225\\144+\\155\\232\\154.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\FS2\\SUB\\251\\242\\130\\140\\135L\\221\\198\\148\\DC3\\186t\\146\\254\\167R3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\232\\163\\128\\136\\172\\SOH\\174\\SYN\\SYN\\DEL\\250\\242O\\134\\142\\230e=\\194\"","tag":"AbiBytesDynamic"},{"contents":"\" \\143sF\\\"\\vS9\\t\\GS\\176\\157\\174\\195\\NAK\\132\\229\\205\\241\\231\\247C\\133+\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176;6D\\DLE%'\\150CK&lb4u8Fi0\\rK\\154\\214\\136B[\\176\\193\\163\\DC3\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\129\\255\\224AFG\\234j\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212S\\US\\222PJN\\224\\173\\191/\\GS\\227\\137k\\250ynI\\172\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"Vl\\150;%\\140D\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\DEL$\\224\\SI\\248\\217%\\208\\215\\177\\194\\229\\229\\SOWy~\\bH\\192\\159\\231\\181\\198\\DC4\\167\\179$V\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\164\\195\\169GR\\183D\\ENQ\\DEL\\145\\156\\185\\&0\\ETX|\\SOD\\228\\150\\167\\227mXC9\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"T:u\\223\\NAKn]%\\231\\234\\ETB\\160\\167\\205\\226\\248[\\211\\209\\203D\\211A\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"'6pq\\SUB\\173<\\174\\129\\247#\\197g\\DC3E%G\\183\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\205\\&9\\149G\\136\\193\\151\\175\\EOT\\208\\148\\141\\179\\173\\189\\&9\\192<\\222\\194\\227\\237+,\\209\\166r$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\182\\188B\\158U4?\\NAKe HX\\144\\244Wz\\210\\180\\162Y.\\217\\194\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"Z[\\SOX\\192\\164\\215\\152\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\250b\\181Vm\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\US\\197\\185\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\243\\&0pK\\214\\&7\\146\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\253\\181\\165\\DC3\\247\\222z\\NUL[ [\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\186\\CAN(=\\236(\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"a2\\GS\\129j=\\192\\DC3cn\"","tag":"AbiBytesDynamic"},{"contents":"\"rK\\128\\STX\\202\\172\\198\\213Dg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\241Q\\210\\202\\165u7h\\SO,\\134e!\\170\\197\\DC2VsU!/F\\181\\\"\\ENQ\\220\\ETX\\SYN\\143\\131\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\215\\DLEioqS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\EM\\247@\\244T\\232\\241\\169\\131\\179\\221\\174\\182`\\165\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228T(Ig\\199~\\150\\187g\\155F\\190k^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\EMz\\188RG+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215\\&2\\254~w\\135\\131\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155@^_8\\167P\\235\\STX\\172\\164\\132\\239X\\237\\146\\153\\238cO\\203\\n\\DC1\\US\\208x,\\222\\165\\209\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"6.\\219\\158\\226J)\\177\\GS%\\216\\171gkr\\235R(\\157\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"MY\\181\\254U\\230\\133G\\247_\\238\\t\\FSU\\218\\166\\140\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138U\\200x\\189cR\\230:\\SOH\\240T\\172\\222\\151\\186\\198>.k\\ETX \\166\\187~5\\\\\\129\\222|U\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\242\\155\\235\\194\\CAN\\130\\&2;\\148\\172O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\249\\235\\DLEbU\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\200\\198~drU\\129\\181\\238\\180\\FS.t1\\177\\240\\tK\\188\\181g\\178L\\204pP\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\235\\188b\\249\\230\\t\\236\\225\\185\\202\\ESC\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\161\\195\\ESC\\142!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\134\\254\\130\\168\\250\\EMxV4\\ACK\\226D\\ESC'/7\\EOT?\\DLE*\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"5L\\255\\175\\180\\NUL\\163\\213{\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\SOx\\\"\\186\\209a\\251\\210\\217\\209/\\US\\\"\\235e9\\248\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\203\\231k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\229\\204vW(mi\\242\\203\\163\\178P\\162\\218\\f\\229\\231w4\\205|\\133\\218\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"20979674535326367904912460320492569306534898688447796909094065472288251988092"],"tag":"AbiUInt"},{"contents":[256,"35059745047513416536290836471290144769573019660717890448716105186848112339122"],"tag":"AbiUInt"},{"contents":[256,"5003"],"tag":"AbiUInt"},{"contents":[256,"85689272267820717003409390853276669313257466637312838644277329961508814515850"],"tag":"AbiUInt"},{"contents":[256,"35337428235180216794116521884456766486910448456903683052205414305209822902194"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639920"],"tag":"AbiUInt"},{"contents":[256,"5003"],"tag":"AbiUInt"},{"contents":[256,"4003"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"49"],"tag":"AbiUInt"},{"contents":[256,"5"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950333"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639930"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"93165744275588455253487859539654647701352536699248270963763288028545472367927"],"tag":"AbiUInt"},{"contents":[256,"32733757926942810978419827291711292311792317460091971421257841525433520065855"],"tag":"AbiUInt"},{"contents":[256,"76700146507161441192734945262836227024841660197160452616529998054571771656484"],"tag":"AbiUInt"},{"contents":[256,"997"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"50710493105208545647292563099245546056096535031353031452459145091118125637274"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639898"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"44448629715135884305249479180199558735341355845274194916204230422322392847236"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1536292998"],"tag":"AbiUInt"},{"contents":[256,"233"],"tag":"AbiUInt"},{"contents":[256,"65773960100468575835633467944475007847941314791251499363725041439738402090322"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"102228429545050094909227889445195433441322810630953355764288706473020875187465"],"tag":"AbiUInt"},{"contents":[256,"898"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"98175498846900567868159962915894658315860451793473096159230549176843191527051"],"tag":"AbiUInt"},{"contents":[256,"320830166760402543051643330060264654727531923144236633230925664090954634806"],"tag":"AbiUInt"},{"contents":[256,"298"],"tag":"AbiUInt"},{"contents":[256,"61133774457992916235133679822965997613912840045338364426591689447773425413102"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"7500063115446908202380936375683144787785561584091938304872781975704186331525"],"tag":"AbiUInt"},{"contents":[256,"13866353636880861721201606130483690749968506661449211738208062003159641105480"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639034"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908081"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"1532538159"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222591"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"66705248691684738456692483885976321629641483160994134323762153991230901754509"],"tag":"AbiUInt"},{"contents":[256,"6779191722581189881787267905263952331664951713620673659188156823512499717497"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781058"],"tag":"AbiUInt"},{"contents":[256,"1529262889"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908081"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"604803"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x000000000000000000000000000000000000000000000000000000000000c611"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"81389301553679267149675931437641606813653562462379204898773813913625678301243"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f922","0x0000000000000000000000000000000000000000000000000000000000001355"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639849"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4d","0x000000000000000000000000000000000000000000000000000000000000e577"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"98"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e351","0x000000000000000000000000000000000000000000000000000000000000278b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ae61","0x0000000000000000000000000000000000000000000000000000000000004432"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087580","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000035","0x0000000000000000000000000000000000000000000000000000000000008ec9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000038","0x0000000000000000000000000000000000000000000000000000000000005d4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e951","0x0000000000000000000000000000000000000000000000000000000000001c9c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000885b8","0x000000000000000000000000000000000000000000000000000000000000139b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":[256,"261"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadd","0x0000000000000000000000000000000000000000000000000000000000000202"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"4000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f8ac","0x000000000000000000000000000000000000000000000000000000000000135d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052529","0x0000000000000000000000000000000000000000000000000000000000000046"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000078a49","0x0000000000000000000000000000000000000000000000000000000000000066"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_2",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000620d1","0x0000000000000000000000000000000000000000000000000000000000000fb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"99999998"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb10","0x0000000000000000000000000000000000000000000000000000000000000031"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000157","0x00000000000000000000000000000000000000000000000000000000000013a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"74496575005817228398945503394256062026601275529813878036390163593887189139848"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000089af","0x000000000000000000000000000000000000000000000000000000000000012e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"63349036999906686136867459067611006252526159490406067311296758609029930870884"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015182","0x0000000000000000000000000000000000000000000000000000000000006ddb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"101264483862226110504712801325427751017144366781884220387205083693808469444369"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa3","0x000000000000000000000000000000000000000000000000000000000000cfae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084276","0x0000000000000000000000000000000000000000000000000000000000000bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae8","0x0000000000000000000000000000000000000000000000000000000000004c8a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\US\\t\\139\\166\\206\\212\\&3\\v\\159\\SUB\\177\\148'\\132\\128\\152\\153\\196\\195\\DC3e\\235\\246T3\\199\\SO\\v\\146\\SUB\\SO\\218\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5e","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"59425897158330104828334922560265971789059828058899179749759397618416139610968"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb26","0x00000000000000000000000000000000000000000000000000000000000023a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a317","0x00000000000000000000000000000000000000000000000000000000000030a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000420a0","0x0000000000000000000000000000000000000000000000000000000000004094"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427a","0x000000000000000000000000000000000000000000000000000000000000001e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81d","0x0000000000000000000000000000000000000000000000000000000000000bcf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000872e","0x0000000000000000000000000000000000000000000000000000000000005b5e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x0000000000000000000000000000000000000000000000000000000000006080"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"726"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f4d1","0x0000000000000000000000000000000000000000000000000000000000000086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"5397104568302421354500811446615771695067056485479256596036189329879193610139"],"tag":"AbiUInt"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf5","0x000000000000000000000000000000000000000000000000000000000000001e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000885b8","0x0000000000000000000000000000000000000000000000000000000000005bbe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"86521145172973271940956760501418618466037822913408987048855272875219895959296"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea47","0x0000000000000000000000000000000000000000000000000000000000000043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[256,"7039502317858721061373892236679560011159245409489661931990763444271916792512"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000765d0","0x00000000000000000000000000000000000000000000000000000000000069fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000487a5","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4e","0x0000000000000000000000000000000000000000000000000000000000000034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x6b784eC8A6AbBa82D3abE46c3AB3a65d730dC51C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068b61","0x0000000000000000000000000000000000000000000000000000000000003f82"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000050","0x00000000000000000000000000000000000000000000000000000000000034ef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0d","0x0000000000000000000000000000000000000000000000000000000000007e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e956","0x0000000000000000000000000000000000000000000000000000000000000038"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"103495146009732613425062887304265664223607937647995800036347437031561210317425"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c044","0x0000000000000000000000000000000000000000000000000000000000002aa5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"597"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x0000000000000000000000000000000000000000000000000000000000007c26"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008af1a","0x0000000000000000000000000000000000000000000000000000000000008f15"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]