[{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"5001"],"tag":"AbiUInt"},{"contents":[256,"5001"],"tag":"AbiUInt"},{"contents":[256,"5001"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"89476271847638434257785081607839920107625441357996670515103738885021284130419"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"95842370976143548842563192888706739280793914068832012460528688979815837019124"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055779","0x0000000000000000000000000000000000000000000000000000000000000010"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"},{"contents":[256,"334"],"tag":"AbiUInt"},{"contents":[256,"13740655849887068786793610865369187186041957989000725319462312680243525030919"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb32","0x00000000000000000000000000000000000000000000000000000000000068b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000382","0x000000000000000000000000000000000000000000000000000000000000d8d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"68"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"104496143381065143253376702899312917786743217642126832683658433117514643506292"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x0000000000000000000000000000000000000000000000000000000000001273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x0000000000000000000000000000000000000000000000000000000000001553"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"49855170714908701217595480782490200136499828839658711084605357677817509134934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000130","0x0000000000000000000000000000000000000000000000000000000000000380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ad","0x0000000000000000000000000000000000000000000000000000000000002713"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609602"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e9","0x000000000000000000000000000000000000000000000000000000000000136f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892771"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ffff","0x000000000000000000000000000000000000000000000000000000000000c617"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"102809733125655246679268514959258145356035444668180014069953791797575255758740"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c436","0x0000000000000000000000000000000000000000000000000000000000008ec7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b73c","0x000000000000000000000000000000000000000000000000000000000000012f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"33421239950833033408998293489956585375939386585682863648633165143832535143588"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x000000000000000000000000000000000000000000000000000000000000139a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a923","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"1530758478"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055779","0x0000000000000000000000000000000000000000000000000000000000005daa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115430653800811758263957298516513217455710344096021951057699026787744312342167"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x000000000000000000000000000000000000000000000000000000000000004f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092206","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001389","0x00000000000000000000000000000000000000000000000000000000000000e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004652c","0x000000000000000000000000000000000000000000000000000000000000232c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"65411783900151225946316017586080733893403025966768051399024395166190966776592"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007940","0x0000000000000000000000000000000000000000000000000000000000000261"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"115629001507474474999546845578661637553344640312547140515234025777742561570432"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083445","0x0000000000000000000000000000000000000000000000000000000000000041"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":[256,"63246436694610417616315601430609632569994577287133301605908950063838382781983"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a688","0x000000000000000000000000000000000000000000000000000000000000136f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"2757835358030023911488541828519544695704053363654691308404664517593547223045"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030a56","0x0000000000000000000000000000000000000000000000000000000000003d71"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008904d","0x000000000000000000000000000000000000000000000000000000000000232a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d078","0x00000000000000000000000000000000000000000000000000000000000009de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b504","0x0000000000000000000000000000000000000000000000000000000000005ad3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427b","0x000000000000000000000000000000000000000000000000000000000000755a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030336"],"tag":"AbiUInt"},{"contents":[256,"14806254871850384086128575351766276822163970903733437056834710585097938343446"],"tag":"AbiUInt"},{"contents":[256,"52184080067972716947141362430461319867506002861046440148325733942443035786362"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008366e","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"18446744073709551616"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x00000000000000000000000000000000000000000000000000000000000009d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"98"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001389","0x0000000000000000000000000000000000000000000000000000000000000048"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"1527351471"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003937","0x0000000000000000000000000000000000000000000000000000000000007e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"111460283632115023263326464317254979885923673419249595200263070639234748852086"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c5","0x00000000000000000000000000000000000000000000000000000000000064f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052b2d","0x0000000000000000000000000000000000000000000000000000000000002434"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"4370001"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eade","0x0000000000000000000000000000000000000000000000000000000000008191"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007fff","0x0000000000000000000000000000000000000000000000000000000000004162"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"1531034315"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070004","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"110161509916433534501964245137979527061177191433358725501375992558802454027886"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f99","0x0000000000000000000000000000000000000000000000000000000000000fb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"10893809371951121410715391527426169725924218798491522002120590648743668058593"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002711","0x0000000000000000000000000000000000000000000000000000000000006a00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"1530234776"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232a","0x000000000000000000000000000000000000000000000000000000000000a8e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":[256,"66980517230911451540186103446060108778083834552725957497269264812381711669477"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x0000000000000000000000000000000000000000000000000000000000004130"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b5ee","0x00000000000000000000000000000000000000000000000000000000000012a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056285","0x0000000000000000000000000000000000000000000000000000000000001335"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035139"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b69","0x0000000000000000000000000000000000000000000000000000000000007fcc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59e","0x0000000000000000000000000000000000000000000000000000000000001021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2e","0x00000000000000000000000000000000000000000000000000000000000013ac"],"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,"17480425022146819670686215197774261791432766442236639058233097412655283344963"],"tag":"AbiUInt"},{"contents":[256,"114120124508474487648284112643561083836681433612796598587426771135415124997035"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639838"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1531776536"],"tag":"AbiUInt"},{"contents":[256,"500"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a183","0x0000000000000000000000000000000000000000000000000000000000008665"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"158"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c3","0x000000000000000000000000000000000000000000000000000000000000c064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211774"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x000000000000000000000000000000000000000000000000000000000000e59f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"231"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639889"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d29c","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"83723971174462892705346412290777121484576823587182315500824938163320060581414"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fefd","0x0000000000000000000000000000000000000000000000000000000000008ad5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054ddb","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001bbd","0x0000000000000000000000000000000000000000000000000000000000008ec6"],"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,"111199210883276574531864475395535155338641099264686306080744843261474276190934"],"tag":"AbiUInt"},{"contents":[256,"44450744786981500559145947854936278048006939092380643321958515670282015664231"],"tag":"AbiUInt"},{"contents":[256,"11533302444740362401896458037270028472663712019964473711154124165901401740971"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1530447387"],"tag":"AbiUInt"},{"contents":[256,"1530447387"],"tag":"AbiUInt"},{"contents":[256,"239345272694705719652614505458738430794"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d3","0x00000000000000000000000000000000000000000000000000000000000097ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0d","0x000000000000000000000000000000000000000000000000000000000000a4f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"10358059979386259399713162490793078158545364056995748405387287991799866340069"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072ff7","0x0000000000000000000000000000000000000000000000000000000000004b99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747165"],"tag":"AbiUInt"},{"contents":[256,"93454092999104257845293547888277628669216546893095380835794773384589180409044"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010179","0x0000000000000000000000000000000000000000000000000000000000006456"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"1999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2c","0x0000000000000000000000000000000000000000000000000000000000001317"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040a71","0x0000000000000000000000000000000000000000000000000000000000001319"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"74975249807820599786118389153330740677633311211197633450672781896464221335394"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1c","0x0000000000000000000000000000000000000000000000000000000000004297"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000296a4","0x0000000000000000000000000000000000000000000000000000000000004114"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[8,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005224e","0x0000000000000000000000000000000000000000000000000000000000003c09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\f\\195\\197\\\\X$\\192m\\194\\241Br0\\164\\241pr\\159\\&9D\\ETB<\\223\\DC4\\231Wa\\STX\\ETB\\244\\182\\128\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000385","0x0000000000000000000000000000000000000000000000000000000000006552"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639932"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf2","0x000000000000000000000000000000000000000000000000000000000000913e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"111"],"tag":"AbiUInt"},{"contents":[8,"58"],"tag":"AbiUInt"},{"contents":[8,"8"],"tag":"AbiUInt"},{"contents":[8,"38"],"tag":"AbiUInt"},{"contents":[8,"137"],"tag":"AbiUInt"},{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[8,"71"],"tag":"AbiUInt"},{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[8,"139"],"tag":"AbiUInt"},{"contents":[8,"126"],"tag":"AbiUInt"},{"contents":[8,"243"],"tag":"AbiUInt"},{"contents":[8,"54"],"tag":"AbiUInt"},{"contents":[8,"37"],"tag":"AbiUInt"},{"contents":[8,"78"],"tag":"AbiUInt"},{"contents":[8,"122"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"74"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"132"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"81"],"tag":"AbiUInt"},{"contents":[8,"8"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072ff7","0x0000000000000000000000000000000000000000000000000000000000000040"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x0000000000000000000000000000000000000000000000000000000000001315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":[256,"3308651048993886004519785308089635932675782983558769589589773951751533699413"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c82f","0x000000000000000000000000000000000000000000000000000000000000dcb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a183","0x00000000000000000000000000000000000000000000000000000000000055d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"153"],"tag":"AbiUInt"},{"contents":[8,"137"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089742","0x0000000000000000000000000000000000000000000000000000000000006552"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"4370001"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001a","0x000000000000000000000000000000000000000000000000000000000000b2e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"19039874375002287696559119292280445586338940498591327001089680164792961719632"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000598e9","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":[256,"10002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x0000000000000000000000000000000000000000000000000000000000004f6d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"51"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005cda7","0x0000000000000000000000000000000000000000000000000000000000004dcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1532308155"],"tag":"AbiUInt"},{"contents":[256,"17193028925518613399618913876808512231982872822782777299290175158815176493335"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003becd","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"106434797634438824261506308369854641138496085194108595970804010227815041769060"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000066","0x0000000000000000000000000000000000000000000000000000000000006542"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c9","0x000000000000000000000000000000000000000000000000000000000000028b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002724b","0x000000000000000000000000000000000000000000000000000000000000004a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0f","0x0000000000000000000000000000000000000000000000000000000000000051"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"12531058913400786238638320381075963878677853"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cf4e","0x0000000000000000000000000000000000000000000000000000000000008191"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"MANAGER_TAKEOVERS_FEOZRN()\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f913","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bb","0x0000000000000000000000000000000000000000000000000000000000001343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"162"],"tag":"AbiUInt"},{"contents":[8,"230"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000378d8","0x0000000000000000000000000000000000000000000000000000000000000721"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000012","0x0000000000000000000000000000000000000000000000000000000000001019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2a","0x0000000000000000000000000000000000000000000000000000000000008191"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"1534975145"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000086","0x000000000000000000000000000000000000000000000000000000000000ea7b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008578b","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093723","0x000000000000000000000000000000000000000000000000000000000000012a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002326","0x00000000000000000000000000000000000000000000000000000000000095f0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"343"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e7","0x00000000000000000000000000000000000000000000000000000000000080fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":[8,"114"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006205d","0x0000000000000000000000000000000000000000000000000000000000007840"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a183","0x000000000000000000000000000000000000000000000000000000000000e7fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"46248901228380087641952877214439549121962045132308833352900910318257847414413"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000631d3","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"36892813421654864091322418479163297891356347426127471862151738154678598927906"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010b3b","0x0000000000000000000000000000000000000000000000000000000000007e58"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046b47","0x0000000000000000000000000000000000000000000000000000000000007cc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"231"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639889"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002329","0x0000000000000000000000000000000000000000000000000000000000001397"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"43112898272886315002019170393790814712697454780372767883133893613645618710433"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e890","0x00000000000000000000000000000000000000000000000000000000000056df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"992"],"tag":"AbiUInt"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f88a","0x00000000000000000000000000000000000000000000000000000000000087a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":[256,"66980517230911451540186103446060108778083834552725957497269264812381711669477"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007346a","0x0000000000000000000000000000000000000000000000000000000000000054"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x1C310426202C49BD70225A9A660dA6019422FFcA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\212\\ETX\\168\\211?\\207\\153\\224OM\\ENQ\\SOH8\\149\\250\\169\\199\\r\\170\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164_h\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\215\\230k=4\\243\\USp\\218\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\213\\184?\\DC3\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140f\\217\\158\\245\\215-e\\180\\210\\187\\137W]\\a6\\CAN*\\188\\166\\153\\&1\\154\\131\\213~\\240\\203\\181\\159\\NUL\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159y\\226\\173\\DEL\\EM\\235\\217\\&5E\\SO\\GS\\140\\254\\f\\DEL0M\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\137`\\150\\218\\DC4I\\136\\154C\\157\\&7\\249{\\202\\234A\\248\\&1d\\203\\222\\140\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"dq\\207\\US^\\ESC\\146_\\144\\248\\205 \\170\\&3\\202VW\\131\\176#\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\140\\196\\242\\196\\DC4\\241\\199\\163c\\240\\210\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\132\\182\\t\\221e\\232`\\242\\244\\147\\&6\\ESC\\ENQ\\199\\185\\247n\\231\\RSR%A%\\229\\213Pj\\158\\187\"","tag":"AbiBytesDynamic"},{"contents":"\".*e!\\180\\176-\\166\\144\\171\\238FJ\\254\\f\\231\\DC4v_\\146\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\SYN\\247\\ACK\\176\\199\\136.\\SUB\\US\\138?IZ\\146\\231\\210\\254\\216[\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\182\\227\\205O\\175\\149\\222\\SO\\238Q1\\132\\147\\189]\\208\\197\\156\\t&\\243\\ETX\\147\\199\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\133i\\150\\&9\\145y\\168\\242a\\STX\\ENQO\\208\\239\\251\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\176\\\\/\\143F\\153\\166N8\\DC16\\DC1\\152x\\ENQs\\EM\\143\\234\\SI\\167\\215\\158\\155?'\\171%b\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\202\\167\\239\\139\\165\\240s\\206\\&6\\US.3\\192\\230\\235\\184LZ\\ACKA\\164V*\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\244\\&4&\\170%\\165\\152\\149\\143T\\US\\184piSF\\172\\199b\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\226\\218\\ETB\\NUL|}\\248\\NAKJG\\255.\\230f\\SOH\\SOHv\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\163\\252Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\219\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\162/\\152M\\226A\\199|i\\151\\251\\201\\210\\DC1cu\\228\\225\\ao\\138NdC\\185.RA:\\FS'\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\GSM\\164\\&7)\\142\\SUB\\NUL\\178{\\141-\\\\j\\187\\209\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246rj\\216.\\133\\158Mc\\159j\\138\\221\\228]\\168\\128\\138T\\216u\\246Q\\235f2\\255\\197\\141\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\250\\212n|\\228a\\253\\EMe\\\\\\n\\186?\\161J\\DC4G \\251\\249Vi\\171\\239\\195\\150\\143\\194\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"2}\\230\\tc\\STX\\146gA\\218V=\\195\\129+\\191e\"","tag":"AbiBytesDynamic"},{"contents":"\"h \\137\\206\\170f-z\\EM\\236\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233&\\DLE\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\&5\\ETX\\227\\150\\186\\213E\\SI\\a{\\200z]G\\202\\195\\150\\157\\188\\r5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142R\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\211\\CAN\\209\\144x\\DC2m\\187\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\151J\\FS\\CAN\\241\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\209\\&7{\\DC2\\130K\\174!\\226\\228{{\\190QK\\NULG\\240\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\195\\156\\203\\246\\137\\DC4\\SO\\STX\\156\\210\\247\\244\\ESC\\ACK\\163\\v\\139\\214p\\183\\\\|\\167\\178\\205Z3\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\143i\\221\\130m\\197\\DLE\\f\\EM2\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\131\\241X\\b0N\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\129\\162\\EOT(\\ESC\\196h\\165\\250}\\129\\246)i\\188O\\230\\209d\\198(\\235\\153\\168\\226X\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\154\\154\\178\\210\\166\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\231\\191\\ETX\\254j&R\\129\\203\\151\\181z\\227u\\DC3T1\\143\\172\\251\\NUL\\214/r\\191x\\182\\&1'\\175\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\DC3,XG\\206\\DC2\\142\\&4\\ETX\\166\\231Tv\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217y\\146\\226\\168\\254\\152\"","tag":"AbiBytesDynamic"},{"contents":"\".^\\n1!\\ESC\\148,\\ba\\184\\164\\DC2\\211+(\\242\\&0j>\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\242\\200\\140\\193\\176\\233\\167\\&3\\189\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"/9\\t\\245\\SI;>>\\RS\\237\\b\\207\\209Z\\168J\\140\\218Le\\DC1L\\213\\244#\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\212\\NAK\\192\\172\\171Dg<W\\242\\200\\227d\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\246\\158M\\220\\212cu\\159\\GSm\\251\\218(\\177\\229\\152\\194`\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\133\\215!\\142%\\v\\195\\163\\&1=\\192\\231\\152V\\222\\224\\STXd\\175nU\\226+\\130\\212\\156\\226\\202\\216s\\USq\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\142r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141`\\235\\164\\&7\\NUL\\n>\\225\\DC1;\\132^\\232I\\189\\179\\a\\255 5\\161\\209\\169\\147\\211\\147\\255\\ENQ\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\EM\\GS4\\228\\&0,\\209\\237\\222\\180c\\\"0\\217\\159\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151g\\NAK\\157\\240{\\242\\245_3 \\240]2\\216\\197 \\189\\ENQu\\222\\254\\244V\\184\\152\\CAN5\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\172\\213v\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\143\\214\\153\\r\\184\\&5\\220d\\SOHd\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\197\\253\\234%|-b\\129\\135(\\\\\\159\\205D\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232/P\\206@.\\239:\\202\\232\\SYN\\225\\157\\227\\RSQ\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\206\\250S\\n\\DC2\\199[P\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185R\\221\\177\\200\\r_t_\\144\\155\\141\\STXeTU\\181\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\187\\SOH(a\\243\\252l\\179$\\GSW\\227\\145*\\172\\235\\251$\\215\\193\\249\\185\\231\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"~/\\SYNa\\NAK\\GS\\175%7Y\\203\\a\\144\\243\\172\\216\\231\\167r\\152d\\134o\\224\\198\\223x\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\197V\\ETXC}Fh\\224\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\218\\212\\NUL0\\253:<\\248\\232\\EM\\177\\GS\\213\\155\\130\\168\\\"\\254\\178_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\252\\252\\143\\&5\\230\\212k\\187\\160\\165X\\221\\144\\151\\215\\219\\176\\176\\141\\167b\\164\\247~@\\133\\GSt\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187g\\134\\SYNV\\251\\&3\\187\\ns\\250\\NUL\\252y9F\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"[ppw\\FSZzg\\234\\191c\\181\\211\\190$\\229\\192:c\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231FM*\\US\\247M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242l\\177\\158\\179\\240\\193S}\\183\\205GU\\\\\\222\\172\\246\\ENQ\\172>\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH!\\213\\154\\145]\\215yUk'\\161\\163\\137\\SYN\\249\\236\\186\\136\\207@dn\\DLE\\208\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\243\\178\\237H1\\198\\248\\242\\187\\177I\\177\\140\\DC4\\\\g\\211\\DELg\\147\\180\\174\\197\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"gP\\247g\\135\\212t\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\251\\202s\\nM\\179L\\NAK\\161\\226\\DC2/e\\164d$\\145=%\\229\\201\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\197\\157\\&2a\\223\\144\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\SO\\b\\169O\\184\\226\\253m\\239!\\148\\DC2\\v\\SUB\\CAN\\208\\180\\161\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\200\\226\\175\\146Q\\243\\CAN\\245\\\"`t\\241I\\210Fba+\\202\\DC4\\178\\196\\139\\132\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH/<c\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220NO\\247\\129\\201\\SUBo\\189\\n\\229}\\162\\\"\\\\\\166t\\209Z\\DEL\\229.\\DC3y\\159\\212\\168n\\205\\DC3U\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164@\\146\\DC3\\136K\\NUL\\167\\aM\\SYN\\173\\198Wq?\\223\\204\\179\\194r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\201\\235\\GSrd\\145\\209\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"JES\\233\\160\\225\\DC4a\\219mQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186f\\237c\\210U\\223\\251\\156R\\202\\SYN\\215\\199\\206\\252\\n#;\\149 \\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\227\\252(\"","tag":"AbiBytesDynamic"},{"contents":"\"L[Z\\194/\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\NUL\\160\\246C\\244Gm\\254\\222O\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\229\\205\\246\\254\\224s\\181bI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\130\\DC2\\vk\\163\\193\\147\\221\\141\\SO\\191\\182\\143\\144\\224\\185\\252\\US\\184\\\\bf+q\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"[ppw\\FSZzg\\234\\191c\\181\\211\\190$\\229\\192:c\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231FM*\\US\\247M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242l\\177\\158\\179\\240\\193S}\\183\\205GU\\\\\\222\\172\\246\\ENQ\\172>\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH!\\213\\154\\145]\\215yUk'\\161\\163\\137\\SYN\\249\\236\\186\\136\\207@dn\\DLE\\208\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\243\\178\\237H1\\198\\248\\242\\187\\177I\\177\\140\\DC4\\\\g\\211\\DELg\\147\\180\\174\\197\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"gP\\247g\\135\\212t\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\251\\202s\\nM\\179L\\NAK\\161\\226\\DC2/e\\164d$\\145=%\\229\\201\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\197\\157\\&2a\\223\\144\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\SO\\b\\169O\\184\\226\\253m\\239!\\148\\DC2\\v\\SUB\\CAN\\208\\180\\161\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\200\\226\\175\\146Q\\243\\CAN\\245\\\"`t\\241I\\210Fba+\\202\\DC4\\178\\196\\139\\132\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH/<c\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220NO\\247\\129\\201\\SUBo\\189\\n\\229}\\162\\\"\\\\\\166t\\209Z\\DEL\\229.\\DC3y\\159\\212\\168n\\205\\DC3U\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164@\\146\\DC3\\136K\\NUL\\167\\aM\\SYN\\173\\198Wq?\\223\\204\\179\\194r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\201\\235\\GSrd\\145\\209\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"JES\\233\\160\\225\\DC4a\\219mQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186f\\237c\\210U\\223\\251\\156R\\202\\SYN\\215\\199\\206\\252\\n#;\\149 \\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\227\\252(\"","tag":"AbiBytesDynamic"},{"contents":"\"L[Z\\194/\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\NUL\\160\\246C\\244Gm\\254\\222O\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\229\\205\\246\\254\\224s\\181bI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\130\\DC2\\vk\\163\\193\\147\\221\\141\\SO\\191\\182\\143\\144\\224\\185\\252\\US\\184\\\\bf+q\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"[ppw\\FSZzg\\234\\191c\\181\\211\\190$\\229\\192:c\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231FM*\\US\\247M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242l\\177\\158\\179\\240\\193S}\\183\\205GU\\\\\\222\\172\\246\\ENQ\\172>\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH!\\213\\154\\145]\\215yUk'\\161\\163\\137\\SYN\\249\\236\\186\\136\\207@dn\\DLE\\208\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\243\\178\\237H1\\198\\248\\242\\187\\177I\\177\\140\\DC4\\\\g\\211\\DELg\\147\\180\\174\\197\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"gP\\247g\\135\\212t\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\251\\202s\\nM\\179L\\NAK\\161\\226\\DC2/e\\164d$\\145=%\\229\\201\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\197\\157\\&2a\\223\\144\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\SO\\b\\169O\\184\\226\\253m\\239!\\148\\DC2\\v\\SUB\\CAN\\208\\180\\161\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\200\\226\\175\\146Q\\243\\CAN\\245\\\"`t\\241I\\210Fba+\\202\\DC4\\178\\196\\139\\132\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH/<c\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220NO\\247\\129\\201\\SUBo\\189\\n\\229}\\162\\\"\\\\\\166t\\209Z\\DEL\\229.\\DC3y\\159\\212\\168n\\205\\DC3U\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164@\\146\\DC3\\136K\\NUL\\167\\aM\\SYN\\173\\198Wq?\\223\\204\\179\\194r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\201\\235\\GSrd\\145\\209\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"JES\\233\\160\\225\\DC4a\\219mQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186f\\237c\\210U\\223\\251\\156R\\202\\SYN\\215\\199\\206\\252\\n#;\\149 \\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\227\\252(\"","tag":"AbiBytesDynamic"},{"contents":"\"L[Z\\194/\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\NUL\\160\\246C\\244Gm\\254\\222O\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\229\\205\\246\\254\\224s\\181bI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\130\\DC2\\vk\\163\\193\\147\\221\\141\\SO\\191\\182\\143\\144\\224\\185\\252\\US\\184\\\\bf+q\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"7\\239\\153^;\\211\\134\\163\\148\\r\\192/]\\DC1A\\132s\\237|\\222f\\182\\137\\&3\\181~\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\219\\RS\\240\\133\\194g\\\\\\196\\136[\\DC1yO\\DC2=\\232B#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMJ\\153\\155\\a\\149\\166\\r\\131y!\\EOTK\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\239\\142|\\US\\185\\176\\185^S\\253\\202]\\\\\\SO\\218_)'\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\145l\\200\\GS\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\218<R\\248\\141~\\141\\&9\\133\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"HC\\249\\188s\\138\\163/A$\\163\\184\\255\\205\\&6\\253\\DC4\\ETX!\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\206R\\175\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"}1B\\138\\214~o\\DC3'L\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138/\\235\\RS\\183NSBj\\173\\225R{4\\171R\\ACK\\157\\&5+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218z\\230E\\135\\247'W\\162E\\STXB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\173\\DLEd\\DC4\\131\\216\\141n\\221:M\\129/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\DC4 \\198\\171\\210\\NULz)n\\CAN\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\253o`\\201v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189Uo\\139G\\137!3&5\\252\\234\\SO\\183\\198\\139\\224\\197Z\\SYN\\243\\a\\207\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"<Ob2\\226P\\239\\229\\187\\138\\189ER\\NAKi\\135\\155\\231\\202\\ETBy\\NUL\\n#\\137\\224\\130\\163\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204?6\\ENQ \\152\\189B\\198\\201\\DC3\\188\\163\\236\\219N}+\\189\\165v\\161\\224I\\140}\\207\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142L'2e\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"N\\EMi\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194%a/\\a\\175a111\\185\\159\\143B\\213 &\\218yj\\241\\182f\\176\\246\\159\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219i~\\181\\160\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\192\\189\\f\\SOHy&Ua\\199i\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\SO\\\\\\206\\206\\200\\191;\\251\\160\\140t\\143\\158\\151\\136\\248\\164\\148\\198|\\219\\181sc\\158-\\188\\195\\224\\227\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\201u\\248\\189u\\135\\229\\\"}!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\EOT\\149\\161\\237\\ACK\\176Q\\248\\SO\\205\\229K\\205}m\\226\\133\\192\\248\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\214\\215\\194\\204\\253\\\\O\\211z\\241\\219z\\249\\152\\147o@ \\169\\240\\191\\193^\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\233\\244\\142\\EOT\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNr\\156)Vf\\DC1~\\220\\ETX\\190\\189\\211\\238\\223\\179\\238\\221q\\NAK\\171ZO/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\246\\DC3\\184\\217}-r\\138\\164;\\193\\156=\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\219.A$\\DC1\\145\\161)9\\248\\160wU\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\218\\197\\197\\184j\\229\\213\\160\\159\\191\\r\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\218r\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"%3>\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136yg\\183@P\\202lq\\139\\206\\215\\bI\\139&J\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\199\\212\\181\\151\\ENQT\\134\\NAK\\144\\230\\132o\\210\\255\\222\\217Q\\197\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219T\\DLEt\\206\\228\\176\\150c3.\\144w\\167\\134\\174v\\200\\158T\\175\\DC2\\175\\223^IE\\165\\217\\199\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"c`\\247kz\\249\\172\\145\\a\\154\\147kr7\\144\\144k\\188w\\143\\209\\225\\GS\\210ZIu\\196J\\201\"","tag":"AbiBytesDynamic"},{"contents":"\".F\\213\\134\\237A!\\173\\v\\186\\149vA7\\\\\\182\\136m\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\251_j\\185H\\134\\255\\n\\160P1k\\208\\\"~]\\DC2<k\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"y(\\221\\244\\206\\200\\175\\158\\&33\\142\\167]\\t\\b\\195H$\\a\\NUL\\191\\ESC'\\139~g\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQG\\153\\198Q\\245;c\\v'\\DC1n\\228\\190\\DLE:8-3\\240z\\USS\\252\\227\\144\\&9\\148\\137T\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"H3\\174^\\CAN\\190\\194\\208\\194\\182d\\177!?\\199-\\ENQ\\136\\227\\191m~\\245]\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\243\\GS#@cGx\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL+h\\255\\133\\212\\f\\DC1\\145_\\135\\r/:Fq\\175,\\188\\180\\ENQN\\RS\\225\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\185\\186\\&2\\t\\199\\&2S\\133W\\255\\197\\212\\167v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\232\\227\\214T\\224\\225tg\\233\\DC2\\242(:\\186\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235M\\198\\128\\CAN\\133I\\ACK\\141\\165|s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\197\\255\\206;\\192\\SOHu\\163\\129\\ESC~\\199Y\\251\\252\\208\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\234\\245\\146\\ACK\\195n]|\\\\f\\153\\213\\174\\DC31\\193\\198l\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219GG\\152\\ETXZ\\135\\147\\SYN^\\ETB\\189\\221\\&7\\239\\249\\239T\\\\\\154=\\148\\&20\\130\\236\\192e\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\234%\\189\\212\\SYN\\181[\\203\\GS\\194\\NUL`\\188\\153(\\a\\191\\158H\\132'\\147\\RS\\200,\\191\\vF\\GS\\132\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC49\\231\\DLEJ\\214G\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\FS\\225\\192\\246~\\NAK\\170=\\228\\vP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\191\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202)Q\\216k\\223G\\NULU\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139V]i\\193\\228^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"2Z\\NUL)Pk\\219)0V\\173\\203\\249Um%<R1\\251B\\154)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\174Q7\\150\\178E\\234\\US\\187\\230\\165&x\\177\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\164\\170\\SO\\172\\EOT\\181=c\\b\\191\\250\\190n\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153/\\b\\224\\169\\246\\171t\\216t\\159\\150\\216Qt{\\DC4\\149a\\135\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\244\\248\\DC2\\216\\139\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Y\\209\\&9\\187\\222\\US\\155\\vXb\\CANd\\f\\146\\128\\194\\SOH\\US\\215\\255\\187\\216a\\211\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\167\\177\\213\\223M\\\\\\189\\239'5\\158\\162\\171-I\\\\\\155\\&6\\EMe\\148\\160*\\231\\173\\187_\"","tag":"AbiBytesDynamic"},{"contents":"\" '\\FS\\216\\EOT\\143yI\\\"\\184\\144\\149\\ETX\\208W2*G7\\186\\253\\204\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\198\\178\\172\\248\\251\\162r\\177\\&6\\STX\\194K\\243\\248\\241\\\\\\211\\192\\GS\\SUB^I\\186\\205\\136?G\\SOHNC\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"b\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231{\\177\\225\\159y\\144Uw\\134\\219=\\244Q\\STX\\NAK\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223),\\168=\\217IZ\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\199Q5\\132\\187\\235\\170\\220d??^g>\\242\\n\\176^\\235tK;K\"","tag":"AbiBytesDynamic"},{"contents":"\"y3M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134IWkqZj\\DC2\\t8E\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\200p\\158x\\255\\196W>M\\255\\209J\\131\\&7\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\192.t}\\DC1c\\224\\143\\EOT)\\168\\n\\241\\249\\163\\&9\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\167\\163;Cm0ej\\207\\208\\SYN\\217\\162\\n\\t\\193\\&7\\193g\\212\\144]:\\197bT*\\200\\202\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\177\\175o\\240k\\222h\\221?\\249\\143\\159f\\204\\231\\213\\167Q\\168Fm\\129\\207\\185\\129q\\SUB\\NUL\\194R\"","tag":"AbiBytesDynamic"},{"contents":"\"{7\\234\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\153\\233\\184\\179\\224\\238\\163\\233\\227\\181w\\210\\197e%f\\a\\166\\134\\195\\208i\\186\\186\\v|wV\"","tag":"AbiBytesDynamic"},{"contents":"\"`a\\246\\204\\&3\\ESC\\212-\\157\\225\\236(\\198\\144t\\176\\130\\ETX\\203\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\201]\\146\\231z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\222\\226b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n.\\146\\137\\180\\191Y\\131\\247r\\200\\209\\162\\185\\163\\243\\198\\&7,\\202\\181\\ENQ3\\190wDPL{\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\241\\141\\DLE\\145\\193r\\176\\250/W\\fQ\\247\\fC\\138Mf\\181U\\157\\207M\\133\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\162:\\139Q=x\\135\\DLE\\220e<\\145\\ENQ\\144mfb\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\149\\205z\\140\\\\\\171\\148\\187\\138\\EM\\181\\152\\174\\209\\n\\DLE\\148b\\137\\DC1hWH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"&W\\r\\203\\249\\193\\136<\\225Fc\\159\\ETB\\246\\143\\136j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\r%M.\\154\\193\\SO\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133ldX\\b\\197$\\135*\\144I\\212\\173\\143\\147Y\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\210\\181r\\134\\219\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\134\\\\\\RSF/4\\196\\SO\\203\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Bo\\217\\255\\150:\\n\\235a\\202\\132~H\\204\\237j#\\SO7\\143\\SUB\\193\\161\\194\\163:\\224\\171\\243##\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225(?\\200Q\\134{`6\\160\\172\\200\\DC3\\ETX\\ACK\\245h\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\165\\170\\155\\178\\141~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\249\\213y\\132\\129\\162\\234v\\146S\\203\\DC4w_\\196\\142\\173\\160\\&8\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTz\\DLES;\\136\\165\\n\\168c\\201y\\239\\&9\\DEL\\226\\EM\\238F\\175\\&4\\186M\\203\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\214\\203\\171\\139i\\CAN\\172\\SYNH\\DC1d\\218X\\f\\224\\248D\\155\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULe\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\ESC\\134\\\\\\DC2\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\196\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"AB\\245\\t\\ACK\\206\\149`\\154\\173\\197\\219\\200\\&2.\\149\\174\\229P\\164\\157\\234\\180\\216\\r\\133\\162\\129\\ESCn\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"Zy\\250\\241\\169\\162\\241\\208\\254\\136Mc\\bd\\149o\\DC3\\156\\NAK\\DC2\\145V\\NAK\\128dn\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\217\\249~\\147~.U\\NUL\\151\\SOH\\DC4\\GS4\\NULG|\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"wkf#w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\201\\173*~\\DC4\\234\\&7\\249,\\206\\223\\US\\STX+\\166\\180\\235\\148R\\200\\231\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\ENQ-\\147o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\162\\238q\\\\\\149\\DC1O\\f\\226\\244J\\226M'\\133\\218\\181\\182Qd\\130\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\250\\&9r\\200\\152\\154P\\132\\180\\211\\216\\&0M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\SI\\184O\\251\\128\\195\\197D\\176T\\141\\151p\\255\\198\\137b\\254W\\150E\\DC1\\196\\246\\STX\\239$\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\185\\211yZ\\245\\171\\152\\232\\250\\166\\&5\\ETX\\190!\\fH\\207J\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"-FO\\249\\&1?\\194\\141\\217L\\SUB7\\166\\250\\170-\\214\\RS\\183A\\FS\\155o\\254\\223\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"rG\\241,\\251\\161\\SOH)\\207\\&7x\\140cm\\192\\187\\DEL\\249\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\&6\\184<\\215P\\220\\162\\ESC\\147\\241D\\229\\f\\EM'u\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\":(I\\141\\151\\EOT%\\240\\133\\220|\\173\\&6\\201<x\\193\\251\\159s.\\228'\\ETB\\130[\\215mb@<O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\146\\242\\210-U,\\GSn\\b\\SO\\SUB?\\205\\DLEhL\\247\\180\\132\\176\\EOT0zb\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206#\\223\\214\\181#\\248\\236\\NAK\\150\\179\\164\\185\\143\\229\\200\\221\\&3\\183\\DEL~\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\133Oz\\193\\&7\\204\\212\\153'\\225\\133\\ETX\\165\\EOT\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"5K\\232\\241Tg\\157!\\175r\\149%2W\\RS\\157\\147\\138\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\199>\\EOT\\230\\FS\\131\\f\\233\\253\\a\\146\\b\\131\\197\\142\\&2\\183\\133\\133\\176/Xz\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231g\\193\\DC3\\179\\168z\\235\\199\\t\\172I\\128\\229\\209\\131\\ETXf\\255\\216Li\\222\\197Ri\\206\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CANC\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\184xE\\242\\240\\198\\168ih\\215\\\"\\237\\168\\215\\242^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\207A\\180W\\229A\\GS\\219\\215\\207\\165j!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX `\\163\\129Z\\178$'\\189H\\211ood\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\146\\ao[\\155`\\200\\138\\214\\158G\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\234x\\214\\209k\\254\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ETBW\\163\\&0=\\177/Y\\ESC\\230\\NAK\\194,V\\184?\\170G\\146hL\\DC4z\\210\\154,\\206\\132\\229\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US9\\230\\DC3\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253{\\DLE\\ENQ)\\n\\SO\\FS<\\133P:\\162\\206\\&2\\SO\\170\\252\\128\\202\\183\\197\\SOH4EC\\t\\250\\USI5\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\236g\\DC4zz\\216yT\\189\\176\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\205\\153@\\240\\&8%F\\227u\\226\\\\N\\ETBTU\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\217\\254p\\US,\\210\\158k\\213\\225\\145\\245J0\\a\\208\\171\\253\\246\\244\\170(\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158Dd`u\\163U\\178z\\141\\r\\197\\US\\236\\202\\145\\202^'h\\RS(\\ESC\\198\\DELD\\RS\\142\\233S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\233\\142\\140\\147\\239\\f\\158\\212\\191\\140\\173\\SO\\234Uu(\\EOT\\244\\204Fw\\162\\RS\\FSb\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\194\\202/\\206z\\241o\\204\\163\\137\\184\\230Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\234\\SO$\\249X}\\143`l6NRX\\142\\176S\\230\\254\\141z\\ETB9\\190\\182\\185\\226\\CAN\\184\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155h0j?L\\150\\130'\\165\\243\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128Ns\\177\\176W2\\206\\156gR\\227\\\"\\178Qs\\150\\199\\184\\\"\\150d\\179\\162\\190\\166\\207\\134\\169\\204\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"L\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\209\\157\\243\\155\\147jk\\177\\250$\\255\\STXq\\136F\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169[\\141\\SUB]V\\160\\239>\\fb1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141!\\147\\142\\198l\\252\\SI\\NUL\\186\\bv\\136G\\201\\178\\194\\171\\151M]\\164$\\147q\\215\\194y\\189:v\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199^\\156d9\\212\\164\\179\\\"\\NULHA\\251\\203\\\\\\129\\159\\ENQKtk\\239\\174\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"@p\\226D\\175Z`U}z<\\135Y\\215m&\\NAK\\213!\\SOH4)\\131\\159\\246\\142\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\222?L\\v\\NAK\\r\\n2\\200\\148\\162\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\bN<-\\231]\\186+F\\209\\177\\150\\237\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\145\\165d\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\198\\ETB\\239\\154\\188\\181\\242M\\179\\201\\EM\\143\\193`j\\EOTt\\158l\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\206\\197\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245C\\204\\175\\US\\218\\196\\FS2\\158\\160G.PP\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\194\\129WW\\201\\EM\\240*\\DC3\\149\\&3\\189\\165\\200\\157\\155\\155\\131\\128\\DEL\\184\\195qP\\198\\\\\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\163\\197\\234Ea\\152\\ESC\\b?\\FS\\196s\\236\\128\\NAK\\218D\\243\\\"4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216-\\232\\139\\173\\DC3j\\204\\140\\153\\&2\\EMT\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\157\\255+k\\144\\179\\ETX&\\201(\\NAK\\US\\224\\&1<\\ETBP\\189\\252\\180\\DLE_\\SOH\\174\\217V\\137\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\130\\195?P\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\128\\180\\183\\178\\186E\\136L9\\220\\154\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\187y\\235\\255\\183\\DC1\\195\\DC1\\148~2}\\157\\235\\236\\&9.}4 \\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\186h\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\202\\146$\\199 \\187]UB\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\EM?\\NUL\\129\\178J\\193\\250#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\SOP\\CAN\\\"\\211\\184D\\255\\154\\150\\230\\234F\\176}\\174\\159\\243\\250\\130\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243A\\NULX\\143\\208\\147\\153^\\168\\149\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"^5{\"","tag":"AbiBytesDynamic"},{"contents":"\")\\DEL\\EM\\151\\149\\184W$\\169\\181\\r@?\\v\\231\\214\\220@r\\DC1P\\220\\EOT\\177K\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"B\\251vy\\235\\179Yd\\STX\\178\\158\\248\\249O\\172|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\SI\\171#;zm\\ACK\\STX]7\\159\\236\\232\\178'\\a\\197i\\232k\\158\\n\\143\\166u\\201Q\\160\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\252*\\139\\&5\\151\\230\\154\\DC2\\250\\222\\135\\a\\NAK\\151\\153\\229~\\226\\235\\131\\188O\\243G\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\222\\f,K\\f\\192\\160\\180n\\142\\199oI\\240\\240\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\CAN\\\\\\f\\234\\144\\148\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"VN=\\152\\178LS\\\\v\\155\\221\\US\\244\\206\\EOT\\223sAR\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\196\\198\\t\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\NULe\\236\\EM\\177\\195\\146\\236F\\204\\v{6\\r\\222\\SUB\\214&=\\229\\222\\183\\174|\\196b\\205\\150\\US\\234M\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\163\\&5\\232\\196\\247\\212v\\186\\\"\\193\\&1\\133\\163\\143\\199C\\229\\GS\\165\\SYN\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\EM\\188K-\\137\\221\\DC1\\225\\219(_\\209\\140\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\217#\\172u\\245\\RSz\\254dz\\250A\\RS\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\DC1\\178\\209K\\241\\230A\\173\\189\\187\\SOH$\\DLEj\\FS\\171k\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSt\\\\\\193c^\\SO\\SOH\\f\\242\\156\\182\\246\\245\\171I\\223d\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\139<\\238\\207\\161G4@\\193{)\\GS<u!\\228\\220\\184\\181\\199H\\244?\\128\\182\\240\\164\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"[\\\\\\STX\\210o+l\\139u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\SOHZ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\NAK!u\\fu\\239N\\195\\138\\245~\\141\\220\\190\\238\\201\\DC2i\\255\\156\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"j/C\\177e\\191j\\NAK!\\144\\236\\217\\248\\198\\152i=\\238\\237E+\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\199\\164\\NAKdY\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176r\\133\\242-)\\180\\162{B\\252\\175g\\222\\150\\221\\177\\SYN\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220z\\170\\219\\&7\\188\\139\\248\\DEL6 \\184\\DLE_\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\".\\235\\217\\232\\RSd5\\189\\DLE\\v\\254\\210f}H\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\167\\&6]},;x+mr>\\201\\249\\ACK\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\182\\234\\198\\195\\&1,l=\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"uc\\223w]\\SI\\170`\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\185\\247=@\\237\\154\\177\\&9\\210_\\224\\171\\&6\\183\\187\\ETB\\129\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"-\\138e\\DC3[\\152f\\201\\229\\234&\\ENQ\\172\\&3\\246IW\\134\\199\\ESC\\SO\\131\\169Y\\205\\197B)l\\b\\169\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\222\\239p\\ETX\\178\\253\\181\\ACK7*\\222/\\SOH\\232k\\231\\DEL>\\249*M\\201\\171\\a$\\137<:\\198U[\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\216\\&5\\201\\140J\\225\\166\\139\\154\\151\\\"O\\DC4\\234\\255i\\194I\\180\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\224\\&8@\\\\\\ESC\\184\\ENQ\\246\\ACK\\175\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"102392821748929861692518917859378556148245803493741539680593041600080621875565"],"tag":"AbiUInt"},{"contents":[256,"64699383038916228216666543851029586862263828481640728362837005582361117435416"],"tag":"AbiUInt"},{"contents":[256,"43503942369304469721946406374329741597823387179233423333685238585525278010266"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062334"],"tag":"AbiUInt"},{"contents":[256,"10549809654906997121267826808316432261902438021335218061065764436720999199080"],"tag":"AbiUInt"},{"contents":[256,"324277996516235048221100033999136216340"],"tag":"AbiUInt"},{"contents":[256,"8"],"tag":"AbiUInt"},{"contents":[256,"89384442006444587303338563298566883663584295929879363083724144606511255192049"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636338"],"tag":"AbiUInt"},{"contents":[256,"54371407387769848058275136352952805401210796651353781076405283628423686921309"],"tag":"AbiUInt"},{"contents":[256,"1345322536963781431154732906583735008944127217225991116885053027622825776466"],"tag":"AbiUInt"},{"contents":[256,"93612325577407751617805851059970343154552362889713624409315514033468501176580"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"82939930755355604724390809652795319583649883613283859649321440564559062843904"],"tag":"AbiUInt"},{"contents":[256,"1527927800"],"tag":"AbiUInt"},{"contents":[256,"1401430431631653776975429282456207875364617388447201410520102616142911867408"],"tag":"AbiUInt"},{"contents":[256,"14122429544599131333665469835462401513070733458847516025880346447619839454572"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011517"],"tag":"AbiUInt"},{"contents":[256,"800"],"tag":"AbiUInt"},{"contents":[256,"507"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"3448333458237411128073393370010623949012639162985315910745544485310347565957"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417344"],"tag":"AbiUInt"},{"contents":[256,"31115834324113556011038597535659227552572624820509509619183353692311272227176"],"tag":"AbiUInt"},{"contents":[256,"36005042618448816325785132947177221427271687216217413562549389766334495797210"],"tag":"AbiUInt"},{"contents":[256,"1534122947"],"tag":"AbiUInt"},{"contents":[256,"1533653972"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"7880506"],"tag":"AbiUInt"},{"contents":[256,"7880506"],"tag":"AbiUInt"},{"contents":[256,"7880506"],"tag":"AbiUInt"},{"contents":[256,"7880506"],"tag":"AbiUInt"},{"contents":[256,"7880506"],"tag":"AbiUInt"},{"contents":[256,"7880506"],"tag":"AbiUInt"},{"contents":[256,"7880506"],"tag":"AbiUInt"},{"contents":[256,"7880506"],"tag":"AbiUInt"},{"contents":[256,"7880506"],"tag":"AbiUInt"},{"contents":[256,"7880506"],"tag":"AbiUInt"},{"contents":[256,"86063675042886754113566194056114777898372233845985939583905361312049109821034"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"9004"],"tag":"AbiUInt"},{"contents":[256,"17192180612822176841977107404886251688874672216600444356694209391177162545377"],"tag":"AbiUInt"},{"contents":[256,"1534994875"],"tag":"AbiUInt"},{"contents":[256,"88963935546922650718481815934547933832946696783771303374609603105661379851435"],"tag":"AbiUInt"},{"contents":[256,"1529869150"],"tag":"AbiUInt"},{"contents":[256,"98"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551612"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"297"],"tag":"AbiUInt"},{"contents":[256,"93860652145325797864260440079750569872529908804532918630836580290556294270443"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999999"],"tag":"AbiUInt"},{"contents":[256,"10003"],"tag":"AbiUInt"},{"contents":[256,"89583404485372802842492830344954970874626419086036437988398987169680729855810"],"tag":"AbiUInt"},{"contents":[256,"39832235438415704843539561493164988984117539981183007061771862400559757579425"],"tag":"AbiUInt"},{"contents":[256,"49092369054761049185818420625594683742"],"tag":"AbiUInt"},{"contents":[256,"43718854317655809178615452363748103649705398378838326423289037715353228532558"],"tag":"AbiUInt"},{"contents":[256,"15125840779951258938564549118627321776000410975930073258012395301125545027952"],"tag":"AbiUInt"},{"contents":[256,"75203669361659051535862918155242002557169759932621946245105123626347863465371"],"tag":"AbiUInt"},{"contents":[256,"106703324843736387574340335680008746807398283808923732291788520498766776743643"],"tag":"AbiUInt"},{"contents":[256,"51080959680998051851184680616163931648980126865839229331966314304573651674194"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"82496645278680309930391741982592373502911705132081445929163717688412676057927"],"tag":"AbiUInt"},{"contents":[256,"112426726059082415349742491627201296658487261607790256429288293359993861511626"],"tag":"AbiUInt"},{"contents":[256,"1527204094"],"tag":"AbiUInt"},{"contents":[256,"54186102975656881418287187152350262428538162032922623286049131853035557925888"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628416"],"tag":"AbiUInt"},{"contents":[256,"159"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"50271894632901689484023490492441897748592016679469332075291594187160859931273"],"tag":"AbiUInt"},{"contents":[256,"76905013926479730117609930725763208668005042848357037218547666370978114800897"],"tag":"AbiUInt"},{"contents":[256,"998"],"tag":"AbiUInt"},{"contents":[256,"1531558025"],"tag":"AbiUInt"},{"contents":[256,"109921861534961398943834434485944730490532402644499949270896080544339463737583"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639843"],"tag":"AbiUInt"},{"contents":[256,"62264957560999904350894399646368370193419638813453489771853700544056705412520"],"tag":"AbiUInt"},{"contents":[256,"66938797852540576245615623105365673332904934515889973896393414122179360521968"],"tag":"AbiUInt"},{"contents":[256,"1525707365"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634934"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"41272803001024746889682676343988772731378312613641541137896770881128272522331"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"88110806641091133151049149169496232473098424445234985347830734786219494747895"],"tag":"AbiUInt"},{"contents":[256,"30127710978419677225884008667104712499145336446758801737267352515892450761926"],"tag":"AbiUInt"},{"contents":[256,"386"],"tag":"AbiUInt"},{"contents":[256,"52114141787093450321071418374696291621061361611544745036333325770431062622654"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635934"],"tag":"AbiUInt"},{"contents":[256,"3011208552632656314714176734623029659197119824870335091715783860612904998016"],"tag":"AbiUInt"},{"contents":[256,"79097936390331880285975073833728379829401660343946935116112030748932003912754"],"tag":"AbiUInt"},{"contents":[256,"37792330290929402989504011813555927546558326538831833024381273613337327888976"],"tag":"AbiUInt"},{"contents":[256,"788"],"tag":"AbiUInt"},{"contents":[256,"1531311673"],"tag":"AbiUInt"},{"contents":[256,"36746910411977687298500372227952804550878267729721915447825352191559235416358"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1532735370"],"tag":"AbiUInt"},{"contents":[256,"49863117271777681067146412425164693833654646967785558283909767148822999772313"],"tag":"AbiUInt"},{"contents":[256,"64211292836476455717922400546507017063290026557889890685403419157191497935431"],"tag":"AbiUInt"},{"contents":[256,"213659748864963554927100549428475796056"],"tag":"AbiUInt"},{"contents":[256,"83234856579910344591435851978470916928353634538229378485054406614755225945656"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639938"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"93635856442992310297985451526391315998990890372637245548831962533575769901768"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211774"],"tag":"AbiUInt"},{"contents":[256,"25788683427783057209585509666345777127462659327939098388005653247529750616449"],"tag":"AbiUInt"},{"contents":[256,"14931857374547705125533470790399121093747461209734038008076887232728095898795"],"tag":"AbiUInt"},{"contents":[256,"54082215061824448690451727751322101879032488648434974831020062175990982577192"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062339"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832825340627"],"tag":"AbiUInt"},{"contents":[256,"50042750583433620932994559423467656202801424795138805409183534230490679556520"],"tag":"AbiUInt"},{"contents":[256,"1350467414415917635113774395331211501985775008124239953170569699805416310669"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"103383205528182656456963989752455268436742501977521913493978914599929195039229"],"tag":"AbiUInt"},{"contents":[256,"1527419092"],"tag":"AbiUInt"},{"contents":[256,"596"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637933"],"tag":"AbiUInt"},{"contents":[256,"1528552624"],"tag":"AbiUInt"},{"contents":[256,"47066793427332459702709017686415656501059675690102414283376216533240142533622"],"tag":"AbiUInt"},{"contents":[256,"70329423376297940543443831499270606910501141359796409408435968991065096143907"],"tag":"AbiUInt"},{"contents":[256,"1527204094"],"tag":"AbiUInt"},{"contents":[256,"1527204094"],"tag":"AbiUInt"},{"contents":[256,"1527204094"],"tag":"AbiUInt"},{"contents":[256,"1527204094"],"tag":"AbiUInt"},{"contents":[256,"1527204094"],"tag":"AbiUInt"},{"contents":[256,"1527204094"],"tag":"AbiUInt"},{"contents":[256,"1527204094"],"tag":"AbiUInt"},{"contents":[256,"1527204094"],"tag":"AbiUInt"},{"contents":[256,"1527204094"],"tag":"AbiUInt"},{"contents":[256,"1527204094"],"tag":"AbiUInt"},{"contents":[256,"1527204094"],"tag":"AbiUInt"},{"contents":[256,"8159769778290276206922466603786988918082019363563788879047859689911765835205"],"tag":"AbiUInt"},{"contents":[256,"9999"],"tag":"AbiUInt"},{"contents":[256,"82421861887007661100722170507488252701649762884706963225052231889414125973772"],"tag":"AbiUInt"},{"contents":[256,"5729380275624117161640789890731899732252361123162292142408485855162109415639"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088319"],"tag":"AbiUInt"},{"contents":[256,"1530234776"],"tag":"AbiUInt"},{"contents":[256,"91401135432729019823014836151780506791438516009206795324637262122762128763006"],"tag":"AbiUInt"},{"contents":[256,"23190386932263114699208292212512176755250426163792153308971637520932337986241"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638935"],"tag":"AbiUInt"},{"contents":[256,"7984982287580738733463865619554052398512272095550720778684672903"],"tag":"AbiUInt"},{"contents":[256,"1533632887"],"tag":"AbiUInt"},{"contents":[256,"35624825483291968181905906213034588118205337627263318456798967484844876537806"],"tag":"AbiUInt"},{"contents":[256,"1529424838"],"tag":"AbiUInt"},{"contents":[256,"44816290214942815361791645043245449674575034028069235143977038144259518954502"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2e","0x00000000000000000000000000000000000000000000000000000000000095f0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"25721863908199688438490481679979046986365570147609453428494611073011331095048"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523ff","0x0000000000000000000000000000000000000000000000000000000000008ec6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e761","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a1a5","0x000000000000000000000000000000000000000000000000000000000000d4ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]