[{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"6133640302375049613942916743812745686581166919762481483637462694410087786146"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f38","0x000000000000000000000000000000000000000000000000000000000000135e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"151"],"tag":"AbiUInt"},{"contents":[8,"59"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081c43","0x0000000000000000000000000000000000000000000000000000000000001020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0xc4B392897650c72335bA2aa590934C807F3B184a","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ef","0x0000000000000000000000000000000000000000000000000000000000006a01"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x00000000000000000000000000000000000000000000000000000000000000ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"48546452612163338763457795085945893959262914469052458925965165147125749075738"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037272","0x000000000000000000000000000000000000000000000000000000000000d9d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"70"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"67607444769140243730688825968064310362842293497392026187372246049688462381860"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c9","0x0000000000000000000000000000000000000000000000000000000000008665"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"1004591383199234071202732191545052646142651209278412658049048434016477741863"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005fde1","0x000000000000000000000000000000000000000000000000000000000000b0d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"66435377850231960703605412290892642874192722070326537956222428401450771497716"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a0b2","0x00000000000000000000000000000000000000000000000000000000000006fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5f","0x0000000000000000000000000000000000000000000000000000000000000223"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiString"},{"contents":"\"actor has nonzero maxMint when strategy is pausd\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"110472077784330185798405593542165975685040844508295735936549918688004916317119"],"tag":"AbiUInt"},{"contents":[256,"1531319312"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"682"],"tag":"AbiUInt"},{"contents":[256,"236"],"tag":"AbiUInt"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000858b9","0x0000000000000000000000000000000000000000000000000000000000007861"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1536054148"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081ed3","0x00000000000000000000000000000000000000000000000000000000000046cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"80987268725675598552116300932994519133129528446293332636788885383098592247898"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071c8b","0x000000000000000000000000000000000000000000000000000000000000cc26"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"\"m xWithdrawAsShares !=amaxRedeem\"","tag":"AbiString"},{"contents":"\"\\186\\154\\191\\169\\169\\220\"","tag":"AbiString"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"13050310832143059032077963330971367058071016838125782010553095849939180507873"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"142"],"tag":"AbiUInt"},{"contents":[256,"29445324505170363235617714525409198377784526655820917476722245109987995329678"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016298","0x000000000000000000000000000000000000000000000000000000000000821a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"158"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029b0f","0x00000000000000000000000000000000000000000000000000000000000089fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"83"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073d2c","0x000000000000000000000000000000000000000000000000000000000000a518"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1249733019701685273218172827101445981353093594981506047"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025cfc","0x000000000000000000000000000000000000000000000000000000000000797d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"23"],"tag":"AbiUInt"},{"contents":[8,"37"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021e81","0x00000000000000000000000000000000000000000000000000000000000001b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"109142756945413910462174653613520458666540850616890352228779700689344957226775"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000106","0x0000000000000000000000000000000000000000000000000000000000005e0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"25546629990521256486431029082561125834431922758488052425364342809729497365821"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072077","0x00000000000000000000000000000000000000000000000000000000000035d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"76185106401518145141443861449675039882973116654579695505428349458416670386111"],"tag":"AbiUInt"},{"contents":[256,"4415606252079317907351217650049645131820597003513810493787840485605365433653"],"tag":"AbiUInt"},{"contents":[256,"75193310949899003803075653931316009690585331723928280915611277382563107005829"],"tag":"AbiUInt"},{"contents":[256,"1536746083"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004070b","0x0000000000000000000000000000000000000000000000000000000000004e5b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\NULUPER_ORACLE\\NUL\\NULS\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000065","0x0000000000000000000000000000000000000000000000000000000000000a60"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"70266855932424159467716400131172359273580075874297475924611596336347930513477"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000285a8","0x000000000000000000000000000000000000000000000000000000000000ad53"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"162956354227624251373343493899369060516925567103336"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000465ec","0x000000000000000000000000000000000000000000000000000000000000c934"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"9071589403667754698679777714202477886586397474841213624398062722976224958191"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000374","0x0000000000000000000000000000000000000000000000000000000000009dfc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028928","0x000000000000000000000000000000000000000000000000000000000000004f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":[256,"1529902943"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089bbf","0x000000000000000000000000000000000000000000000000000000000000a271"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cd54","0x000000000000000000000000000000000000000000000000000000000000db5b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"40318645418799303933829329543192540172936257072954489639167469186934165695420"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b03d","0x00000000000000000000000000000000000000000000000000000000000062e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ff9e","0x000000000000000000000000000000000000000000000000000000000000713d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"1530316731"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019018","0x000000000000000000000000000000000000000000000000000000000000cedd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e930","0x000000000000000000000000000000000000000000000000000000000000c98a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"PERMIT_DEADLINE_EXPIRED\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d5c8","0x00000000000000000000000000000000000000000000000000000000000018dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087980","0x000000000000000000000000000000000000000000000000000000000000067a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"15286106"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ee40","0x000000000000000000000000000000000000000000000000000000000000b303"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000079071","0x000000000000000000000000000000000000000000000000000000000000a919"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ee61","0x000000000000000000000000000000000000000000000000000000000000dfbf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005fa2b","0x000000000000000000000000000000000000000000000000000000000000d25f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"55"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021a77","0x0000000000000000000000000000000000000000000000000000000000006ccc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029be5","0x00000000000000000000000000000000000000000000000000000000000056f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"22821157379268608225323094752251548146318253029958956970430137855569693369850"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006bf57","0x00000000000000000000000000000000000000000000000000000000000091e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000467c4","0x00000000000000000000000000000000000000000000000000000000000017e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"115514618882889994477119633046016476894636843912211657471222246722768829132770"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065a2c","0x0000000000000000000000000000000000000000000000000000000000000fb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639858"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038829","0x00000000000000000000000000000000000000000000000000000000000001ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"147"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1534069368"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000686a0","0x000000000000000000000000000000000000000000000000000000000000c1d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"58"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c924","0x0000000000000000000000000000000000000000000000000000000000008fb3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"45891650175044662541602958606337142654424437120897336979317959478349891423684"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ba4a","0x00000000000000000000000000000000000000000000000000000000000001cc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"73493792615608008732362486347595533026788207656029732562579885714979426344760"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000716a4","0x000000000000000000000000000000000000000000000000000000000000ca5e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"85870841132600750091796014658257397918127122711561424149792567130405221064389"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003ebf0","0x0000000000000000000000000000000000000000000000000000000000002be5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"1545260025"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b5ed","0x000000000000000000000000000000000000000000000000000000000000da95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"1534920563"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000526b","0x0000000000000000000000000000000000000000000000000000000000009c27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"80678068464371849763694348625369672829270776767562392863347161481508530258619"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b5b7","0x000000000000000000000000000000000000000000000000000000000000c9e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022de7","0x0000000000000000000000000000000000000000000000000000000000001e20"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"5326847110056302828591434797454286121899375856656350038529466983873400682795"],"tag":"AbiUInt"},{"contents":[256,"247988514236366511545292263555733499774456308169277654413933253885743925363"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"57092915811412700093674739490307723611194508806493660049459525375979729388783"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211775"],"tag":"AbiUInt"},{"contents":[256,"88475882687107721664846408869323775706647947315820134016672076105240943748463"],"tag":"AbiUInt"},{"contents":[256,"13033434844836275736526621390878647736243653378225301111148882877415021530728"],"tag":"AbiUInt"},{"contents":[256,"85322780317616919765896491918029704316349426216980110983067628412430272279543"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"},{"contents":[256,"1313373038"],"tag":"AbiUInt"},{"contents":[256,"61504430903464375684021586423804562957983365268578057103373367013696195018434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858884"],"tag":"AbiUInt"},{"contents":[256,"74117156562489969874984556387546143178027001679981212222897771129128612545931"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000001"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507325"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689597"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"62516552559156751816229582051840285612683209925447542062729831288576733549492"],"tag":"AbiUInt"},{"contents":[256,"28565636049865036744053782440049933701102985810570661064772418678426678375625"],"tag":"AbiUInt"},{"contents":[256,"84366654990083895916526974745422264234058145223483103378754089734271642871082"],"tag":"AbiUInt"},{"contents":[256,"76281670760550441118343854991352050075722085800275471889283889427443800019778"],"tag":"AbiUInt"},{"contents":[256,"60720360220678837927113987589136673378585736112230397560853056963714038067407"],"tag":"AbiUInt"},{"contents":[256,"21215409046603451092366095996979674325949514961659224565115999692664790879117"],"tag":"AbiUInt"},{"contents":[256,"2000002"],"tag":"AbiUInt"},{"contents":[256,"84881323691440382976139615797805440746235899271546452180186219986963296666717"],"tag":"AbiUInt"},{"contents":[256,"87544300288093062120859307921274478929232902462642243918108323826848658581796"],"tag":"AbiUInt"},{"contents":[256,"460311870308093054116607539322904159529580735289966303299"],"tag":"AbiUInt"},{"contents":[256,"37087184266107560098908331842469060432087588261433689"],"tag":"AbiUInt"},{"contents":[256,"392"],"tag":"AbiUInt"},{"contents":[256,"117"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639898"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639866"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"11680223299395458517971732330381976936249373522320542235662633136569414101781"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c9e9","0x000000000000000000000000000000000000000000000000000000000000d16c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000000000005b3a6bd1"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x4cCe781dd5fb70E22ebaa9325dB9814A41059839","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"%Ny\\129s\\DC1\\249\\139\\209ZCJ\\228\\240?\\210\\170\\173\\DEL\\164\\128$\\212\\144\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131k\\250\\207\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167!\\245;\\172\\183\\194\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\130\\239hv`w\\DC1\\243\\167\\DC4\\191+\\\"Y2o\\179O\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\250\\214\\145\\158p-\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\186it2B5wTa\\226\\187\\190\\186u\\198V\\167\\197zt\\239\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\247\\178\\NAK\\EMG\\251A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136/\\ETBi\\STX\\198Y\\137\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\197\\252\\234FQ\\204\\NAK\\254\\248\\SI\\DC3\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142V\\185\\184j\\242\\144\\152\\198\\&2$y\\255:\\153\\213`\\225]\\224\\142\\213{\\140\\250\\253\\&2\\EOTEm\\171T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\SOH\\238\\243\\178\\SYNvvg=\\148K)0\\US\\152\\182\\ENQ\\199\\DC4F2\\148\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\US\\217{,^\\182Q\\211\\133.\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\171\\145^]\\189>\\143B\\148O\\RS\\236\\EOT%\\128\\&5\\161\\183\\ESC\\186\\147ZFLo\\n\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4M\\245*\\\"'\\156\\227\\as\\138L\\ACKAV\\DC3H\\201\\233H\\NUL\\145\\245\\251v}\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\192\\224\\223&Ys\\NAK\\\"\\SYN\\186~\\163\\178W\\178K:\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\&7\\\"\\235Wt\\153\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"BM\\181\\221\\221\\176\\194\\128\\&7\\175\\206\\FS#\\DC3\\133\\249\\166\\202\\243\\205F#\\185\\133\\vF\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\221\\222\\169?\\\"%\\230ru\\162^?\\SO\\243\\223\\213\\185\\222\\190\\250\\205\\SO\\186\\181\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197dz\\245\\211\\173\\bf\\189\\218q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\148\\228\\196\\249\\244\\144CaP,|\\147`|4\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\170o\\144\\207\\147?\\193\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\179\\180\\200\\r\\148\\254Q\\138]\\148\\162\\193\\ETB\\DC4k\\224\\RS\\ETB\\DC4K\\192\\212\\242\\US\\244\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149C\\214\\SI\\224 \\211\\US\\EOT\\NAK\\166\\131\\173\\181\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\&0\\133\\219\\226\\132\\140\\\"\\175\\217\\183\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\170\\STX\\195\\NAK$o\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\241By\\132\\146q\\229U_\\184a\\RSD\\186\\SOH\\235\\187J[L\\167\\205\\157\\170>d^\\220\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184z\\148\\161\\236*\\178t\\128\\235\\212\\186\\200[Z(\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\236c\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217x\\160\\239\\v\\188d\\245\\RS\\ENQ\\191\\135\\155\\214\\US\\208\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\246\\r\\235\\228s\\135\\209\\175lM\\DC3\\234P\\218\\ACK\\SYN\\219\\250/\\210\\&5\\174\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\253\\143\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b77u\\128\\a\\SO\\147\\176Jk\\162\\&7K\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\182I_\\SOy\\253\\b\\NAK\\164\\169BY\\253\\252oz\\251\\192l\\STX\\US\\177\\DELT\\137\\195\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\156\\NAK\\184\\219\\245\\236[8\\142\\164\\SYN7\\231q\\246\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\179aVm\\174\\189\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\253\\225\\171!qS\\232\\250\\&8)\\168\\197\\EOT\\ETB7~\\254\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\&3/\\201:t\\163\\141\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\152\\219\\246\\249^71\\a\\198\\221\\ETB\\202\\202\\\\O\\253\\f\\143\\SYN\\210\\213x\\246&\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"uRY\\t\\145\\203\\&6\\252\\DC4D)\\141>c\\187\\DC2M\\154O\\252\\187\\v$Pi\\SIN}|%\\SO\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\244WwP\\218\\255\\168@\\203\\157\\179\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\138\\&76\\163(\\RS;x\\162Mp=\\244\\207\\129I\\US\\SIj\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"cr\\169\\&6\\153i\\138+\\204\\SYN\\243\\130{t\\vi\\167\\b\\158\\188\\n\\173,\\DC3\\CAN\\DEL\\224\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\DC3\\148\\207Pi\\SI&k\\203B\\162\\STX\\SOH\\241\\140\\ACK\\212\\&3\\NUL_\"","tag":"AbiBytesDynamic"},{"contents":"\")%\\194\\ETB\\139\\236UAx),[\\130l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCw\\SO\\229\\174\\bJ\\255\\214\\140\\144\\DC1|\\187\\146\\n\\251<\\188\\178\\150:\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\199\\DLEk\\t\\165!\\208\\&6\\233\\136\\&8\\217\\SI\\253m&q\\CANIE\\185\\196\\EOT\\t@\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\230\\230d>\\129\\220\\&6\\131\\CAN*\\209D\\242\\244\\b.Y\\253\\144\\USZ\\ESC\\146\\130\\146H|\\137\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147A\\EM$\\227\\131W\\139\\177&\\229\\214\\217C\\227\\255\\v_\\STX\\a\\144\\202BM~6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\DC4\\214\\US\\227\\235)\\249\\236\\237]\\171x\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"'oL\\162&\\b\\246\\NAK\\149+/g\\169\\248|\\183H\\149\\195\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\GS/\\174!\\245\\220\\151\\ESC^T\\145SV\\185%\\245u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\&8\\NUL\\CAN\\237\\184_\\DC3Y\\163^gr\\197z\\206\\144S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\SO\\ENQ\\222<\\194\\192\\132\\211\\180j_\\214\\209\\&5P,\\129\\&9\\184lZ\\161\\140.d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\DC2$\\171'\\249\\DEL\\248/\\219E\\EM-\\187R\\171\\227CiK}\\SUB\\ETB1yX\\SYNS,\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\&79\\184W\\209\\171|\\222O\\163\\241\\201\\&1\\150\\175\\213\\214\\ACKN\\162\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\131\\247fk9#\\155|\\STX\\202\\231\\157:\\179\\229\\212\\222q\\178Q!J\"","tag":"AbiBytesDynamic"},{"contents":"\"Uv\\NAKl\\197\\165\\208\\SOHE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\169i\\222\\DC3!\\FS\\224\\DC2\\223\\170|\"","tag":"AbiBytesDynamic"},{"contents":"\",\\134\\138\\241\\207\\142\\198\\219\\FS\\DC1\\SYN\\141\\194\\164\\236\\131\\132cx-\\226+3$Z\\231\\182\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"ft\\171uUh\\NUL\\224[\\152\\156\\FSo\\169!\\164\\208\\&3D4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\&6\\137\\162<'\\FS-).\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\138\\178\\CAN\\196\\189\\219f\\ACK\\188+\\249|\\224\\208\\145\\217t\\238\\250\\140\\189*S\\248\\145T\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"$oM\\232R\\147\\195dyB\\DEL\\211\\242Y|\\222`\\ENQz\\207\\243\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\129\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198[=7\\210\\219\\&6\\199\\a\\186\\251j\\136\\147\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"YD9\\246>U3\\239\\ENQ|y)\\169\\211zD\\171\\140\\DC2\\179O`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131L\\164\\185\\251\\213\\168\\n\\217\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\GS\\182\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\191+\\DC3\\239f\\ENQ@l\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\152\\197\\243\\178\\153\\a\\RS\\163\\228\\214\\190B\\211\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\193\\245E\\DC4\\254\\NUL[\\FS_yd\\b\\244q\\236\\128\\205\\USs^#\\182\\185\\217\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\224\\&4\\US\\SO\\155\\191\\230\\253N\\212\\200\\156\\206\\216,\\134\\&4b\\182x\\137\\173\\DEL\\144\\177\\163\\233\\199\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155Bt\\150cu\\224\\196\\135\\&4+\\181M\\238\\189\\179'\\188\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\t\\159\\169x\\211\\147D$\\146\\b\\SYN\\234\\139\\133\\129\\185\\180@K\\249\\160\\DLE\\ACK5\\NUL\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172M!\\FSU\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"B|\\131w\\128\\227\\236\\US4\\r\\172\\&7\\SI\\228MIk,\\141v\\200\\220J\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\177\\170*1|F\\EM\\199\\202\\161\\SOH\\180\\212_mOvd\\nV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\148F\\DC3s\\247\\201\\137\\138\\237s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\248CZo\\216k\\n,\\205WudWhr\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\" ;\\SO\\175\\244\\n\\190(R8*\\131\\128\\151\\217\\133W\\EM\\241\\174\\DEL\\t\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\185s\\167\\ETX\\134T\\236%*F%\\240s\\192\\246\\173s\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\189\\131\\147C\\226\\174y-\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136s0Q\\ETB\\242|3\\212~\\208\\168.sB\\vg:*\\128\\131\\215Q\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\DELW\\135\\138\\129\\162 \\244\\185@\\131\\247\\146\\229\\173\\169\\191\\249,\\128l\\144\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\162\\STX\\RS\\172\\ENQ\\255LK\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\213\\217\\247\\a\\243w\\221\\206\\206\\208\\180\\235x8ie\\128\\208\\207\\238l\\154g\\230\\171 \\199\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\DLE\\195\\254\\227\\v\\186\\nB\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181V\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252$5\\ENQ\\186\\131\\252\\142U\\172\\185\\204\\154\\DC4m\\181!\\nh\\129\\EM\\150m\\186\\207-\\188\\168e\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"tl\\131E\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\239F\\NUL\\189\\ETB\\192%\\196\\142mQ<F\\t\\CAN\\217\\251\\149m\\221\\223\\210\\215\\188 \\157|\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\CANlO\\248]s\\162\\211\\246\\139\\225\\ACK5d)\\151\\207\\180\\231k\\207u\\246\\DEL^q\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\230\\242\\238\\169`\\221\\155\\149\\244\\212i\\a\\142R\\235\\146\\DC1\\244k\\251\\\"\\193\\&4TP\\254U\\152\\223\\199\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\239\\STX\\154\\211\\243`=\\198\\237!\\238M\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\252\\&6N\\GSu\\170\\245\\141\\132\\175\\208\\168\\150b\\178[\\174\\194F\\225\\171\\172\\v!\\161\\\\a\\165OH\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EMS\\n\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\216\\184\\148\\205\\192\\SOH\\174B\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185->\"","tag":"AbiBytesDynamic"},{"contents":"\"I Ew\\190\\ETBp?\\150b\\171W3YS-I U\\201\\227\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182:\\237\\137\\195\\STX\\196\\249P\\CAN%+AX\\218\\FS\\SUBS\\254\\rNE\\151\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\al4\\204uZ\\200\\219a\\ETXz\\205\\200\\186-\\236\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\227\\185wO\\180\\160\\250\\243[\\138\\145 \\DEL\\175\\225_\\146X\"","tag":"AbiBytesDynamic"},{"contents":"\"Rm\\164\\249\\145\\159\\&0\\v\\f\\231X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\173\\ETB\\227\\194\\157\\235\\203\\SOHH\\135r(q/\\214.f\\154B/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\ETX6\\225\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\204T\\237\\254F\\144'\\179\\173X\\DC3\\224\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\136\\190\\254\\253USUf\\217\\171jEB\\SO(\\183\\177.\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\245,\\144\\200\\170\\SIse\\137%\\206JI?G\\204\\243o\\147\\178\\b)\\219cV\\231N\\246{\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"o\\142w_\\134l\\DC3\\\\%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ACK\\\"$\\171\\SI\\173\\155\\214\\232\\157%\\163\\ENQ\\242\\r\\220\\DC2\\235\\255j\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"Ak\\185\\187t\\196\\vP\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\206\\t\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"q,O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\142\\234bmd\\214\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"a&D\\235B\\130\\233\\r\\128\\SOHG\\219\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\163\\SOH\\FSDY\\166)0\\DEL3\\v\\ACK\\133\\130\\131\\133zR\\238.\\237w\\186\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"<R\\154x\\189\\131.\\222Ec\\DC3\\132\\&9\\178\\205.5\\145b*\\163b\\131\\166*\\248\\237C\\217S\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\195nX\\171'\\142\\129\\170)p\\204\\248\\139P\\158\\228\\210\\ENQ\\ETBc\\EM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\226\\160C\\223\\137\\ETB\\ETB\\184@C\\237\\147\\EOT\\b\\\\\\185\\137\\141\\200\\168\\225\\188f4\\al\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\228\\ESC!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"-C\\233\\143\\DC1\\212*\\146R\\143\\185A\\251}LZ\\\\w\\CAN}\\186\\161\\151\\236r]!\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193f\\227\\172\\135r\\152\\210X-\\GS\\SYN\\235.F\\145\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\158KA\\213\\217\\153\\136\\143Uu+\\234\\151{c\\179:Ws\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239uu\\222\\&7K\\190\\156\\147\\188RL\\n\\FST\\206\\248\\255\\\\\\154\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\&6\\205A\\217\\227\\USA1\\138\\230\\251hUx\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Y\\237\\142*\\133\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177~\\226\\237\\160y\\154\\142y\\178\\SO\\149;-20^\\223U8:\\177\\247'\\147\\171\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\SI\\194\\175\\aF\\182\\150\\145\\&8\\\\]\\231B\\233$%\\\\\\ACK\\202\\187\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC27-Nc\\181u\\207M\\DEL?m\\240\\NUL\\205\\&6\\230\\EOT@\\bV\\214\\f\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\240\\172\\181\\249\\219}\\NULk\\r\\237\\142\\227H(r\\193\\147M{\\234\\RSLt>\\202\\234#E\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\212'\\162\\t+\\DC1\\144\\SUB\\224g\\130\\247\\151=\\170\\206\\ACK\\135\"","tag":"AbiBytesDynamic"},{"contents":"\")\\ETB\\ETX\\203\\182\\217\\209O\\219\\181\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131Kn\\254W\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\245\\185Pj\\161\\&0.\\189Uu\\249\\210\\230\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207 J]l\\234E.L\\206\\137\\\\i\\161\\165\\216;\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\168\\181\\163z8'\\228\\131>\\160\\223\\136\\240u\\181.j\\247\\215\\167\\\"*\\233\"","tag":"AbiBytesDynamic"},{"contents":"\")7\\202\\219\\SOH`\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\253\\161\\231q\\204@\\193\\DC2\\163\\137\\220\\GSN\\SYN|\\228\\152\\247DW\\185\\SOH^\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\155a\\147\\&8W\\221g20\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\201gd\\144\\134\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150]\\184\\163\\161/\\217.\\EOT\\210~'\\252\\145\\DC1\\176*\\157\\163\\233)\\176\\FS\\152\\242?\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\179\\US\\162\\178\\NAK\\242\\DC4\\183\\161\\255w\\191d\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\\")\\162#\\SO\\n \\207\\159c\\209\\245$\\245\\178NQU\\211 \\153\\176\\183r;\\229\\ACK\\206\\DEL\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"]<\\183G\\135\\211\\243\\211Lg`\\DC1=2\\\\\\STX\\137\\204#\\EM\\183\\a\\SO\\DC2\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN|*\\ETX\\168r\\150Z\\191\\164i#\\174\\227\\235\\138v\\164^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\ETX\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162z\\234\\174\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\220\\155\\141#!\\223\\&7\\a\\184\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\SOe\\222\\&2S\\USfL\\242\\189\\v+$\\242\\234x\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203~i\\ry\\STXy\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\&6\\DC4\\245\\t\\150\\251P\\227*I\\DC1\\199%\\206=@._\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\253\\160)\\129;\\211\\214\\129\\190$W\\DC3\\205\\251\\SO\\vc\\SYN\\191\\161\\165\\237-\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\215S6O\\NAK\\245y|\\188N\\188\\DC2\\162\\182-q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\148\\&2\\196\\134't\\131\\185\\185\\RS0\\211m\\139\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\204d\\254<\\174\\212\\152\\157e\\NUL\\144\\188lN\\149i\\178\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\148d;\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\\"\\SYN5H\\185[\\180M\\147\\r\\RS\\DC2\\148\\188\\180\\212\\233\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"c?\\130\\147\\179\\SO\\137\\DC3\\216\\211v\\208\\233\\n\\229V\\226\\141q\\DLE\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\158\\SYN\\143K\\202i\\212\\&6\\131\\215\\216]oZ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\198\\158\\t\\238\\&8W,\\165.D\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\DC2\\232Z\\135L\\246\\209\\252g\\ACK\\172\\129\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\226&mz\\246}HCv6\\171\\246[I\\249\\&9\\142-G\\231%b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKX;O$R\\188\\SO\\179\\174\\245\\227v\\189\\143\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\154\\246U\\t\\205\\239\\DC1\\252\\201b\\143%R\\212\\171\\DC2NS\\DC2\\131;d\\CAN\\204\\237U\\241H\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\FSbuu\\222\\224\\183S6\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\214SB\\CAN\\248\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\253\\NAK(\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"q8\\158<p\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\SO\\250\\219\\146\\163\\133&\\178TQ;\\215\\242\\ESC\\v\\199Ym\\200^w\\240D5u\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"qM\\r\\198\\231\\a\\138\\192\\172s\\184\\209\\207s\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\231?\\254\\153\\161\\254\\250\\135\\246\\183\\141L\\141\\201{v\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKvx\\231\\242\\194\\177\\189\\&3\\255\\EM\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\CANJ\\187+\\184\\&6@\\156\\v\\146j\\DELs\\186;\\253a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ%\\237\\251_\\242\\244vy\\ETB;\\247\\191u\\202\\203*\\157\\SYN\\238i'\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\202)\\152\\191\\195\\SOHj;\\232\\231\\\\\\209\\245_H\\SUB\\230z\\236\\&4\\131n\\193A\\ETB\\191\\147F\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179o\\STX\\137y\\134P\\DC2\\183-k\\159 \\DC2\\136\\201?\\a\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\193'T\\f\\197+\\190\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175AE/\\253\\165\\132\\DC4\\204P^\\NAK\\NUL\\178\\141\\a=\\141o\\242\\172\\248\\&2\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\206-\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\160\\198]IB.\\219\\186\\180\\161\\178\\169\\150\\184\\208N\\179\\233YL\\EOT\\196\\144l\\209\\199n\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\147~\\166wb\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\159\\235c\\NAKu\\188\\139\\&3?\\178lU\\195\\227\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"7%\\ESC\\143\\&1\\194\\158\\197\\170\\STXJ\\151\\172\\159\\239\\198$[\\222\\147\\250W=\\184\\193\\182\\f\\146\\158\\184\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146H\\177k\\210\\DC1\\231\\DLE_?\\NUL\\218\\214\\194\\217\\&6E\\244\\216\\&8\\DC1\\242\\224\\161\\142\\182\\168\\204\\225E\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEM\\STX\\140\\204(s\\138kXY&\\132\\242\\DC2K\\180c\\211\\222\\214n\\b\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"a`H\\DC3\\DC4\\181!\\233\\DC4\\250AZ\\215\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\232\\247\\233\\161d\\239F\\184\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\188\\DC2\\SOH\\206E\\248\\140\\146\\227\\137\\152\\243\\166XQC\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238m'j\\152\\160\\175\\172\\182\\235\\DEL-\\165\\188\\242\\235\\DC4`Ne\\ETB\\197\\222\\254\\242\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\146\\DC2b\\250\\205\\179\\NAKs\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\183\\244\\249\\140L\\138\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188L\\172\\ETBM| X\\239\\203X\\186M\\ETB\\214\\145\\153\\159Nn*\\162J\\216\\236\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\241\\180Wf\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\213\\249\\235\\217N\\207o\\206\\140@L\\186\\221\\DELu\\204AP\\175\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\251&\\f\\178\\231\\FS\\STX\\226\\196\\155\\231\\v\\184\\184\\220\\162\\180\\234\\146\\209\\170K2n\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXC?14\\206P\\183\\CAN#];[?e:@\\218\\236\\231w\\203\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\SYNP\\195\\\\\\160\\201~\\158\\253>\\163i$'%\\225\\137yA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\136\\161\\186\\191T\\223\\223\\131\\197!W\\249,\\176Z\\182b\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"'\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\238\\189N\\246\\197y\\227\\v\\198\\246aO\\214\\226g\\175\\227s\\150\\v\\139\\158\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\212\\188\\SO\\144a\\196\\STXLd\\248\\STX\\208\\&9\\164\\229\\237\\222\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"3Q\\191H0\\166\\244z;\\142\\RSt\\132\\DC1\\210\\225\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211H\\DLE\\232=\\166nI\\187\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\DC4\\RS\\255\\222\\148\\DC2\\154\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\194[\\155l=\\239\\\\\\147,{\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\148S\\DC2l\\139r\\177K\\228\\153t\\228\\142\\168T\\148\\r\\178\\169\\196\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\247\\186qf\\146\\240v\\254\\234E\\254\\&6}p\\236v\\\\\\179_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\EM\\DELx~\\149\\133\\249\\173U\\253/\\202\\b9mh%\\CANj\\219\\a\\196\\237\\189\\nZ\\180\\241\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"lW\\204\\149\\238\\177\\205\\&7\\SYN\\222{\\b\\163\\176o\\243h\\201d\\185B\\132c5\\213\\220z\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNx\\164r\\227\\149\\232:}\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\138\\171\\241X\\234\\188\\224\\DEL\\219<\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\187\\&2\\174\\250v\\150\\&6\\EM!]\\195\\171&\\183@[\\159\\240\\172\\182\\131\\SOH]\\198\\ENQ)P\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\244\\135\\142*d\\177\\235\\156\\ENQ\\STX#o\\158w\\217<\\199\\&0\\204\\209 \\174ef\\217\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\151\\250\\b\\NUL<\\166\\225\\217\\172c\\NAK\\203\\218\\251\\175\\229\\163\\US'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\EOT\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235W5\\DC4?\\186pUA\\b\\141\\178%(\\219\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b.A\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188h\\180\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\157\\t\\194\\180\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\f\\201\\141\\182\\EM\\253\\DC4\\226X\\DC2\\255\\NAK\\CAN\\228qKo\\138\\\\\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1529846871"],"tag":"AbiUInt"},{"contents":[256,"65036325967006466220948301564797665341051262287830775507495142678270853626034"],"tag":"AbiUInt"},{"contents":[256,"32706897831250892233090726092220472763456312863663675726960288740048817576986"],"tag":"AbiUInt"},{"contents":[256,"66452854773542183483978024952976445684237478093293826031760006668610122107886"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"55053759191712500283046991400576502464302"],"tag":"AbiUInt"},{"contents":[256,"1533649273"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"81481232680919632126959100786275666719246164421637076671906417556939700597054"],"tag":"AbiUInt"},{"contents":[256,"1536360379"],"tag":"AbiUInt"},{"contents":[256,"1528696674"],"tag":"AbiUInt"},{"contents":[256,"46106076274202613073449695138342273511152818795369431769683118791384599367382"],"tag":"AbiUInt"},{"contents":[256,"94424504257926372606129506408920653665854680400339310785239622303988759036848"],"tag":"AbiUInt"},{"contents":[256,"110717229124542241817125764485313080114766525434634224865273055619936481441718"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"56493206507214955074096268236781395391973424680951544783589047409434173611011"],"tag":"AbiUInt"},{"contents":[256,"92769281664980394340314567676624976536173248033573706471669586312615712834391"],"tag":"AbiUInt"},{"contents":[256,"109480900"],"tag":"AbiUInt"},{"contents":[256,"1536179610"],"tag":"AbiUInt"},{"contents":[256,"1525332120"],"tag":"AbiUInt"},{"contents":[256,"15694284429647161324554089415578673562744495603845430097510508399360305434954"],"tag":"AbiUInt"},{"contents":[256,"84801400942185087372027626228843742833907507229796478886058592107243113781398"],"tag":"AbiUInt"},{"contents":[256,"363873147653346203580736752154096094920219780448598387116847811"],"tag":"AbiUInt"},{"contents":[256,"66223540174608344991281799106727735847963339824173344918275210666532190393352"],"tag":"AbiUInt"},{"contents":[256,"91713230585328796122471172756086816650836246208611170670776782610637483083748"],"tag":"AbiUInt"},{"contents":[256,"1526177100"],"tag":"AbiUInt"},{"contents":[256,"87881309227907885014491525371978696102875980992794258143242568098467346380978"],"tag":"AbiUInt"},{"contents":[256,"86405588923348024348951724402337247781012556221889910666343800244014872149375"],"tag":"AbiUInt"},{"contents":[256,"1535993108"],"tag":"AbiUInt"},{"contents":[256,"1526121218"],"tag":"AbiUInt"},{"contents":[256,"81991197669254875308129069004560197893999109588238734074833693291346120003614"],"tag":"AbiUInt"},{"contents":[256,"83561624925329404656070249449494763920709061539125348541607437112554325932292"],"tag":"AbiUInt"},{"contents":[256,"62125377270427350044058847784368243763103359440832324445710935761275130145234"],"tag":"AbiUInt"},{"contents":[256,"1536694093"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1534826859"],"tag":"AbiUInt"},{"contents":[256,"85858775029088926005412500910035118644265411999093949091189914511179017777080"],"tag":"AbiUInt"},{"contents":[256,"1528868379"],"tag":"AbiUInt"},{"contents":[256,"1530648597"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1526755443"],"tag":"AbiUInt"},{"contents":[256,"76583342255823380078255353563323430873575655129046853044506202150035657746402"],"tag":"AbiUInt"},{"contents":[256,"76583342255823380078255353563323430873575655129046853044506202150035657746402"],"tag":"AbiUInt"},{"contents":[256,"76583342255823380078255353563323430873575655129046853044506202150035657746402"],"tag":"AbiUInt"},{"contents":[256,"76583342255823380078255353563323430873575655129046853044506202150035657746402"],"tag":"AbiUInt"},{"contents":[256,"1535685711"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"105737443179802190260476881706517681106228365892710064211313963268409156003534"],"tag":"AbiUInt"},{"contents":[256,"1535163704"],"tag":"AbiUInt"},{"contents":[256,"330618716117471920457"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008bbfa","0x0000000000000000000000000000000000000000000000000000000000002b38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1529030423"],"tag":"AbiUInt"},{"contents":[256,"46339691701724343236513340046374960642287959872227151241567296935417070883621"],"tag":"AbiUInt"},{"contents":[256,"1538426971"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"46441553708094180998378672695528517176338890588682114491902145403231377654448"],"tag":"AbiUInt"},{"contents":[256,"1534427894"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b262","0x0000000000000000000000000000000000000000000000000000000000002ca8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"102275926447361271033112136953635334775478709349937094593654688337478650086516"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000826bc","0x00000000000000000000000000000000000000000000000000000000000063b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"5091277630663083382349211757295214320168022330565188833085093470239311155500"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000253","0x000000000000000000000000000000000000000000000000000000000000cc1e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000362a","0x0000000000000000000000000000000000000000000000000000000000002894"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"2708112348"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003eb8d","0x000000000000000000000000000000000000000000000000000000000000ea0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"40259082129388814156158905681752394035146473252079626443617562692049275590323"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004890f","0x0000000000000000000000000000000000000000000000000000000000000078"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000cbf","0x0000000000000000000000000000000000000000000000000000000000006e48"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x5e5572F463FE04963DD4aC2b15b2f4fc28EF150C","tag":"AbiAddress"},{"contents":[256,"63581708171249848425329003022266463806086468595177282599293932691004353765212"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c88","0x00000000000000000000000000000000000000000000000000000000000055e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"43500078022051643524692255950903268219323017802074463379180817921540534550678"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000311fc","0x000000000000000000000000000000000000000000000000000000000000e46d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"1527412669"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008457","0x0000000000000000000000000000000000000000000000000000000000000122"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003abf2","0x000000000000000000000000000000000000000000000000000000000000a73c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"90"],"tag":"AbiUInt"},{"contents":"0x1E6A796b174604681A52e42fBbEC5882678EF085","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055fb0","0x0000000000000000000000000000000000000000000000000000000000006d19"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"339103020398343449015433692275227918122"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064526","0x000000000000000000000000000000000000000000000000000000000000918b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"65404347888606668798255988723857377272459994211914394204669489367910786880316"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067b2a","0x00000000000000000000000000000000000000000000000000000000000012c4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"1005335544"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000925e7","0x0000000000000000000000000000000000000000000000000000000000004f13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"51911711490738541918699849294685874275364979341185496769741003455496378379236"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060509","0x000000000000000000000000000000000000000000000000000000000000e460"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002138e","0x00000000000000000000000000000000000000000000000000000000000016d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f5ad","0x000000000000000000000000000000000000000000000000000000000000853d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"69551374247364420179536620701006147216671556030699168924787011198577614485101"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000538a7","0x0000000000000000000000000000000000000000000000000000000000003c5e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"4998"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084056","0x000000000000000000000000000000000000000000000000000000000000d443"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0xEd0c7986cB7a7a1eED89B520d604B796D9101466","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003d4eb","0x00000000000000000000000000000000000000000000000000000000000001a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007851f","0x00000000000000000000000000000000000000000000000000000000000003b3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004033a","0x000000000000000000000000000000000000000000000000000000000000346e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"17281701913744609328712784108882588916174117542793153928112288878213343000647"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001080e","0x0000000000000000000000000000000000000000000000000000000000006da1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0xF2D0C374B624153a22F06cEd85D6d3dA0A313a0c","tag":"AbiAddress"},{"contents":[256,"1528815874"],"tag":"AbiUInt"},{"contents":"0x638915217A1A2164E3b286a3eE9D8cd424C34D48","tag":"AbiAddress"},{"contents":[256,"1530148904"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c626","0x00000000000000000000000000000000000000000000000000000000000016a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"89087480826002523527115181952947158824478248492740114503292758770518338335849"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015849","0x00000000000000000000000000000000000000000000000000000000000039bf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f97d","0x00000000000000000000000000000000000000000000000000000000000099d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000050c9","0x000000000000000000000000000000000000000000000000000000000000ae6a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001014b","0x000000000000000000000000000000000000000000000000000000000000325a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003306b","0x000000000000000000000000000000000000000000000000000000000000a099"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"1538487838"],"tag":"AbiUInt"},{"contents":"0x792F3eb0aCD92Dc9ab83c64DA4657B1AA8E47681","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011616","0x00000000000000000000000000000000000000000000000000000000000012ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"1537983245"],"tag":"AbiUInt"},{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5e4","0x00000000000000000000000000000000000000000000000000000000000083c9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"1529906317"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075bad","0x00000000000000000000000000000000000000000000000000000000000078f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f3a1","0x000000000000000000000000000000000000000000000000000000000000795f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050a0c","0x0000000000000000000000000000000000000000000000000000000000004da0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"32635720961438913165118639910934777966056465531463688177188857059095786835320"],"tag":"AbiUInt"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000023c12","0x0000000000000000000000000000000000000000000000000000000000007f29"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"79936859300960217629443550344280247205241019483523532023642295229832742059522"],"tag":"AbiUInt"},{"contents":[256,"89009502896598762564545700073417325004642954733860958884023894035585853812000"],"tag":"AbiUInt"},{"contents":[256,"1532681643"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b04f","0x000000000000000000000000000000000000000000000000000000000000cc84"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"120"],"tag":"AbiUInt"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":[256,"367"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d1fd","0x0000000000000000000000000000000000000000000000000000000000004a1b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c416","0x0000000000000000000000000000000000000000000000000000000000006062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009888","0x000000000000000000000000000000000000000000000000000000000000ce45"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"\"\\234\\DEL\\247\\211?0\\168\\159\\175\\NAK$\\243\\206\\144\"","tag":"AbiString"},{"contents":"\"\\233H,i\\156\\\"\\192\\183\\133\\136\\202\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0xE194aA6b80fFd71989dd196c7f84fa624b8d7D5d","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"1532474026"],"tag":"AbiUInt"},{"contents":[256,"15481546"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"73775618460375421329134812233468168161352551974990320913236169346294118057501"],"tag":"AbiUInt"},{"contents":[256,"19859479146629815861982128714661973348085392421521358462320849637990834350334"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ae78","0x000000000000000000000000000000000000000000000000000000000000ca93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"623"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045bbb","0x00000000000000000000000000000000000000000000000000000000000058ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"270"],"tag":"AbiUInt"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ec3a","0x0000000000000000000000000000000000000000000000000000000000003850"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000410f7","0x0000000000000000000000000000000000000000000000000000000000001c53"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000078c8","0x0000000000000000000000000000000000000000000000000000000000007c45"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"4001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022eec","0x000000000000000000000000000000000000000000000000000000000000d805"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]