[{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000033","0x0000000000000000000000000000000000000000000000000000000000003a9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"30772210870504675591856393001829925249563133585818665243763052069779944628469"],"tag":"AbiUInt"},{"contents":[256,"297"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000e","0x0000000000000000000000000000000000000000000000000000000000001276"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035ba9","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x000000000000000000000000000000000000000000000000000000000000b446"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"TST\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\142\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4f","0x000000000000000000000000000000000000000000000000000000000000e0af"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef48","0x0000000000000000000000000000000000000000000000000000000000005ef0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"16"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e376","0x0000000000000000000000000000000000000000000000000000000000006a2b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"196"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000088","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048998","0x000000000000000000000000000000000000000000000000000000000000ca0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c5","0x0000000000000000000000000000000000000000000000000000000000004b96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"312"],"tag":"AbiUInt"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec5","0x0000000000000000000000000000000000000000000000000000000000006a2b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417342"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":[128,"28924101041203803471801770815590162448"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003e","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"13524451008697757747738808941050271049521182326006757262844047128319823775756"],"tag":"AbiUInt"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054206","0x0000000000000000000000000000000000000000000000000000000000000434"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266896"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"INVALID_REDEEM_CLAIM()\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000083","0x000000000000000000000000000000000000000000000000000000000000ec34"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"84593474686351095925904811089422774816106762948005545749237399654728028340135"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004087a","0x0000000000000000000000000000000000000000000000000000000000008462"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a8da","0x0000000000000000000000000000000000000000000000000000000000006a2a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfe","0x000000000000000000000000000000000000000000000000000000000000b09e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"231"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d18c","0x0000000000000000000000000000000000000000000000000000000000006de1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000037","0x0000000000000000000000000000000000000000000000000000000000005b6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011519"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c5","0x000000000000000000000000000000000000000000000000000000000000dcbe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639888"],"tag":"AbiUInt"},{"contents":[256,"8571756332479057730745479652375073888345720151606885988897715362139079597739"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fe","0x0000000000000000000000000000000000000000000000000000000000003a22"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"108"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002714","0x0000000000000000000000000000000000000000000000000000000000000db2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000189e3","0x0000000000000000000000000000000000000000000000000000000000007d93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"22764508761123595741560632654196185194740625121867209299169482925133262262774"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5d","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"734506996883534676844843770017037556664"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6d","0x000000000000000000000000000000000000000000000000000000000000e343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":[128,"2289"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000126bb","0x000000000000000000000000000000000000000000000000000000000000dcb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001386","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e11","0x00000000000000000000000000000000000000000000000000000000000012b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5b","0x0000000000000000000000000000000000000000000000000000000000006aba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012d","0x0000000000000000000000000000000000000000000000000000000000004439"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":[256,"1820977097"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e352","0x000000000000000000000000000000000000000000000000000000000000425f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a80","0x000000000000000000000000000000000000000000000000000000000000007a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164a","0x000000000000000000000000000000000000000000000000000000000000c194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"30180064388351055044417493555779229108717194078461535042680783446722122375045"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003340a","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"77402323729146464052382364127272903671415166602642630208277186831463949004928"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf4","0x0000000000000000000000000000000000000000000000000000000000000001"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"34"],"tag":"AbiUInt"},{"contents":[256,"68759377165143095079355317450467819479643599037618071701977173582695830887484"],"tag":"AbiUInt"},{"contents":[256,"93835076711038530526936057122194856213465024647794660026766969503060171696092"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ab21","0x0000000000000000000000000000000000000000000000000000000000002605"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"723"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb44","0x000000000000000000000000000000000000000000000000000000000000d8cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"80"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7d","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639907"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb06","0x00000000000000000000000000000000000000000000000000000000000095b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002713","0x0000000000000000000000000000000000000000000000000000000000000819"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035135"],"tag":"AbiUInt"},{"contents":[256,"96660127106690146957162408312285555971815214579801774860125704945155281362728"],"tag":"AbiUInt"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e954","0x000000000000000000000000000000000000000000000000000000000000246d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ee17","0x000000000000000000000000000000000000000000000000000000000000e59f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b1","0x0000000000000000000000000000000000000000000000000000000000000085"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"46496427551301701171078299936226511593686591689072127921589800640615042947515"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fb9","0x000000000000000000000000000000000000000000000000000000000000004b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0e","0x00000000000000000000000000000000000000000000000000000000000013ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002329","0x00000000000000000000000000000000000000000000000000000000000022b1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb02","0x0000000000000000000000000000000000000000000000000000000000000007"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"97299324505725242827746021972413792623377765301961749006928832289656923593742"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb00","0x000000000000000000000000000000000000000000000000000000000000417b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c436","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"28540790755164613072297035991310223822435943734027282200432495818841284680082"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f6","0x0000000000000000000000000000000000000000000000000000000000000069"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"953"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaff","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"173"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x0000000000000000000000000000000000000000000000000000000000001019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"43589232418660158325899923003436749495350537944906195071907513579893688143208"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfa","0x0000000000000000000000000000000000000000000000000000000000009201"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"11326659788056433208621887731659480935998748330834656161620734124187589662702"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222595"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084279","0x0000000000000000000000000000000000000000000000000000000000000bce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x792F3eb0aCD92Dc9ab83c64DA4657B1AA8E47681","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x792F3eb0aCD92Dc9ab83c64DA4657B1AA8E47681","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"165"],"tag":"AbiUInt"},{"contents":[8,"136"],"tag":"AbiUInt"},{"contents":[8,"135"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"215"],"tag":"AbiUInt"},{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"73"],"tag":"AbiUInt"},{"contents":[8,"44"],"tag":"AbiUInt"},{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":[8,"122"],"tag":"AbiUInt"},{"contents":[8,"192"],"tag":"AbiUInt"},{"contents":[8,"186"],"tag":"AbiUInt"},{"contents":[8,"10"],"tag":"AbiUInt"},{"contents":[8,"133"],"tag":"AbiUInt"},{"contents":[8,"156"],"tag":"AbiUInt"},{"contents":[8,"84"],"tag":"AbiUInt"},{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":[8,"85"],"tag":"AbiUInt"},{"contents":[8,"157"],"tag":"AbiUInt"},{"contents":[8,"147"],"tag":"AbiUInt"},{"contents":[8,"51"],"tag":"AbiUInt"},{"contents":[8,"137"],"tag":"AbiUInt"},{"contents":[8,"40"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e991","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b0","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024b01","0x000000000000000000000000000000000000000000000000000000000000133a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011522"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000382","0x0000000000000000000000000000000000000000000000000000000000000bcf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"66621604124497108325612535252109784251220306565011784488336666120737618267596"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea61","0x00000000000000000000000000000000000000000000000000000000000095b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"17085453530210198191929494490883277765608179753231932738084106347649395673995"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e352","0x000000000000000000000000000000000000000000000000000000000000d9aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000011","0x0000000000000000000000000000000000000000000000000000000000009e98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5e5572F463FE04963DD4aC2b15b2f4fc28EF150C","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\240\\222\\&4YJ\\228\\241\\252R\\134:\\247\\EOT\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\236\\250x\\158 \\ESC\\246~\\213\\DC4\\155\\246\\241\\DC2P\\192d\\253\\128%\\209\\204\\157KN\\158\\161E\"","tag":"AbiBytesDynamic"},{"contents":"\"ba\\187=4T\\SOR\\226\\255\\197\\230Y\\219\\243\\US\\138\\140\\a\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\&4\\t!,y\\247PH\\239\\227}\\198\\200\\243L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\185\\196d\\131\\SOHk\\218Y\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\135\\STX\\136\\175\\136}\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\US\\157\\196\\204(\\143\\240\\199~\\222\\201\\153\\247\\146\\176\\189\\199\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227z1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227h\"","tag":"AbiBytesDynamic"},{"contents":"\"}2\\250\\196\\159U\\SOHI\\179g\\163\\161\\144\\&9l=Y\\254\\FS\\133\\248M\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231~\\244\\200a\\DC1\\253\\183S` \\CAN\\158Q}\\213\\233b\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\160OO}\\235~\\229\\249\\186h\\194K\\199X\\221\\212\\232\\197\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222{\\177c\\140\\&4\\DLE\\180X\\163\\205\\195\\205@\\220\\254\\156\\227\\DC2\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\175\\&4\\174)?\\233\\DEL\\172Yz\\SO\\216dlXB\\252\\FS\\167\\143\\252\\205\\128\\131\\DC2g\\243E\\a\\233\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\152\\164\\153\\172]\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\139\\FS\\\"'\\203\\227\\186%\\153\\209\\158=\\195A\\fqN\\SYN\\229J\"","tag":"AbiBytesDynamic"},{"contents":"\"QV\\225\\DLE\\SId\\157\\250\\&7\\169\\SYN\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231+6L\\157\\189\\173\\SI\\222\\170\\EOT*d\\185\\206\\208\\194\\211y!\\224R\\206bZZ\\255Q\\220\\159;\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2c,\\183\\250M\\182v\\208\\146\\254-\\237U\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\221x<\\172JC\\185;d\\184;S}\\195\\190\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\&3\\238\\v\\169\\t\\247^M?\\180\\DC4=\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215<\\153y\\206\\212a)\\217N\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTp\\235\\ENQ\\186\\183U\\134N\\218\\156?\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\ESC'w\\238\\223K\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\" _\\211%Ba\\SUB\\187p\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\233T}\\213NV\\183u\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"`n\\187\\ENQ\\CAN\\172$\\164\\206\\173\\252\\225\\131\\208\\t\\148\\206_\\FS\\153\\&1\\172\\181\\198\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"fXn\\vmy\\224\\&7?\\180\\203AOt\\237\\150\\176\\177\\237\\148\\238`r\\254\\SUB5\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\149\\140\\213F\\220\\ESCS\\NUL\\245\\207\\166&3\\225\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\200\\151wB&\\250\\211M\\190(\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230yf\\255h\\191\\DC3\\132A\\213\\154B\\230\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\DC1\\213\\194\\153\\RS\\180\\138\\164!\\168\\208\\157g;\\nq\\209\\235\\157\\ESC\\246s\\175\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\190#d\\204\\SYN\\251\\&5\\166lA\\152\\166\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\179\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL<\\132\\218\\nv\\t\\248\\DELS\\218P\\153\\226\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"yfD|\\229\\226g\\225\\134\\163\\173\\228\\225M\\205M\\217~Z\\144\\133\\DC4\\242\\238\\160\\213I>U\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI'HK\\238\\148\\200\\179\\214\\223\\144\\r\\193`\\SYN\\201x\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\192\\187r?Q\\v\\DELe`\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154Si%\\197\\&0\\139\\143\\254\\186\\151\\&6\\209\\179!\\255S\\180,^>\\160\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Xc\"","tag":"AbiBytesDynamic"},{"contents":"\" \\173GE\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\DC4\\fYD\\\"\\129\\205\\189o&j_\\145F}Ug\\158\\141\\211\\ESC\\132*\\208\\DC2\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207t\\166/\\167g\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\&6\\150\\208\\135\\252v\\USh\\217\\ESC\\203]\\163\\205aR\\b\\233\\SOH\\208\\ESC\\201>\\234\\DC1\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Xc\"","tag":"AbiBytesDynamic"},{"contents":"\" \\173GE\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\DC4\\fYD\\\"\\129\\205\\189o&j_\\145F}Ug\\158\\141\\211\\ESC\\132*\\208\\DC2\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207t\\166/\\167g\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\&6\\150\\208\\135\\252v\\USh\\217\\ESC\\203]\\163\\205aR\\b\\233\\SOH\\208\\ESC\\201>\\234\\DC1\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Xc\"","tag":"AbiBytesDynamic"},{"contents":"\" \\173GE\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\DC4\\fYD\\\"\\129\\205\\189o&j_\\145F}Ug\\158\\141\\211\\ESC\\132*\\208\\DC2\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207t\\166/\\167g\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\&6\\150\\208\\135\\252v\\USh\\217\\ESC\\203]\\163\\205aR\\b\\233\\SOH\\208\\ESC\\201>\\234\\DC1\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Xc\"","tag":"AbiBytesDynamic"},{"contents":"\" \\173GE\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\DC4\\fYD\\\"\\129\\205\\189o&j_\\145F}Ug\\158\\141\\211\\ESC\\132*\\208\\DC2\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207t\\166/\\167g\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\&6\\150\\208\\135\\252v\\USh\\217\\ESC\\203]\\163\\205aR\\b\\233\\SOH\\208\\ESC\\201>\\234\\DC1\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"}Y\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\164\\164\\147)\\253\\234\\206$\\184M\\217\\148\\156\\SYN\\135\\132B4\\CANO:\\193\\203q\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\180Z_\\201\\ETBw~\\147\\193\\\\^\\DLE\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\224\\NAK\\143)\\255w\\138oBs\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\NAK\\SO\\141\\DC4q\\SO\\243a\\219\\134\\169\\211\\170\\bmL,\\SOH\\173\\162\\SOH\\244\\178\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\"","tag":"AbiBytesDynamic"},{"contents":"\")V\\137\\221\\204\\140\\ACKY\\253\\253\\211\\163'i<\\145\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"+x2\\189\\SUB\\b\\232\\188ri\\155\\178\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\205\\SUB\\217D\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\150\\196\\234\\205\\\\\\167\\234\\229\\251\\SUB\\209\\215\\SO)\\188yA\\149n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBq\\160<,\\173\\\"\\ENQ\\172\\\"6k\\STX\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"XZ\\ACKl\\174\\141{\\155=wP\\183\\238\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"Pqu\\176\\US\\SOH\\188\\ETXQ;\\225B\\164\\192J\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\132\\153\\150\\251F\\139\\ACKEQ\\146\\DC1\\192\\177\\238\\143\\FS(\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\218(\\252\\240\\156\\221\\GSO\\163\\140\\216\\217\\136q\\251\\247\\214u|\\\\\\253\\248uu\\223\\v\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"q\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238i\\154\\143\\238?\\192\\251\\219\\ETB\\196\\&4\\250\\130|\\188\\229\\251_\\148y\\223\\230V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\151\\192\\FSJ\\224\\&1a\\b\\186\\201?:\\194G\\232\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"xX\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"g-F\\255\\DLE\\141\\168\\245\\175\\t8\\\"\\tI\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\241k\\242\\206\\247\\172\\253xJ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\DC4\\219\\153j\\v\\133/eL\\186\\156\\186\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\183\\GS\\\"\\DLE\\161\\189\\DC4\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\SYN-8' $\\211B\\255<\\208>\\232C\\171\\169\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133~\\208\\181\\233\\246s\\246\\DELfg\\235w\\ETX<\\ENQ\\221\\&6\\244y\\188\\CAN\\200$=o\\193\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\213\\215\\140g\\ETX\\246\\250\\US\\144\\213\\134\\SOH\\GS\\227\\160\\234\\192S\\135*\\136\\183\\b4\\174\\t-\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\182\\CAN\\214]\\220\\148\\DC4K\\t\\FS\\249\\&7\\194a\\186\\180\\247\\241\\USc\\STX\\251\\153c\\194\\181\\STX\\198\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\EM<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\131\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\241\\232\\243\\139\\139\\254\\145N\\200\\227\\235\\RS-\\170|N)]\\159\\215\\DC3\\170\\144\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSG\\161\\t\\211\\198\\233\\194\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\175 4\\GS_\\ESC:\\211\\DC1\\174=6\\169e\\231\\195\\162i\\228\\192\\186)|\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\148\\180\\RS\\252\\211A\\220\\&7\\196\\163KA\\242\\233\\152\\SIs\\ETB\\FS\\a;0\\217\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\231\\SUBx\\EOT}y\\240\\SOHW\\231\\142}+\\146<\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\218\\202\\EOT\\193X\\186\\137\\EOT\\\"{\\SO\\185\\166\\&6E\\212G\\FS~\\160\\182\\SUB#\\168\\ACKC_a4\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\166\\&3\\DC3\\249d\\129\\238n\\219\\199\\ACK\\158\\143r\\EOT\\217~\\147\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\214\\216zk\\167.\\175\\150s\\n\\243\\221\\131\\194O>\\146(\\237\\221$\\241\\181\\194\\242\\139\\&8\\183W \\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\227\\150\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\232\\213\\159s\\217\\215\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"*m-B\\n\\134\\131\\240\\DC4W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"f97~\\181]\\155\\217\\145\\151'\\DC1\\212\\NAKa\\164F#\\206It\\155\\250\\237\\216\\149\\144\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\137hE}\\177\\212;\\184\\149o\\t\\210!\\250\\194\\EM\\192\\198\\ENQ\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\245S\\ESC\\170\\255\\224\\220>\\131\\144I\\fa\\DC4\\213>\\146\\171\\ETB\\135\\220\\EOT9\\200\\231U o\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168-k\\165\\\\\\174/\\187\\ETX\\207\\169OT\\179\\nz\\b\\198E$\\DEL\\167\\DC2\\US\\SYN\\180\\165\\195 \\RSt<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"kZ\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\138qQ\\247 \\a\\135g\\160nS})D\\169\\223\\181E,\\138\\ENQ\\225\\141\\aS\\175^\\143\\211\\&2D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\NUL\\184>$\\SI\\192}\\208\\138_H`\\190\\187\\DC2\\241\\246\\220\\147\\155,\\192\\&5\\176\\190\\234\\154+\\202\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\228\\219i\\170\\r\\188?_\\an\\141\\129z\\201&\\SUBYs\\241_\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\140Q\\128K\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\224{\\236a\\253\\216\\222\\DC4|\\179\\167\\n\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\228\\140\\DC4\\SYN\\SOH\\t\\163\\245Z;\\189@Lc\\n\\141\\129\\176\\EOT\\SO\\168\\SUB\\235\\128\\179\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\",h\\227\\160\\137\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\208)\\246\\EOT+\\222\\160\\255\\228\\206\\143RgQ\\175\\192u\\212E\\229\\200\\201\\185F6K#`\\205\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\128\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\227\\184\\193\\192\\SUB\\192\\233\\&9\\213`\\\\\\229\\DC4\\233\\212\\f\\134_\\178\\&1o\\212\\251\\232\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\139\\246Y\\149\\f>Gn\\241\\215\\189\\167\\219\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\SYN\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\232\\203R\\209[\\192\\174\\204\\ESCD\\DC2\\192-\\156\\221i\\172C\\SO\\207\\170\\&1\\161\\a\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\142}\\174;i>\\NUL\\160\\146\\&9\\243!\\202ma\\NULxx\\223\\ESC\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\204\\251\\238%\\138\\157;\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154bP\\160\\253\\DC1*aoR&\\ESCdL\\237\\250\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\EM\\175\\SUB\\GS\\227\\ENQ\\216\\DC2\\GS\\207\\DC4\\202\\134\\136K\\183\\135-\\131\\205\\192\\EOTG\\164\\US\\240[\\220\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\ACK\\184\\174\\199\\230C\\t\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132RT\\217\\198\\216mL\\129Ea\\216x\\232\\162\\157\\&5)u\\175\\US=d\\247\\151\\v+Q\\SI\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\255\\140\\253]C\\173\\131\\r/\\SUB\\129}\\EM\\n\\225\\161\\SYN:\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\RS{\\SYNI\\170\\129~\\185,\\233\\147K\\209\\206\\205\\168\\249\\SOtu\\132Yt\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\217\\197\\246\\\\:\\149h\\246\\232\\197J\\208:Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\181\\220_\\185&%\\DC2\\130\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\210\\207\\135$V\\166\\197\\240\\245\\t\\CAN\\US\\CAN4J-\\129\\148\\DC4\\SOH\\254dw\\246\\DLE\\195`\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\214\\GS\\EOT\\239\\145\\231\\238\\165O\\172\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\245\\&4\\ENQ\\143\\242\\204\\242\\EM-r\\185\\r\\145\\183c\\144N\\196\\218\\v\\198m\\231\\203M\\217\\196\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"62476636607500270552285068494957304389224905362965753606925612963418373218291"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"},{"contents":[256,"27"],"tag":"AbiUInt"},{"contents":[256,"232704336623603033068915840596005136464958484369834249"],"tag":"AbiUInt"},{"contents":[256,"22655774888935455406550710911438461877673908805290203915201768081997975068875"],"tag":"AbiUInt"},{"contents":[256,"27"],"tag":"AbiUInt"},{"contents":[256,"5134504902306123878893899908"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639800"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630934"],"tag":"AbiUInt"},{"contents":[256,"35865728419020829361879860292948523400879937781421069270008795935053762783310"],"tag":"AbiUInt"},{"contents":[256,"10001"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011523"],"tag":"AbiUInt"},{"contents":[256,"62027257522632143522770939070641389871713333530680587182446261858129060830848"],"tag":"AbiUInt"},{"contents":[256,"317"],"tag":"AbiUInt"},{"contents":[256,"103400639837053697891688808947556537032815857444233532633841033573333617173915"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"83604571262516120555667679594441983757734592550245936314198495856517540199305"],"tag":"AbiUInt"},{"contents":[256,"65439390044520119421489005942189660561042333712598686545817734918502096962584"],"tag":"AbiUInt"},{"contents":[256,"81744554413869962760052865439880488327422135741140083541521892114074138817366"],"tag":"AbiUInt"},{"contents":[256,"22"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553539"],"tag":"AbiUInt"},{"contents":[256,"6"],"tag":"AbiUInt"},{"contents":[256,"975"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636333"],"tag":"AbiUInt"},{"contents":[256,"59537694803774158433708060942814428823300595717967909976528222766064920702312"],"tag":"AbiUInt"},{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"39"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634932"],"tag":"AbiUInt"},{"contents":[256,"99999999"],"tag":"AbiUInt"},{"contents":[256,"109325230785963438824013202170180083075762709709215697409427152696468511583870"],"tag":"AbiUInt"},{"contents":[256,"50094059757401565246265228107474481960373441038349760886155946913036237554607"],"tag":"AbiUInt"},{"contents":[256,"75"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639910"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628419"],"tag":"AbiUInt"},{"contents":[256,"136"],"tag":"AbiUInt"},{"contents":[256,"8970255852695593295957292751344376188106306172405080996053540113325928294291"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"93031551939913891406433927899457745763505144896548994173623697524334531052193"],"tag":"AbiUInt"},{"contents":[256,"25280191975314760469423146021205475969721706692465831273142159457230643661561"],"tag":"AbiUInt"},{"contents":[256,"99230924600800277195009116206237651422952331146705177024770376929213953047560"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636332"],"tag":"AbiUInt"},{"contents":[256,"111079184796062249130746961090826986358670085196016564847902948604596801731728"],"tag":"AbiUInt"},{"contents":[256,"834"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636333"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639834"],"tag":"AbiUInt"},{"contents":[256,"41779480595304118886733621193169492215526311381906602117593133254876159971546"],"tag":"AbiUInt"},{"contents":[256,"16558573503678376599703180618354256965546245456091021262172136245507924215743"],"tag":"AbiUInt"},{"contents":[256,"99785445705860347454879368451200278572277423596254102984273007892055610388247"],"tag":"AbiUInt"},{"contents":[256,"99785445705860347454879368451200278572277423596254102984273007892055610388247"],"tag":"AbiUInt"},{"contents":[256,"99785445705860347454879368451200278572277423596254102984273007892055610388247"],"tag":"AbiUInt"},{"contents":[256,"78168967951243851713250858232199257533"],"tag":"AbiUInt"},{"contents":[256,"6954940308474992596927770184723365294186953454934944004239915650425363134099"],"tag":"AbiUInt"},{"contents":[256,"300"],"tag":"AbiUInt"},{"contents":[256,"75085557087299749106239803033088483873312957063515940608186632442679190423405"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035139"],"tag":"AbiUInt"},{"contents":[256,"35490657080946281753629781094673431569180419205153208213118390968840925926127"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"38"],"tag":"AbiUInt"},{"contents":[256,"18423009790136637888950090304214163567632911667652731112447304506910825030810"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1537133940"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5e","0x0000000000000000000000000000000000000000000000000000000000008980"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabf","0x000000000000000000000000000000000000000000000000000000000000077d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd8","0x00000000000000000000000000000000000000000000000000000000000009d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x00000000000000000000000000000000000000000000000000000000000049e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb42","0x0000000000000000000000000000000000000000000000000000000000000045"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035134"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e6","0x0000000000000000000000000000000000000000000000000000000000007e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":[256,"111486544834225358305928687448427089724933588892014926766787227709498371348015"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f467","0x0000000000000000000000000000000000000000000000000000000000001274"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609598"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d72f","0x000000000000000000000000000000000000000000000000000000000000ec38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DEL\\222R\\155\\233\\168\\FS\\133 YN\\175\\167\\185\\EOT\\201\\131\\129w\\179N\\FS\\147\\215|\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\243g\\160\\235,8|id\\159\\192\\194\\141\\FS\\171\\216p\\241\\173C\\164\\220\\t\\175S9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\SUB)\\161U\\FS\\155*5\\n\\NAK\\EMBO\\DLE\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\t\\209\\162YA\\156\\239|\\246\\172\\220\\\\=\\164\\157\\178fh\\211z\\SO\\&H\\209\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129'\\211\\202\\173\\178KN\\128\\ACK\\246o\\128\\GSbB\\251\\191\\163^x\\SUB\\201s\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\218\\NULN\\170\\195\\157W.\\252b\\169\\184\\207\\240}\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\171\\193\\SOH\\237\\243=\\191V\\240.I\\SO\\149L\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\158\\236\\157\\211\\247>\\214\\213r\\236xA\\238\\185\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\157\\157\\215\\246\\182fd\\147\\168\\b2=>\\208pU\\219\\136\\230\\tfZA\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\165\\EM\\185\\185y\\215j\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\218\\225\\159xB\\182\\181{E0\\166\\RS\\170\\154\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154S\\180\\223\\167\\229<\\247\\139A\\231\\141!\\183\\189\\155\\176D\\134ZJ\\195\\ESC&o\\141\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169z\\214Fq:\\142\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251-\\178\\167\\200!\\128\\182\\243L+T\\130\\NAK\\133%\\187\\171)[\\DC2\\172y\\a0\\147|\\200\\208\\\\\\188\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\141p\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160c\\178\\251\\DC4\\228\\216yA\\FS\\DEL\\157\\245\\f\\DEL\\155\\162\\148\\199(\\241\\206*\\STX\\STX5\\133\\205\\250\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\201o\\ACK\\175[{Z{)\\223\\136\\239\\178\\164\\225\\226\\&2\\236\\234\\162\\EOTS\\236\\141\\236\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULXy\\SI\\170,\\138\\140\\138\\&4\\225u\\NAKp\\184\\208)/\\150\\DC3\\255H\\216dZU\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\160\\217\\f\\175\\171r#\\142;\\223\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\179\\ETX|X1\\215\\145r|\\ACK\\219<t\\139\\253rVR\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\143\\202\\186\\155X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227!\\167\\192\\STX)\\162o\\ESCy\\NAK|\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"3y1]W\\155\\226#\\179\\DC2a\\170\\&1E\\209B\\210b&w\\171\\v\\253_\\215\"","tag":"AbiBytesDynamic"},{"contents":"\")\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\235\\SUB\\250>\\ETX\\151k\\238Vv\\192X;\\191-i\\151\\NULQ\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USUX5\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"cC\\129\\214\\DLE\\STX\\SOH\\223\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\205\\169M\\US\\\\Se9|!V\\201\\139\\211\\201aN\\187\\253c}\\216<\\CAN\\227P\\244k\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\231p\\240'\\196'\\187F\\204\\SYN?\\226o\\202\\165\\224e\\240\\164\\DLE\\226\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\228UO\\225\\f\\191GU\\150$\\194\\196P~\\201(n\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196!\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\133~\\SUB\\169\\&9Np\\169\\&2I_\\211\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\162\\n'3\\239\\169\\188\\DC3\\235o\\DC2\\185\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\141\\238y\\221\\180\\DLE^\\148\\236\\NAK\\240\\252?\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\202-\\165*_p\\136\\140\\215\\208\\NUL\\140\\228\\254\\172Tk\\158\\&4\\214(Z\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\SO\\186\\ENQ\\203rhQ\\154\\CAN\\198\\131i\\f\\191\\140\\231*\\159\\221\\177\\213\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\131J\\216e\\n\\162\\208\\194*\\170\\162\\175c\\SIq\\174\\208\\186\\157\\152\\188\\147\\198\\232\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253x\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\177!)\\168,\\ETX\\134}6\\133\\201\\159\\SUB\\ACK;H\\ESC\\142\\164A\\131(\\215\\130\\205\\135|=6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\245\\215\\156d\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\")\\198\\169;\\168\\228\\a\\200\\224z\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\160\\ETB\\241&\\149\\181\\200h\\207\\SYN\\183z6\\193\\166\\v\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\DC2\\194\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB%\\246\\147\\164\\DLE\\a\\232\\130l\\159)\\136A35\\186\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\147\\153\\220vA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\250\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\179\\DC2L\\201*\\175\\199\\&0\\212s\\208\\152\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\252\\186\\253\\136\\DC2\\218\\223Z?\\149\\b\\165\\DC1\\\\O\\189\\223\\SYN\\219\\216\\163x\\251d\\219\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\NAKW\\213\\215YX\\216\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\221(\\186b\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\228B\\222D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197@\\DLE\\174\\237~\\247\\244X?\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\134\\151\\219\\NULfweA\\NAK}\\f>\\243@0\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\250\\244\\180mP\\214t\\EOT\\249\\153\\224\\SOH\\238Vi@\\192\\NUL\\ENQ{\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\167$\\182T\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"_D_\\219K\\159\\ENQ\\226e\\r6\\206=\\160N\\151\\ETXT;\\143.\\234\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156+\\178Y\\220\\232\\190C\\242\\155\\141Z\\188i\\ACK\\164\\208y\\EM\\SI\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\159H\\ETX\\198\\226\\210 ?\\249\\253^p\\139,\\143\\r\\203\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\144j\\SYN\\134Vl\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\128\\DC4^\\178m\\174\\244h\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\178\\178\\NUL\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMn\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\241\\201\\206\\150\\215 \\181\\230\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\170\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\147\\160\\183\\DC3\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183r\\230_-e\\b\\222\\NAKw\\128\\252\\243\\212\\170^\\182\\r\\194\\ENQ\\134-\\t\\205\\182\\192\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\253\\DC4W\\176\\139\\181\\210#\\187R\\130\\190Z\\199\\225o0\\194a\\EOT\\197/bE$\\255Owq\\fg\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\244Y\\ESC-\\164\\243\\237\\189y/\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\">IR.\\204\\160E\\149\\165J!\\SYN\\202{o\\172I-\\255+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\168\\130\\DC1\\244\\231N\\EM\\ACK\\NAK&\\226\\185\\SYN\\FS-\\189j \\239P\\179o>\\183\\EMu-G\\183,\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"Jz\\135(n\\ENQ\\139h\\243\\214L\\203]P\\135\\135\\225\\218Ya\\245\\&9\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\162\\245\\226m\\230\\&2{+\\218\\EOT\\141f\\139I\\SYN\\251\\195\\226\\213e~`7[s.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247d,Y\\178j\\135\\218\\&4\\224\\239\\173Ot\\228\\a\\202\\253<B\\a\\167\\193\\183\\166\\143\\bmt\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146q\\153\\r$\\133\\195\\165Q\\DC1(\\135\\&7=\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\248vN\\FSO\\SOW\\156|\\SYNa_\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\164\\186\\170\\190\\172FH\\151p\\ESC \\ETBs\\255\\150$\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\151\\250\\f\\228\\SO\\EOT*\\f\\200\\186V\\132\\153\\141\\DC1a\\DEL\\NAK\\185\\216\\197(\\248\\b\\b\\ETB\\149w\\141\\221\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\132\\v\\222\\248\\152\\151M\\143:E\\231\\DEL\\254\\236\\STX\\152.7o\\132\\182\\250A\\NULq\\ESC\\136\\243\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\135\\130\\252\\234\\&77\\206\\DLE\\173\\RS\\165)\\238\\155\\156\\ETB\\148\\200\\149\\252\\140\\245\\227\\186\\135\\150r\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216,\\215\\140\\228\\DC3\\203\\254\\205\\217\\192\\SYNV\\202\\ACKa\\159\\&9\\159\\130\\SUBN\\246\\156\\DEL\\186\\NULV\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Up#\\DC1\\191w\\\"\\b\\240\\217\\144%f\\228\\ETBy\\EOT\\ENQp\\208\\CAN\\238\\255\\158\\\\\\220\\247(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\199\\NUL=\\SUBA\\159\\161Q\\185\\179\\&7\\225s\\177\\228\\212\\202\\&3\\129w\\255X\\218F\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\192\\201\\&1\\232\\154s\\206'\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\240\\142\\&0\\229\\188\\146$\\ETX\\236\\148\\165\\159\\196\\190\\198@\\153\\\"\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"X4a\\132\\211\\SILI\\211\\ESC\\\\\\227\\200v\\169\\&8U\\139\\148\\187O\\143\\ACK\\DC1\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197|\\174\\162\\SUB\\RSS\\252\\SOH~\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\f\\167\\ESC\\242\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\253=\\171[\\212\\238\\ETX\\174\\CAN\\210\\\",\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\SI\\130 \\STXa\\142#H\\170\\a\\222A\\198\\ruG\\152\\132\\249\\174\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\NULx\\219hh\\189\\252V\\158\\NUL\\227\\SYN\\166\\SYN\\163\\184H\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\211b\\139J\\205\\\\\\243|\\252\\219\\n2\\161k\\185\\&6=@\\151\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\231\\129,\\RS\\216\\186N\\221\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\249{\\227B\\185h\\156:\\140\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\254e\\202\\ENQ\\201\\251s6\\233\\168s\\233g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\167H\\203}\\200\\164U\\159+\\213@b\\189\\237\\&5\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\SOHzgyF&(\\176{\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\178\\FS y\\175{\\250\\232w\\153&\\182#\\219\\171\\239\\220\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180X?\\176\\224|Y\\196\\139T\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\145\\139i\\223\\ENQ]\\191\\201\\246\\139\\\"S>j\\ETB\\188k\\174\\162X<K;\\ETX|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\DC1\\144\\NAK?\\b\\139\\148[\\199\\134\\175\\243\\215\\EOT\\147\\&41 |\\226\\DC4\\234LH\\157\\237\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\149\\210\\152\\152\\220\\232J\\174\\131\\191\\ETXl%\\243V!\\210\\v\\251\\244n\\249\\139\\230v\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\237\\161q*\\159J=K\\208M\\230\\147\\198\\211u\\CAN\\241{\\148X[\\140\\247d\\188\\237\\130\\162\\214>\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\n\\138\\196A\\EM(Z\\221f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANL\\234\\n\\t`\\187Q\\146\\213\\SI%#\\226\\NAK\\175\\154C\\179J\\159\\156\\206\\178\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"qk\\229u\\US\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\202_u\\129\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\135-\\174\\be\\251\\215\\197\\158\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231,\\214NnJ\\196\\DC1\\204WE\\247\\248\\221.\\159\\f\\148x\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\220\\&4W\\233\\191\\199B\\154Qh\\182\\231.\\224\\ESC\\225\\184zN9n\\201R\\240\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144D\\146\\177\\236\\213\\&7\\138\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\204\\134\\205\\168\\231\\246\\138*EM\\GS\\bu\\253\\149\\GS\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\RS\\172.v\\225\\228\\t\\GS\\246\\161\\148N\\181b^\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"f\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI5IH\\235\\214\\208\\214\\NUL\\217P\"","tag":"AbiBytesDynamic"},{"contents":"\"#y\\234\\&1\\CAN\\186\\164\\200\\162\\153F2C\\f0\\ACK\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"97152213869191376613057041840205559391918616199018607732575736907189108769087"],"tag":"AbiUInt"},{"contents":[256,"3640768485707660814017113577184420279579923180639782835404741833833726829076"],"tag":"AbiUInt"},{"contents":[256,"64313521288661764596943072386370022645316326429395205749852241581307487713722"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781053"],"tag":"AbiUInt"},{"contents":[256,"83058944761906638944032882898143683153577802517816686635879960315185441921400"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"35"],"tag":"AbiUInt"},{"contents":[256,"26804586215968935652026759310508379854248047306471691126415230908787735480512"],"tag":"AbiUInt"},{"contents":[256,"15608415298874311286825006707997330991804504229468881124448543061513385587417"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"},{"contents":[256,"114536648062071797900201883069340438255822454570742751627827846493112384515555"],"tag":"AbiUInt"},{"contents":[256,"72"],"tag":"AbiUInt"},{"contents":[256,"93373134607843797242294728112068862397708450536759567149333371933765740443336"],"tag":"AbiUInt"},{"contents":[256,"21350063510498973029958673822063488719331075148407459333008093855361261350867"],"tag":"AbiUInt"},{"contents":[256,"3603"],"tag":"AbiUInt"},{"contents":[256,"93007714514606455496489028778677905898173798845705606183729863962878350461588"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639868"],"tag":"AbiUInt"},{"contents":[256,"85034661927187090412589541617230594618188536777287516650836254170441526862189"],"tag":"AbiUInt"},{"contents":[256,"88504411851611649206113089927952752555167829667762460307968434067076253902255"],"tag":"AbiUInt"},{"contents":[256,"2532310220175991668580144144189325947113854508623186296651341512621828465335"],"tag":"AbiUInt"},{"contents":[256,"17397681508579426580792959002751897124675097437341652181067948702808031810004"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"101041960745599587258968497330729571128280662841830318065553602658163184705099"],"tag":"AbiUInt"},{"contents":[256,"1544420241053964065493036814601064040307296063663684353853822127015111599625"],"tag":"AbiUInt"},{"contents":[256,"997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035135"],"tag":"AbiUInt"},{"contents":[256,"61910292578030494480782745351245627230108194180553293098821847132293019913946"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639838"],"tag":"AbiUInt"},{"contents":[256,"82764601826596202629461059867142235466143546252660322236877969744990994181661"],"tag":"AbiUInt"},{"contents":[256,"9340478145245278233510018396578940133167029724730604711457352312071294127898"],"tag":"AbiUInt"},{"contents":[256,"96227634867667867346295563007002398954973704222819880069279236467729688222727"],"tag":"AbiUInt"},{"contents":[256,"132"],"tag":"AbiUInt"},{"contents":[256,"73412915008020263599013398881720030643061665565701121746167661590364508826796"],"tag":"AbiUInt"},{"contents":[256,"230"],"tag":"AbiUInt"},{"contents":[256,"44438583697501043617047142039659113072041662043472441093254521841319892929"],"tag":"AbiUInt"},{"contents":[256,"25163936477820483988130042338309799932610268709167161275667640681466702070642"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639884"],"tag":"AbiUInt"},{"contents":[256,"1525827825"],"tag":"AbiUInt"},{"contents":[256,"49159203805605520431402203208071998409354455361235575741703383395782180178601"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"15313363155520494491409642062932063619878268738737432131017003753918004509176"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639436"],"tag":"AbiUInt"},{"contents":[256,"92337115286959623685000616520561716039087117677266185575146788539402309242538"],"tag":"AbiUInt"},{"contents":[256,"36901433209293795962809559866112248017950228454653347487126015545418836400496"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639636"],"tag":"AbiUInt"},{"contents":[256,"21413217238486092960338289147769255221194726381997572942909773755041979717289"],"tag":"AbiUInt"},{"contents":[256,"99999997"],"tag":"AbiUInt"},{"contents":[256,"18789499132810429424620893992853797202560116491401636688407595956129710193855"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639917"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"446"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"48"],"tag":"AbiUInt"},{"contents":[256,"102971584532558264285142504266859854248505759447791407667882186871610508887087"],"tag":"AbiUInt"},{"contents":[256,"10503285806232024968338840329740210234900258019007065666803032845385581827444"],"tag":"AbiUInt"},{"contents":[256,"62374826848946545472776731204471623360751596800650320319340161801589047349804"],"tag":"AbiUInt"},{"contents":[256,"66"],"tag":"AbiUInt"},{"contents":[256,"485"],"tag":"AbiUInt"},{"contents":[256,"101"],"tag":"AbiUInt"},{"contents":[256,"317588947595080"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639933"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030335"],"tag":"AbiUInt"},{"contents":[256,"93853960100314587246989513884576962718447661923320436079412322946769779515902"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"3135894804115353870515486280596964269606580357400626492601876521384468010229"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132605"],"tag":"AbiUInt"},{"contents":[256,"110352330221340632976882647742925751586760326915923995383752715260935455374751"],"tag":"AbiUInt"},{"contents":[256,"1313373043"],"tag":"AbiUInt"},{"contents":[256,"500"],"tag":"AbiUInt"},{"contents":[256,"106569118921876765475995892388685677869649947869414475369463544043816478123760"],"tag":"AbiUInt"},{"contents":[256,"134"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"96563302575385419630133487440944928155187149693378300629337603150725222458807"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639910"],"tag":"AbiUInt"},{"contents":[256,"96547451514009769788923067221656447876307252564411281933357603228763900662596"],"tag":"AbiUInt"},{"contents":[256,"999999999999999999"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639707"],"tag":"AbiUInt"},{"contents":[256,"903"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636336"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639831"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011521"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066141","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"26975275278318768188363669946652523139293681551428168194680295155188787964597"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x000000000000000000000000000000000000000000000000000000000000201a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cae0","0x000000000000000000000000000000000000000000000000000000000000eb58"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639435"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a65e","0x0000000000000000000000000000000000000000000000000000000000006ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f96","0x000000000000000000000000000000000000000000000000000000000000136b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f1","0x0000000000000000000000000000000000000000000000000000000000001368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c8","0x000000000000000000000000000000000000000000000000000000000000e71e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639850"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e705","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"46516570215847442689690267212018130831355263644059890238555296792396570579410"],"tag":"AbiUInt"},{"contents":[256,"30214981477896585475932680845186324749284180444110060873289043338536117470697"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"46943353100399968716293144940819928475757540698701342081691228498283582549460"],"tag":"AbiUInt"},{"contents":[256,"670"],"tag":"AbiUInt"},{"contents":[256,"25588799620819634998635397500575732971892626841890076097141851355998158686091"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000094ab","0x0000000000000000000000000000000000000000000000000000000000006ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e13","0x0000000000000000000000000000000000000000000000000000000000001390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a1e7","0x000000000000000000000000000000000000000000000000000000000000133f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"27868189440079803515723559889146976665123306398626503217397732733439107967796"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000075","0x000000000000000000000000000000000000000000000000000000000000abe9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007cd","0x000000000000000000000000000000000000000000000000000000000000dcc4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"140014946607745822825416014469369419468"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff9","0x0000000000000000000000000000000000000000000000000000000000000387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x473eA6ED4dC1B33c993d3a636445675c5356Eba9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"17"],"tag":"AbiUInt"},{"contents":[8,"28"],"tag":"AbiUInt"},{"contents":[8,"123"],"tag":"AbiUInt"},{"contents":[8,"58"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005cc5d","0x00000000000000000000000000000000000000000000000000000000000012b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"7153726873879837178392863270728162158727094215279433566499209552309895312760"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e353","0x0000000000000000000000000000000000000000000000000000000000000fb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a9a4","0x000000000000000000000000000000000000000000000000000000000000202d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"93"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"29130705945835485657392296378335380776790800522055448930091014323138660862403"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fd","0x00000000000000000000000000000000000000000000000000000000000012ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf8","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"43377970017677113104329467613724568946523862911717406524373263430073270599580"],"tag":"AbiUInt"},{"contents":[256,"35375502681850950703075875370255789071758873839572441138022674691730886371787"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731851"],"tag":"AbiUInt"},{"contents":[256,"61861223872059866489033991561723302513542113236149642140842962975800008950856"],"tag":"AbiUInt"},{"contents":[256,"21053626842681471452737995243584695806296774152709540588051748870834727863281"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"10003"],"tag":"AbiUInt"},{"contents":[256,"36793892905005095567730966496278580530482510993466253808077563588322306959255"],"tag":"AbiUInt"},{"contents":[256,"134"],"tag":"AbiUInt"},{"contents":[256,"28553899486545221142928984958575597509268091643509412"],"tag":"AbiUInt"},{"contents":[256,"44163936596998772464334383639191129322133305966971864559318630852386462427319"],"tag":"AbiUInt"},{"contents":[256,"37784527997682217208918513785706655354578182671001851612091771561270096889944"],"tag":"AbiUInt"},{"contents":[256,"93361655077615921518809095008064325791518676208000798399105019886185898898463"],"tag":"AbiUInt"},{"contents":[256,"78"],"tag":"AbiUInt"},{"contents":[256,"98090316176724251437793595127173783718578786363050150548192996514619861378783"],"tag":"AbiUInt"},{"contents":[256,"86852523930017040269784737517028682783563680001583197207836552641510706760551"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"207"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x000000000000000000000000000000000000000000000000000000000000619b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000041"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"14867409514005616817143004781090216605437741151340237574520640458095469224793"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000930b9","0x000000000000000000000000000000000000000000000000000000000000001c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c433","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b504","0x000000000000000000000000000000000000000000000000000000000000c107"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"111417283997125893907229483075320063730276788856997324328310113849102315050973"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac7","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055775","0x0000000000000000000000000000000000000000000000000000000000000fb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080772","0x0000000000000000000000000000000000000000000000000000000000001342"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x000000000000000000000000000000000000000000000000000000000000ea4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"87513381042069639248638415973820944499549723122766499298245059315023049795619"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f7c2","0x0000000000000000000000000000000000000000000000000000000000006a02"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\179N\\\".\\202\\NAKayHI\\196\\135K\\ESC\\EOT\\245\\234N\\163#\\254\\160X\\245\\220g\\253}\\133\\129\\DC3\\206\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000130","0x000000000000000000000000000000000000000000000000000000000000ca0a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]