[{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea19","0x0000000000000000000000000000000000000000000000000000000000002f15"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e952","0x0000000000000000000000000000000000000000000000000000000000001340"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"3461086371264134732394068171272766461682868053247173402423856663119797034857"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a515","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639902"],"tag":"AbiUInt"},{"contents":[256,"19393472905493040839296079944197341344295531938438750138012176325801663972279"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ceaa","0x0000000000000000000000000000000000000000000000000000000000009187"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef49","0x000000000000000000000000000000000000000000000000000000000000139d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"180"],"tag":"AbiUInt"},{"contents":[256,"103512694784306353431553626304411453393069695034488889178122485470478527856924"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e955","0x000000000000000000000000000000000000000000000000000000000000943c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"84399425142322610210600050635323807954460409231037117967684171613979531189613"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3c","0x0000000000000000000000000000000000000000000000000000000000001272"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"119"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"110627843800474836107421917352626801453801542543405654749356725343417889320091"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006123","0x000000000000000000000000000000000000000000000000000000000000133e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088324"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea62","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609598"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3e","0x0000000000000000000000000000000000000000000000000000000000008193"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"15487738032794735382498563883783777707128933615487824681683033947446178450191"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008b","0x0000000000000000000000000000000000000000000000000000000000000010"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039baf","0x0000000000000000000000000000000000000000000000000000000000009e93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062339"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062123","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"95071307340375832582888404750135098387963533972340131763031006090281934186418"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bd0","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005e","0x0000000000000000000000000000000000000000000000000000000000005d4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"89011066571286912973958987952206501324665615345682832712728531296550227196159"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232a","0x000000000000000000000000000000000000000000000000000000000000ca0a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"604799"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c7","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":[256,"724"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084275","0x0000000000000000000000000000000000000000000000000000000000000e0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"13203654804127127538599810890961813325067145866152096785612862481775366981461"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015180","0x0000000000000000000000000000000000000000000000000000000000000bd0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"23836346708899107033343658739670082972507839892422837929631119697855346328771"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb01","0x0000000000000000000000000000000000000000000000000000000000006a00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003872","0x00000000000000000000000000000000000000000000000000000000000007d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea60","0x0000000000000000000000000000000000000000000000000000000000002e32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"67691999347671319317259155624295638404612417445837619305179699418667828848927"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000384","0x000000000000000000000000000000000000000000000000000000000000001f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"47283130015785858739284735689413459594483235561712012632741007191421620161132"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea46","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c5","0x0000000000000000000000000000000000000000000000000000000000001349"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004694f","0x0000000000000000000000000000000000000000000000000000000000006a29"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"97027257381172426237537683054941037050333575047760137862172564800766092575344"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34e","0x00000000000000000000000000000000000000000000000000000000000012b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639706"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b3","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065679","0x0000000000000000000000000000000000000000000000000000000000000320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"81453781944102154704987069950816631951049524189384895908639809476053058084587"],"tag":"AbiUInt"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427a","0x000000000000000000000000000000000000000000000000000000000000139d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[128,"2000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb19","0x0000000000000000000000000000000000000000000000000000000000004b95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427b","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639803"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039baf","0x000000000000000000000000000000000000000000000000000000000000defe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"31484412231510245125217695107748303764800689605189715457381067353507315719655"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb27","0x000000000000000000000000000000000000000000000000000000000000012f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639702"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000103ef","0x0000000000000000000000000000000000000000000000000000000000000066"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071ed8","0x000000000000000000000000000000000000000000000000000000000000d9d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222590"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb18","0x0000000000000000000000000000000000000000000000000000000000000bd3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639909"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a60","0x00000000000000000000000000000000000000000000000000000000000000e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"4767398648742567104186477905396603137004346188380408056981463761263554032826"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x000000000000000000000000000000000000000000000000000000000000c061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030336"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf1","0x000000000000000000000000000000000000000000000000000000000000b4d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164a","0x000000000000000000000000000000000000000000000000000000000000d9da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf5","0x000000000000000000000000000000000000000000000000000000000000b0cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0f","0x0000000000000000000000000000000000000000000000000000000000000042"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"230"],"tag":"AbiUInt"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea60","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\193\\235\\239\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\140\\240\\186\\220\\233\\230\\a\\228\\EM\\165y\\129\\&4 U\\GS9c\\223\\&6\\254\\&1?!i\\SUB!\\207\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\229\\a2\\b\\206\\198`\\220j\\179\\DC3uS\\228p~1\\166B\\163Ba\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\ESC\\194\\reY\\SI\\194@\\201\\218\\209\\236S\\226\\232\\209U\\243\\152[\\216\\DLE\\USs={\\141\\225\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\\\\\v\\169\\149\\147%j\\CAN\\201\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\250\\169\\190I\\196h\\180\\242&K5|\\158\\140\\246\\143\\ETXT\\nif\\255@\\US\\142\\SO\\146\\158\\210Z\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\193\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"E54}\\216\\173\\212IZ\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147dOF\\242\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"S_j7\\NAK\\205|\\248\\v\\142c\\148i\\SO\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\177\\141\\134\\SYN\\175/\\222\\212\\225\\129\\SIN{\\184\\152\\142\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\158\\198\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\" \\254\\&0\\SO~\\r\\254\\158\\162\\169\\222\\155\\141\\234y]\\152x\\212\\247oc2\\USU\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"C|\\142\\255\\\\A!\\208\\220J\\202L\\246\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\fJ\\213\\189\\151<\\ETX\\134\\t\\NAK`\\230H\\SUB\\255\\132\\182\\&8te\\130\\205g\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154ve,\\ETX\\151i\\144ZhO\\243\\&2\\128\\143\\129\\135\\132\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196,\\t\\r\\201\\226=\\242\\&6]\\239\\184\\232\\&2\\SUB\\213Z\"","tag":"AbiBytesDynamic"},{"contents":"\"f9'\\212\\201\\129\\172\\230\\ETX\\240\\nP\\129\\228c\\131\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"3W\\230\\194J\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\218\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\203\\157\\219Bd \\221\\206\\ENQE'\\t%&Q/\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218h\\141\\138\\241\\241\\SYN`\\r\\198\\RS\\DLE\\151\\192\\158CA\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r[\\229\\DLE\\193\\253\\251lr\\156dC\\CAN+\\160\\237\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\137\\164\\182\\SYN\\166\\250k\\228\\219\\ESC\\196\\195E\\161\\128\\212\\&0YM\\EM\\186w\\SOHt\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ|\\218\\254p\\220@\\217\\175\\&8\\136\\rY\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\DELi\\SUB\\159[\\r\\153\\147O\\218\\187a+\\187\\170/>=<\\208*d\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171V\\156%\\SOH/\\FS\\FS\\223-\\\"\\190\\232\\154BA\\216LT\\SOH\\158\\131g\\157\\SI\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"u]e\\168'5\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\151\\SO\\\"\\NAK\\184\\DC3H\\229P\\DC27x\\177\\242J'J\\219<R\\v[f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\ETXk\\252\\187\\190\\168\\ENQ\\a\\253\\226\\184\\180\\228\\234\\223%\\199O\\243\\&9E\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\252\\ETX\\169p\\186\\DLE\\194\\SOH9\\SO\\209Z0K\\146I\\SUBV\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\225\\179\\231\\188\\CAN\\140(t\\236\\ETB\\177&\\137Q\\253r\\ESCM\\223W\\137n\\166\\215J\\SUB\\138n~\\161[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\GS\\217\\201.i\\155\\173\\254j\\206\\175\\DC4\\129\\147\\146\\211{\\ACK\\226\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"-<)g)\\209\\136\\198\\&8H\\157\\225\\133\\211U\\252j\\240\\EMD\\SO\\216\\163\\192d\\242U\\130d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\171\\226<1\\155\\233J\\169\\132lmJCs-\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\141$3\\ETX\\213\\175Er\\192\\210\\rr\\n.p\\254\\142\\254\\243\\197v\\240\\255b\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145~x\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\232\\fn\\NAKI\\216Q@-\\165k\\129\\156\\168M\\182\\&9,\\168\\133\\169\\142\\237\\209X\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\231\\242\\203\\213L\\254\\144\\144.\\182\\253\\129\\143xP-\\162\\177\\224\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\SI\\242\\b\\a\\165\\235\\239,\\248\\135\\142\\133;[AgT]A\\195'\\136\\147\\213>\\167\\231Ia\\195\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\150\\238\\137\\204\\235\\DEL\\231s\\149_\\219}\\242&\\209\\186\\134\\131/D\\DC1Q\\184\\223\\191\\154>\\RSpS\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ%\\\"1Uv\\228\\193\\162\\165!\\175\\bL\\183\\128\\129\\182\\223\\172\\210Ug<#\\227\\GS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\169\\234z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\205\\ETX\\138@PV\\229\\&5\\f~\\170\\191\\142\\179\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\168\\r^H\\b\\230\\173\\128l\\206\\ENQ\\254O1\\FS\\213\\tM\\199>(\\164\\v\\202)\\172\\158\\&8\\180F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\ENQ\\\\<\\f\\200\\DC3\\DEL\\224\\\\\\145\\GS\\163\\196Q8\\180i\\190<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200M\\255\\ETX\\GS4*\\ETX;\\215z\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"7V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\209$\\189\\195-\\128\\140\\191\\213\\NULf\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\208?0\\201\\135&\\186\\254\\168\\233\\ESC\\139\\179\\243\\196\\222\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\128=\\194\\198\\&6\\242\\177\\225\\230>B\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\".\\f\\SYN\\128\\216\\254m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222+]\\ACKv\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"@_\\244\\197N\\163~\\158\\195\\134\\a\\176\\194\\164F\\SI\\ETX\\240dR\\SYN\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\169%m\\128=`\\148\\138\\EOT\\216'$\\197\\189\\157f\\240\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186U\\168\\221\\200f\\247\\189\\199S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\183\\170\\171\\151\\215\\250\\178E(\\b\\186\\EM\\237\\129k\\n9M\\176\\222\\168\\246o9\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\SO\\130\\253\\163T\\fQ\\231\\r;\\200*\\166\\t\\175E\\SOH[\\202\\219\\RS\\204}-\\141E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"k/\\218-\\255l\\237oR\\175\\SO\\234\\&1~\\r[\\245\\DELc\\253\\243\\134\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231u\\173\\201\\193D\\132\\133B\\135@\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153{S\\187\\CANgn\\ETX\\156\\214\\SUB>\\154\\&1\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\180$\\a6\\ETB\\f*\\246\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\204\\204\\173\\132\\164\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139(eY\\214\\DC1\\149\\DEL\\204\\231X\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"g+\\243\\247P\\209\\170p\\ETB\\174\\166\\204\\171!\\150\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187rH\\151\\ETX\\ETB&\\DC1\\192XLF\\DEL\\230\\138\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177&\\149a\\207\\195y\\134&\\231S\\193Z\\208\\161\\235\\191\\210\\227\\253A\\241q_\\247&\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\177\\RS\\236\\129\\b\\202\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\141I6U2\\ENQh\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\196t\\DC2\\199\\232\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\188\\207\\251\\NUL\\DLE7\\156<\\DEL\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\156\\179D\\150\\&4\\DC4\\226\\250\\175`/\\149\\174\\177_\\ETB\\141)MQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\194\\224=B\\232\\184a\\194\\157\\230\\140\\137\\179:FO\\174\\182\\240\\142?\\199l\\132j4\\GS}\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\n#\\t;\\144\\CAN\\150\\\\\\DELs\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220_\\204\\236\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\254\\252\\228\\a\\128\\DC2\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\239\\243\\184[\\194\\&9E\\194\\149\\219\\154\\SO%\\230\\NAKdrM\\184\\196\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147%.U\\ESC\\233\\182d\\SYN\\ENQ\\165\\243|\\222\\158\\140a\\150)\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\SO\\198{\\220 /\\179\\156\\ns?\\221\\144\\173\\243\\&5\\246\\135A\\229\\152\\148\\139\\228v\\FS\\223z\\190\\132\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"_8f\\245:\\227\\129\\181\\238\\163\\251\\131\\197\\152w\\SO\\232\\161>\\GSr\\205\\DC3\\US\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\ACK\\224To\\240\\&2\\238Q\\130\\228\\228\\150\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188<\\US\\225\\237\\186\\237$\\182r-4\\ETX\\DLEE\\185\\225\\187\\132\\154\\249\\218\\172d\\157\\252\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"ez\\212\\157\\&9\\161fC2\\\\\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181r\\250\\134_\\220\\245G\\163\\vT- \\US\\171\\&0\\254B\\DC2!\\202U\\137=u\\136B\\225\\141\\t\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC4\\SO\\232\\&7\\253f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\DLEL*\\192k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\176\\243:\\229\\v\\ESCN\\141\\130n>s\\168\\SI\\216\\157\\160\\253\\176)\\STX\\128\\206\\246\\198v\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\192\\215\\DC2\\140\\168\\205\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\fA!\\156\\SO\\\\2#X\\242{\\163\\SO\\206|\\183\\&6\\212\\RS\\152.\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"8%\\SI\\129\\208\\DEL,\\185\\225^\\148\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"|1E\\220\\161\\SOH\\177\\f7BlM\\244?(c\\180\\NUL\\171O@TZ\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\173^\\220\\146]|\\232~\\185\\183u\\DEL\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\CAN\\144\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\227\\189\\206e\\228\\194\\247\\241\\149\\215\"","tag":"AbiBytesDynamic"},{"contents":"\">\\193\\134;:\\129\\207J2\\167NX\\144\\167\\217\\a\\189\\252\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANfN\\232\\201J\\154|K\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"]g\\222b\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143h\\234\\233\\152\\&1\\NAKd\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150`k\\172\\182\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\200\\201\\224\\251A\\239{\\n=\\209\\181\\169\\182\\251\\a_kT\\253\\254\\206*d\\245\\SIX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165Q;\\153x\\211\\DC2V\\DLE'\\179\\181\\176\\253\\164\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\201>\\211\\159\\194\\&4\\148\\DELVa\\DC1$:\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156dK\\DC2\\134\\178U\\134\\226\\n9\\157>qL\\133b?k\\191\\211&\\139\\212\\DELcu\\176x\\138\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\n\\147\\&9i\\215\\235!:\\202\\241H+\\223s1d\\158w\\209\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\208F\\221L\\135\\SOH\\176g9\\197\\160\\\\\\219\\214\\133q[\\230F4\\148\\207Y\\163\\&6,\"","tag":"AbiBytesDynamic"},{"contents":"\"Loy\\187\\&0\\154^\\206\\150\\b\\205_rX\\160w\\196Bk\\155\\240\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\255x\\137}\\DC2p\\185!\\SUB\\185\\243]\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\219\\198A\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\166\\242\\SI\\227\\SOH\\248k\\207*\\149\\190\\172M\\245\\246\\251\\233\\SOH=B\\243\\DLE:\\167I\\232\\143\\&4l\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\DC27\\174\\137\\244\\209\\137\\&7\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO+\\192\\145\\156\\DC4c\\128\\210\\139\\&0Rc\\US\\148\\163FK\\140\\FS\\151B]\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\202\\\\\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\147\\248gQ\\208W\\\\\\245\\akR\\145\\142em\\DC2&\\216\\144\\140\\233\\171d\\244\\DC4\\217\\160\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\229B\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\a\\SOH\\211l\\213\\214\\173\\159\\243\\150\\142\\150O\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\SYN\\166q\\247\\&5<\\204\\130W\\227\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC3\\156\\196\\DC4^\\130\\128c\\210\\254\\206\\203\\177j\\204\\202\\239q\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\ESC\\155(4\\194X\\146\\246\\139\\131u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130o\\US\\201\\180L\\SOH\\233&(RF(\\196R\\181\\229\\147\\155\\179\\195\\175<fPM;\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\159g\\245\\ACK\\195\\153\\192g\\208]d!\\245N\\217\\184=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\172]g\\137p*AE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\169\\139\\235p\\226\\NAKb\\238\\178\\ACK\\244|\\181\\235\\156\\155\\145\\148\\176>V\"","tag":"AbiBytesDynamic"},{"contents":"\"w,\\128\\229\\v\\170\\205\\230~\\131\\RS\\200\\177\\&5\\170\\t^\\228!\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\194\\ACKV+\\NAK\\171\\171f)M>_\\228\\180\\GS\\205$\\163\\198\\253\\132\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\176r=\\DC4\\198\\f\\167\\RS\\203\\RS\\150\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\254\\161\\DC3\\233\\SOHD\\156\\169\\134\\226\\a\\196\\135\\180\\179k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\139X\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\";-[6W\\251\\252oK\\255\\174{\\EOT\\212>\\168\\ETB\\142\\214\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"GM\\210\\ENQ(\\252\\154|B\\239H\\163e\\252\\DC3\\145\\186O\\198\\221\\193\\165WC\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230r\\NAK2\\131\\238\\\\\\\"\\EMQ\\205s\\133\\230\\&1r\\SUB\\148\\236\\158q\\255F\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"K@\\154\\211\\190\\196\\&8k\\250SB\\\"\\174\\180\\204\\241LQ\\218\\253y\\158\\&9X\\197\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160V\\186\\185\\173\\241\\SYN\\\"\\f\\229\\154j\\186\\171\\198\\200\\207S*\\234\\249\\238\\182\\182\\161\\195#\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\191\\201\\247\\233\\232u4\\US-g\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128+\\245\\172E\\176(x\\206\\t\\187\\172\\&0\\153\\240\\209\\159\\132\\&9\\235\\204y\\192^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\224k\\204/1\\205[P\\138mX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\175\\&8\\t\"","tag":"AbiBytesDynamic"},{"contents":"\".Qx\\135\\SOH\\229\\233\\ACK0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179L\\SYN\\244\\133\\160\\155\\CAN}\\241\\130\\&3\\129\\SOC\\238R\\213\\206\\218\\216\\160\\SI:\\233JL\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"fB+\\236\\203=\\201\\216u\\v9\\180\\131\\220q\\236ya\\217i\\235Dk\\248\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"b@\\134B\\209\\194h*~>\\156\\SYN\\181\\STX\\184\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\FS\\147;\\147\\207:@.\\180\\DC3\\244$\\186\\207\\152\\154\\165\\173\\238\\SON\\252<u\\217E}\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246'\\236\\227\\248\\201\\128\\202\\DC4\\STX5\\166\\214\\240\\195\\146\\RS\\144\\195\\236)\\203\\219\\210\\&0\\169\\204\\196\\GS\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\166rqf\\159\\DC2\\SYN\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\234\\226Um\\231\\159\\198\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\231\\163)\\174\\tjv\\142\\DC4\\n\\223\\160\\194\\235\\193\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\147M\\248a\\134x\\NUL\\\"\\209*v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225JY\\ACK\\223\\132\\&83P\\152\\&5\\250\\196n\\163y\\180jRI\\196\\STX\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\SI\\130\\ESC\\175\\179yxT\\192-\\164\\SYN\\EOT\\138\\ENQ \\194.\\162\\210\\EOT\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152D\\141V@\\153\\161\\241\\212\\155\\DLE\\237\\DC2\\166\\CAN\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\169\\212\\224\\157!\\207\\145\\FSk\\ACK\\188^@\\ESC<\\ETX\\137\\163P;n`Xq(\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ/zi0\\DC1\\252w\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\173q9 \\t\\146\\197\\245\\250/\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\SOH\\193\\255\\217\\DC3yVE\\202Y\\139\\175\\185\\SOH'\\229\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185UP\\187p\\165-\\RS#d\\192\\206\\211\\139$\\134\\130\\156\\171N\\r\\b\\182\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\149H!\\197\\149Oc\\242\\168\\220\\SI\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159U\\205\\205e\\200C\\226T\\ACKC\\239nD\\SO\\190\\\"\\189)C\\149\\145\\167\\148\\221\\SOu\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"R\\146\\230\\129q\\133\\181J-]\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\t\\227\\165h,8\\172>Q\\145Fj\\164'\\200\\213\\134\\181\\166\\&4\\DC1\\154\\242\\ENQ\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\234Y\\DC3\\217\\246\\190G)M\\142gb\\136=\\209\\244\\234#\\157m}\\163\\214\\STX7\\ESC\\190\\184\\242\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\179O\\GS\\147\\183\\228\\228\\171j\\157\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\142\\151\\140F\\NUL\\205\\206\\173\\EOT\\243mh\\215\\241\\STXGt\\145\\146\\US\\156V\\231&\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138j\\USS\\224\\\"\\151\\200\\NAK\\144o\\SYN\\152T_)+<\\n\\250\\178 \\155\\192\\SUB!D\\245\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"'V\"","tag":"AbiBytesDynamic"},{"contents":"\"r#\\219\\210]*6\\167{\\179\\150\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\206;\\139m7>\\178\\165\\238R\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\170\\NUL\\220\\EOTl\\226\\RSg\\219c\\157\\210\\&5R\\248\\&9q\\133\\131zq\\b\\214\\\\t?\\SO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\201k\\186\\141Y`\\222\\207y\\202&wN\\204\\&0g\\243\\177\\247F9\\215\\247)\\170\\159\\231\\n\\SOH\\250e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\EM%\\DC4\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\214\\195F:\\152\\134\\198M\\190\\DC4\\147\\158\\193\\t\\185\\162\\193,\\242\\225X\\140\\249\\128t\\170\\163\\228K\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\151E[8Tdlx%\\DC1\\220x\\ACK:F\\236\\STX8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\210\\195\\176:\\205;9\\254y\\169\\139v\\131\\185f\\194\\154>\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\207\\228\\246\\211\\tDUW\\245f\\234\\137\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\133\\215\\244\\168|r\\151=\\218$q{~\\208\\131\\152\\133+nip\\240\\FS\\217\\a\\231\\STX8o|\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\ESC$u\\253@\\233\\200\\134\\191\\&8X\\ACK%%\\173\\227`y8\\143T\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Cg\\164t\\142.*,\\168n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM@\\181p\\GS\\151z\\175?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\SIw\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\ESC\\153=u\\f\\152O\\156\\220\\EOTez;c\\175:\\142\\207Y\\241;\\232]\\132\\226\\239aq\\242\\142 \"","tag":"AbiBytesDynamic"},{"contents":"\"x\\DC4\\195\\219y\\177\\166\\&1\\241\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"iy\\174}\\RSB\\242\\ETXP9\\225\\SOHD\\211\\ENQ,v\\143Df;1\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\214\\137\\169fa\\180BZT\\ESCy\\209\\199\\130]\\173\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\250y\\a\\SOH\\152(G(\\ETXy;\\190\\&1~\\SOH\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\143\\SI\\204\\159\\190\\254\\251\\\\\\210i\\245\\183\\&9A`\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\DC3\\205\\ESC\\237o\\DC3\\194\\GSL>\\185!\\RSJ\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231l\\235\\163\\209\\DLEI+\\177n\\251\\FSLw\\EOT\\207NY\\209K\\182A2\\DC1\\DEL\\CAN\\250`>\\218\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"Vb5\\187\\198\\137\\198\\STX\\206*pCs\\198 \\FS\\170\\181\\151_\\138\\223\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\197.\\146\\n\\146;\\200gL\\178\\SOH\\198\\ESCE\\DC2\\ACKC\\217>\\136*\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\186\\175bR\\\"\\SOH\\198\\145\\f\\174\\248_K$\\231\\174t\\151\\152fw\\173\\RS\\132A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\133\\172\\248Uz\\b\\223c6\\DC2\\223\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"Gq\\202\\&6E\\240-\\196P\\168\\171\\224\\DEL2\\208\\SYN\\SYN\\249\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&\\t\\225\\239X\\219\\222\\&4\\166\\250r\\\\%@\\185\\136):^$\\254)\\233\\195\\217\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\ESC\\137\\188\\141\\173\\192\\198\\188\\255\\178\\SUB\\156\\218\\rn\\133\\218>\\207\\136\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\233~-\\238%*K\\205P\\185\\DC4 /\\CAN\\FSe\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\179h\\220\\137*\\255\\ENQ\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t7/\\169\\234\\139g\\218\\182\\180\\201\\214\\153\\181R,hF\\159\\217[\\227@\\175\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\173\\136T\\142\\136\\&5Xc\\RS\\DC3\\130E\\133\\169\\&1\\252\\184s\\205\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"-\\NUL\\130\\222\\141Z\\133\\252\\242Bz(\\NUL\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"t'\\168\\146s\\189\\205g\\178\\202m\\247\\179\\179\\128\\241\\169Mk\\190\\SO\\245\\DC2r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\167\\237\\168m\\204p\\141\\193\\167\\vyt\\n\\EM\\ETX\\213B\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\199\\ESC\\139\\221z\\246QD\\218\\250\\241\\186\\188`b\\249\\143\\v\\128o\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\ENQD}\\205\\182\\145\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\214FH\\DELGF\\147\\n\\173\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\&4>\\244\\\"\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\129\\157\\&2\\145\\202G\\161\\205i\\ESC\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199c\\170@\\206\\131[9\\170\\&9\\206G\\147D\\170_\\211\\145\\226\\180\\ACK\\181m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\RS\\231<\\238\\250 \\231D\\147?\\168\\DC4k\\209h\\202\\v\\US\\215\\DC4\\145\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\136\\DEL)e\\165\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\&8\\DC1\\DC2eci`\\161Fq\\198\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\204\\161\\FS0\\155\\167\\223p\\CAN>\\195td\\163\\NUL\\223\\211\\ao\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\SOH'\\171Ux\\157R\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251OF\\SOH\\DC2\\NAK4\\140\\237\\n\\132e\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188b\\160\\EOT\\NAK\\246rY\\131b\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159*\\202\\204k6!-\\176\\SOH\\161\\242\\237\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\164\\148\\228\\187\\200\\147mW\\252\\CAN\\137\\192~\\157\\209\\244`I\"","tag":"AbiBytesDynamic"},{"contents":"\")\\167\\EOT(z\\171\\DC1\\158{\\NAK\\ENQrR\\240\\NAK\\221'@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213c\\ENQ\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\":\\179\\143\\245{\\US\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\142\\241i\\229\\&0\\172\\169\\160t\\b\\170\\205\\222\\204\\214\\DC4\\152\\172\\SUB\\166\\150\\207\\225\\229\\188'\\a\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\f\\235\\t\\254\\215;u\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\NUL\\235\\154\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\223\\186]\\234\\216\\237\\129\\EM\\193\\137\\228\\143\\DLE\\174!\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\212\\146J/\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\n\\144\\160\\\"'\\NAK/o\\158D\\234V\\130\\205_\\140\\201k\\171\\236 \"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\DLE\\206\\243\\ENQ\\DEL\\NAK\\155\\201)\\f\\GS!e\\226\\ETX\\SOH\\218\\215\\242#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\&0\\171\\240BG\\203\\171\\226\\155\\190W~\\165\\224\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\156\\v\\a\\194\\211\\224[@qL\\198[\\178\\178P:\\SUB\\225\\&4\\STXW\\\\\\165\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1:jtj\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\175\\ETB\\231\\184\\182\\198\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\181\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\NUL^d\\205x\\SOHh\\193\\153\\223fw\\177\\242\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\195\\&4\\228*n\\145\\179\\213\\247e\\\"\\RS\\FS\\149\\190\\159\\221TH8\\215\\237|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\218!\\179\\139\\&3\\195\\215Q\\ESC\\143\\ESC\\251*\\166=4\\GSJ\\210\\255\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\207<\\174\\224\\217\\208\\&8\\218\\177s\\160':p\\148Gi\\\\\\222Z\\204UE\\170\\173\\145\\190\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\&6\\165:\\US\\186\\202\\EOT\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\163(2T\\EOTp\\r\\225\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\162\\130R*Tz\\181\\153\\152X\\207|\\189\\217\\183\\147Y]\\229\\206R~\\246)\\169\\155$\\238J\\255\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\180\\179\\230\\DLE>j\\211l\\ETX.\\169?\\253\\227\\249\\172\\239>BW\\182\\ETBA\\255D^t\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135h\\206F\\239\\190}c\\240\\239\\207O\\168]\\253\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136=\\169\\RS\\SYN#Jv\\ETXp5d\\GS\\213K\\145\\209\\252\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\222\\184e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\a\\189\\249\\ESCWb\\249\\210\\228\\n\\228:3\\\\\\172\\168\\141r\\251\\&0\\135C\\132\\170jP\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\v\\131?\\147\\STX\\239\\ENQB\\216\\238\\DLE@@K3\\135\\145\\167\\253\\147U\\b\\131\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"c#\\f\\222\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\248\\SO\\SOHd*\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\191\\169\\147\\179\\183\\147\\CAN\\177\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\251\\131\\192H\\DC2\\163\\165\\190\\166\\140'qzyr\\143\\139\\197\\&6\\f}\\\"H\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\\"P\\240\\175\\CANv\\155\\133\\244\\b\\172Hx )\\233\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"'N\\\"\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\178F\\180\\165\\130\\191[\\150/\\231\\\\\\\\\\234\\SYN\\152\\255\\&5\\168\\245\\143\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163S\\r\\GSR\\236\\136\\a\\180\\&6\\\\WC\\149\\EOTf@\\EOTh\\192a>\\184\\215t\\239ZH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\136\\202\\187\\n?\\164E\\198\\198v\\160\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\ESC\\EOT\\145\\250H\\237\\177/\\STX\\222\\208\\217J\\243 L]\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208e\\189\\176\\245\\177}\\150\\\"\\142#\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"'G\\250\\151\\189\\n\\142\\247\\150\\DC2\\244\\190O\\244\\253\\156\\DC3\\169\\245A%QH\\179\\&0\\CAN'{\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"l&q\\DLE5\\186\\166\\213 EF\\190\\204\\176\\135\\&2\\201\\175B\\147\\SYN\\134\\148f\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\142;7\\182\\214g\\240\\157\\178_\\164$\\180\\152\\228\\&0x\\168\\FS\\203\\220\\198\\231\\165\\244\\DC3\\154*\\135Y\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"*K\\SUB\\128\\166\\188kin\\173\\n\\201=\\167\\DEL!\\218~Q\\243Gxv\\196\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253^\\236O\\147\\202\\218\\195EZ\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\233a\\174\\144\\CAN\\171\\&2\\152x\\140\\&8&\\169!c\\240\\SI\\168\\135\\SO\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\ETX\\213\\vr,\\240\\252x\\DC1\\DC2W\\FS\\214\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\231\\136\\212%\\236]\\b\\ETB^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\246\\196\\205%}\\252\\252Q{\\207(&\\244~\\NAK\\222\\ETX\\163(\\183d\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"X*@\\148\\201\\DLE\\\"\\201\\215)\\229C\\170\\210TD\\204\\DC4\\249\\134P\\209\\132\\212\\&8\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\152\\168\\246\\136\\221\\r\\241\\208%)\\180\\215%\\v\\224\\NAK\\192T\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\172^\\224\\143\\179\\225\\221\\198\\&0\\226\\250\\234C4\\157 \\170\\DLE\\217p\\t\\246K\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\251\\154\\bc\\\"\\237\\t1[\\232t\\136ua\\157B\\147\\232\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\DLE\\176\\142\\247\\221\\STXk\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\EM\\181U`\\153\\206\\210fr\\250\\251\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\217\\149\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\188\\248B\\220\\&4\\224\\213\\200\\233;L\\151\\242;\\198\\128\\EM\\US\\192\\173hj\\225\\128\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\227a\\SUB\\188\\198^\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\187]F\\238=\\220\\209\\228x\\r\\165Q\\ETB!H\\FS\\200\\ETB\\b\\244F\\245\\DEL\\190\\226z\\138\\176|\\201\\217\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"14783053196286841241312313459268093458208378525334571114320385189161358029918"],"tag":"AbiUInt"},{"contents":[256,"44834800393112773213383804625802722214898961568002364368590445077055289611398"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"},{"contents":[256,"93068681281833366853396261172370514070360378441096041446952707454673735668286"],"tag":"AbiUInt"},{"contents":[256,"100775068323417255030075863717911532046072307539005134053057561751177416136610"],"tag":"AbiUInt"},{"contents":[256,"59557219819704342968295312702267511334645561160265409403470235223348994792988"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"95897529435910036764672057445163078444239751145808635723002930881808943704745"],"tag":"AbiUInt"},{"contents":[256,"91663991157150741664323319382360441173192273497799712779936964764089901279178"],"tag":"AbiUInt"},{"contents":[256,"17445890043252698722065426354984936073538190698077010536721795597774449440061"],"tag":"AbiUInt"},{"contents":[256,"72"],"tag":"AbiUInt"},{"contents":[256,"86943547320699917824184662214778306992914348565069300862634001947313550474727"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"54520566988502761994821100470585866091942535658817382994942549667003462445240"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634938"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030339"],"tag":"AbiUInt"},{"contents":[256,"56648793927313509816489015688365662903913161653502988622101643464419989700493"],"tag":"AbiUInt"},{"contents":[256,"115656424291608372846862311610894538049110775795463114397511149062258360120898"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634936"],"tag":"AbiUInt"},{"contents":[256,"997"],"tag":"AbiUInt"},{"contents":[256,"42298191142768403938564035174610311291181571987784508403026104953807882868124"],"tag":"AbiUInt"},{"contents":[256,"81460823106456721972042531138917298950346875744405022210027056544727955712396"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636333"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630938"],"tag":"AbiUInt"},{"contents":[256,"43330823037622246152995989059735716327194013714804754855019544887373989725585"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"109806741848253436302610812775964271652562442074123809070395344435587999130996"],"tag":"AbiUInt"},{"contents":[256,"899"],"tag":"AbiUInt"},{"contents":[256,"89621395086725503344210842201804563132640111180593978952606646978003766603459"],"tag":"AbiUInt"},{"contents":[256,"102398576737127835634695946804500355152182947786499111614956816247879108377963"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639938"],"tag":"AbiUInt"},{"contents":[256,"55394513176779987260725002272735876356016478330479790881242904763266472605407"],"tag":"AbiUInt"},{"contents":[256,"51629780922823223066909944753704464912943586693904963213267814725577133517521"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950339"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"497"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629933"],"tag":"AbiUInt"},{"contents":[256,"9805104988093832246880775883723580703944347736931158108546416387870273377554"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417343"],"tag":"AbiUInt"},{"contents":[256,"109512786336050646890462582745505539761890884538451457526560382179012112786996"],"tag":"AbiUInt"},{"contents":[256,"22965143910009448259339932677010605160435558572005206763408206888266620853764"],"tag":"AbiUInt"},{"contents":[256,"9629200571329562944590512771556417594386026280555673612269261576536804996105"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639868"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"8050029239647380793142595703584584819866875386193829821576622248734185028217"],"tag":"AbiUInt"},{"contents":[256,"66851082877766661953229853725984469191038755488199372944744658314442201316575"],"tag":"AbiUInt"},{"contents":[256,"56758632173655776451055511080177905992504781660273281813710582746226725427602"],"tag":"AbiUInt"},{"contents":[256,"105445726371091410036096341892142484723313153518993962907615539926781177125769"],"tag":"AbiUInt"},{"contents":[256,"101415811701429537271404149683763465083716090742872156322236458605564725388492"],"tag":"AbiUInt"},{"contents":[256,"80705810563958650066857447202987706089568292450102587430575904232264367300849"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639922"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4a","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"134"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf3","0x00000000000000000000000000000000000000000000000000000000000012a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7c0","0x0000000000000000000000000000000000000000000000000000000000000086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"70017610480278839596292401078854793526914312665132615614695458671384710843617"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4a","0x000000000000000000000000000000000000000000000000000000000000107f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1534668972"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51b","0x0000000000000000000000000000000000000000000000000000000000000077"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadf","0x00000000000000000000000000000000000000000000000000000000000043dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"\"sancelRedeem should never alter the cupply of SuperVault tokens\"","tag":"AbiString"},{"contents":"\"balaceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiString"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"115642812978316605874222005219266583130869632508722369085004899683387780152064"],"tag":"AbiUInt"},{"contents":[256,"2437362739"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"48942303789364726343324540709098957365854560252009356115182132989761197941611"],"tag":"AbiUInt"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f3","0x000000000000000000000000000000000000000000000000000000000000a39a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577600"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb43","0x0000000000000000000000000000000000000000000000000000000000007e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"40799611696244317470790335631567787452321222799318205681083466070085516348123"],"tag":"AbiUInt"},{"contents":[256,"96747978697512691924283771792911874461587724413044474919939915675594722887587"],"tag":"AbiUInt"},{"contents":[256,"5001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x0000000000000000000000000000000000000000000000000000000000001c98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\239Wk\\149!\\DEL\\135\\167\\128\\151A\\ETX\\EM\\191i7l\\183\\171\\158\\215\\208\\ETX\\r7b\\175\\192\\224\\143\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\t\\255\\ACK\\165M|@\\183\\SI\\a\\201\\203\\224\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\221\\183\\182ORJ\\158\\173\\164\\r%\\192\\129G\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197F\\250\\237\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"c%dY)\\210t \\154E\\144\\220U*\\237\\191N\\242n\\205l\\143\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\207\\169\\242\\FS$Rq\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\137Q\\133\\CANi\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\131&\\157\\&0@\\164\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\tFS\\248\\145\\140\\NAK\\255s\\157\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236)FP\\188\\213\\\"\\175\\243\\&3\\136u\\NULpEx\\237\\147\\&5=\\154X\\131\\205J\\180w8\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\142\\214j\\146\\132n\\NULA\\129Y\\177\\222\\&9Q$my\\DC4z\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\206\\248\\164\\177\\162\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136*\\138\\173e\\250wD\\213\\&4\\167~\\GS\\DC4\\210\\183\\DC4)\\184\\131|\\243\\161\\253U\\ENQ\\208\\SI7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\228\\135n{\\DC4\\250b\\DC2\\t\\187\\169g\\169\\\\\\139\\241(\\141\\rj\\ENQ@\\141}u\\129\\DC3\\187\\220E\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ty\\169\\250\\251\\169\\250wV\\197\\190\\136\\169\\191\\221*\\ETB&\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\135\\207m\\214p\\227\\206?w\\bC\\201\\150n\\203j~3\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"LTi\\n\\CANi^\\217\\EM\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\SUB\\203f\\nT\\STX\\214\\153\\f\\219\\158\\165W\\198\\&7\\166J\\176\\178\\&8\\145\\ESC\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133J\\STX\\163vlq\\221\\196\\ETBP\\196\\173\\238\\250\\181\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\236%HR|\\169\\147\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\219\\248\\197\\162\\198\\136\\223\\231\\147\\r\\SUB\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\183\\162[J&\\138\\237\\207h\\GS\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\SO\\168\\129\\151\\187\\139\\142\\SUB\\DC3\\180Q\\220\\135\\185@\\190\\157\\133\\211\\196\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\155\\ETX\\210>\\198r\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154&H\\156\\n\\137\\216\\155A\\144d}\\190g\\153\\nH!9\\142\\&8D\\248\\n\\254\\231\\132\\ENQP\\239\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\FS\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\200\\185\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\ETX\\DC2\\ENQ\\219\\132[\\216\\190\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\129\\197@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144.\\v8K\\188$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\a\\STX\\228y6\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\DEL\\230\\175`T:\\219\\223p\\SUB\\241\\157\\184\\192\\RS\\168\\ETX\\227\\190y8\\DLE\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\224\\147\\137\\212\\a\\205\\205\\ETX\\226\\208\\149\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\&5\\180$\\168h\\137\\182\\188V$i\\155IW\\168^\\175\\238\\152\\DC2H\\142\\141\\208\\187\\238\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215T\\255[\\220\\227@Tu\\179^o>\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\ESC\\FSb\\ETB\\129/\\DC1\\148\\135/,\\168x\\183\\149\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\251\\FS\\206\\158\\148\\141~\\STXv\\162h'\\181\\ETB\\GS\\237@\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\206\\243\\CANp\\FS\\151Z\\EOT\\254\\223\"","tag":"AbiBytesDynamic"},{"contents":"\")\\251%\\180\\&3\\233\\221\\&4\\174\\187\\167\\b\\198\\SYN\\199\\DC3KM9I\\220+\\156\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\181N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\225#\\205\\SOH \\226\\186\\210\\191\\248\\233\\237\\vF\\218\\&0\\192\\215\\185e\\163~\\193\\193\\\\\\152Q\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\DEL\\179;N\\223\\154\\222{w\\227\\142\\144\\159\\202\\204\\231J\\172\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\211\\217:(M\\US\\177\\171\\230\\246\\236\\198T\\210\\&8\\r\\162\\129I\\158\\a<\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"@3Tf\\148\\230\\ESC\\141\\249\\NUL\\242\\DC2\\134+kK\\201\\225u\\147\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227;3h\\161P7\\ENQF8\\DEL%=P\\158\\243\\186\\175i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145xio\\221\\251\\171\\&1\\130&\\247\\142B\\182\\GS\\132]\\236\\DEL\\EOT\\NUL\\160\\203\\150\\179m\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\149\\233\\183`\\139\\232<:^D\\240a\\249Q\\162\\210\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\246\\151\\DLE\\235\\226b\\156f|t^\\207\\206\\159\\182\\165q\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\":=$\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\143\\188#|5Q\\190{\\185\\223\\183\\169\\\\P\\216#\\157\\ESCj\\254m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177,\\213\\144\\253.\\183\\\\YK;&~\\221:\\GS\\160\\211pz\\202\\168$n\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\158\\236\\240\\&44\\146\\199\\129\\f=\\254\\250\\254\\159\\237\\DC4)l\\143\\NAKJA\\197(\\237\\EM\\202\\221\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\ESC\\CAN\\ETBd\\f\\DC1i\\142\\151f\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\243\\242\\ENQ\\181w\\245\\140\\185ds\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\241\\149y\\SYNv\\DLE\\212m\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164C&h/\\198\\b\\253\\205\\t\\a\\DEL\\b\\225\\184\\US))\\133|\\219\\237\\170\\SI\\140\\ESCJk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\147\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\238n\\224\\142/56\\225P6\\242n\\219\\228\\246\\227\\194\\154\\170^\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\209\\130\\STX\\EM\\228\\&9\\192\\255\\EM\\146K\\252\\174\\237\\188KU\\207Dp\\218\\a\\155|\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\133Ao\\201jf,V+\"","tag":"AbiBytesDynamic"},{"contents":"\"nI-B\\196h\\207\\128V\\208\\191\\156\\223\\147q\\US\\ETB(\\140\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\ENQ\\186h\\166\\216\\250\\ESC\\STX\\180M\\129\\133\\238\\246d\\157\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\181\\241(\\178\\239\\133\\199\\ENQ+\\251\\199\\252\\250U\\130\\STXyM\\180AE\\176\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\234uI\\253h\\158\\150\\NUL\\226Co\\185+\\154\\255\\222\\156\\207\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\144n\\242A\\US\\209\\&7\\v\\189L\\254g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\204\\178\\&5\\193\\214\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\158\\236\\240\\&44\\146\\199\\129\\f=\\254\\250\\254\\159\\237\\DC4)l\\143\\NAKJA\\197(\\237\\EM\\202\\221\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\ESC\\CAN\\ETBd\\f\\DC1i\\142\\151f\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\243\\242\\ENQ\\181w\\245\\140\\185ds\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\241\\149y\\SYNv\\DLE\\212m\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164C&h/\\198\\b\\253\\205\\t\\a\\DEL\\b\\225\\184\\US))\\133|\\219\\237\\170\\SI\\140\\ESCJk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\147\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\238n\\224\\142/56\\225P6\\242n\\219\\228\\246\\227\\194\\154\\170^\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\209\\130\\STX\\EM\\228\\&9\\192\\255\\EM\\146K\\252\\174\\237\\188KU\\207Dp\\218\\a\\155|\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\133Ao\\201jf,V+\"","tag":"AbiBytesDynamic"},{"contents":"\"nI-B\\196h\\207\\128V\\208\\191\\156\\223\\147q\\US\\ETB(\\140\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\ENQ\\186h\\166\\216\\250\\ESC\\STX\\180M\\129\\133\\238\\246d\\157\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\181\\241(\\178\\239\\133\\199\\ENQ+\\251\\199\\252\\250U\\130\\STXyM\\180AE\\176\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\234uI\\253h\\158\\150\\NUL\\226Co\\185+\\154\\255\\222\\156\\207\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\144n\\242A\\US\\209\\&7\\v\\189L\\254g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\204\\178\\&5\\193\\214\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\158\\236\\240\\&44\\146\\199\\129\\f=\\254\\250\\254\\159\\237\\DC4)l\\143\\NAKJA\\197(\\237\\EM\\202\\221\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\ESC\\CAN\\ETBd\\f\\DC1i\\142\\151f\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\243\\242\\ENQ\\181w\\245\\140\\185ds\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\241\\149y\\SYNv\\DLE\\212m\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164C&h/\\198\\b\\253\\205\\t\\a\\DEL\\b\\225\\184\\US))\\133|\\219\\237\\170\\SI\\140\\ESCJk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\147\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\238n\\224\\142/56\\225P6\\242n\\219\\228\\246\\227\\194\\154\\170^\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\209\\130\\STX\\EM\\228\\&9\\192\\255\\EM\\146K\\252\\174\\237\\188KU\\207Dp\\218\\a\\155|\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\133Ao\\201jf,V+\"","tag":"AbiBytesDynamic"},{"contents":"\"nI-B\\196h\\207\\128V\\208\\191\\156\\223\\147q\\US\\ETB(\\140\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\ENQ\\186h\\166\\216\\250\\ESC\\STX\\180M\\129\\133\\238\\246d\\157\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\181\\241(\\178\\239\\133\\199\\ENQ+\\251\\199\\252\\250U\\130\\STXyM\\180AE\\176\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\234uI\\253h\\158\\150\\NUL\\226Co\\185+\\154\\255\\222\\156\\207\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\144n\\242A\\US\\209\\&7\\v\\189L\\254g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\204\\178\\&5\\193\\214\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\158\\236\\240\\&44\\146\\199\\129\\f=\\254\\250\\254\\159\\237\\DC4)l\\143\\NAKJA\\197(\\237\\EM\\202\\221\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\ESC\\CAN\\ETBd\\f\\DC1i\\142\\151f\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\243\\242\\ENQ\\181w\\245\\140\\185ds\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\241\\149y\\SYNv\\DLE\\212m\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164C&h/\\198\\b\\253\\205\\t\\a\\DEL\\b\\225\\184\\US))\\133|\\219\\237\\170\\SI\\140\\ESCJk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\147\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\238n\\224\\142/56\\225P6\\242n\\219\\228\\246\\227\\194\\154\\170^\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\209\\130\\STX\\EM\\228\\&9\\192\\255\\EM\\146K\\252\\174\\237\\188KU\\207Dp\\218\\a\\155|\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\133Ao\\201jf,V+\"","tag":"AbiBytesDynamic"},{"contents":"\"nI-B\\196h\\207\\128V\\208\\191\\156\\223\\147q\\US\\ETB(\\140\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\ENQ\\186h\\166\\216\\250\\ESC\\STX\\180M\\129\\133\\238\\246d\\157\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\181\\241(\\178\\239\\133\\199\\ENQ+\\251\\199\\252\\250U\\130\\STXyM\\180AE\\176\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\234uI\\253h\\158\\150\\NUL\\226Co\\185+\\154\\255\\222\\156\\207\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\144n\\242A\\US\\209\\&7\\v\\189L\\254g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\204\\178\\&5\\193\\214\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\158\\236\\240\\&44\\146\\199\\129\\f=\\254\\250\\254\\159\\237\\DC4)l\\143\\NAKJA\\197(\\237\\EM\\202\\221\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\ESC\\CAN\\ETBd\\f\\DC1i\\142\\151f\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\243\\242\\ENQ\\181w\\245\\140\\185ds\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\241\\149y\\SYNv\\DLE\\212m\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164C&h/\\198\\b\\253\\205\\t\\a\\DEL\\b\\225\\184\\US))\\133|\\219\\237\\170\\SI\\140\\ESCJk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\147\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\238n\\224\\142/56\\225P6\\242n\\219\\228\\246\\227\\194\\154\\170^\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\209\\130\\STX\\EM\\228\\&9\\192\\255\\EM\\146K\\252\\174\\237\\188KU\\207Dp\\218\\a\\155|\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\133Ao\\201jf,V+\"","tag":"AbiBytesDynamic"},{"contents":"\"nI-B\\196h\\207\\128V\\208\\191\\156\\223\\147q\\US\\ETB(\\140\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\ENQ\\186h\\166\\216\\250\\ESC\\STX\\180M\\129\\133\\238\\246d\\157\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\181\\241(\\178\\239\\133\\199\\ENQ+\\251\\199\\252\\250U\\130\\STXyM\\180AE\\176\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\234uI\\253h\\158\\150\\NUL\\226Co\\185+\\154\\255\\222\\156\\207\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\144n\\242A\\US\\209\\&7\\v\\189L\\254g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\204\\178\\&5\\193\\214\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\158\\236\\240\\&44\\146\\199\\129\\f=\\254\\250\\254\\159\\237\\DC4)l\\143\\NAKJA\\197(\\237\\EM\\202\\221\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\ESC\\CAN\\ETBd\\f\\DC1i\\142\\151f\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\243\\242\\ENQ\\181w\\245\\140\\185ds\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\241\\149y\\SYNv\\DLE\\212m\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164C&h/\\198\\b\\253\\205\\t\\a\\DEL\\b\\225\\184\\US))\\133|\\219\\237\\170\\SI\\140\\ESCJk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\147\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\238n\\224\\142/56\\225P6\\242n\\219\\228\\246\\227\\194\\154\\170^\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\209\\130\\STX\\EM\\228\\&9\\192\\255\\EM\\146K\\252\\174\\237\\188KU\\207Dp\\218\\a\\155|\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\133Ao\\201jf,V+\"","tag":"AbiBytesDynamic"},{"contents":"\"nI-B\\196h\\207\\128V\\208\\191\\156\\223\\147q\\US\\ETB(\\140\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\ENQ\\186h\\166\\216\\250\\ESC\\STX\\180M\\129\\133\\238\\246d\\157\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\181\\241(\\178\\239\\133\\199\\ENQ+\\251\\199\\252\\250U\\130\\STXyM\\180AE\\176\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\234uI\\253h\\158\\150\\NUL\\226Co\\185+\\154\\255\\222\\156\\207\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\144n\\242A\\US\\209\\&7\\v\\189L\\254g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\204\\178\\&5\\193\\214\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\137\\b~\\128\\160\\133\\240\\177+\\146*\\227\\224E\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\128\\243hB7S\\183hV\\ETX\\231\\250Dn\\232\\165\\DC4\\NULr\\172\\233\\136~z\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\186\\238v\\229c@\\181f\\211\\&7\\209\\ACK\\148R'\\154]\\DC37\\DC3\\198nTxT1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\219w\\SO5t\\195\\193\\&4'N\\ETX=\\221\\141\\255x7\\NAK\\n\\t\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"'h\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214Lf\\203\\249\\196\\235\\142O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2B;\\ESC\\243\\137l\\US\\235\\FS'R\\192\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"hmw2\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\214cJ\\175\\\\\\231\\246\\152}\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\241 \\178\\156\\143\\r\\161$\\DC4^\\154\\151\\236\\173\\191\\165>\\135\\190\\SO\\213\\214>\\243\\181*\\138\\185^\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\";I1/O\\246na\\230\\214(\\253\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBY\\SOH&\\163\\SOy\\205 \\190\\161\\a(\\233\\DLE\\CAN\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\232\\&4u=\\208qV\\253p\\248\\&6\\ACKF$\\184\\SOH0\\206Jn\\243#\\212\\194\\161\\EOT\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"xepx]\\254\\ACKJ\\160\\224\\&3\\237\\184>E\\140\\GSo\\225\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"569"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"},{"contents":[256,"60545441572144670171913947140010149357692469202901595217371545184727173436690"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222594"],"tag":"AbiUInt"},{"contents":[256,"37731207571763174796074894618917064271228183978533577624384905106000127657478"],"tag":"AbiUInt"},{"contents":[256,"1850251760847007575035443839633205362399150371605698911455990069829302307608"],"tag":"AbiUInt"},{"contents":[256,"59409984777727081712188776197221314322168039556783347420466561174984734406299"],"tag":"AbiUInt"},{"contents":[256,"7"],"tag":"AbiUInt"},{"contents":[256,"2000"],"tag":"AbiUInt"},{"contents":[256,"79922625424209414422817575976417570500507340261451807926456275024193377927654"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639801"],"tag":"AbiUInt"},{"contents":[256,"3602"],"tag":"AbiUInt"},{"contents":[256,"46670938798625252648998919489804464759101745849417601890368468358380065314680"],"tag":"AbiUInt"},{"contents":[256,"28445983865786997708441953583659981673543197322596726451079211443659498795287"],"tag":"AbiUInt"},{"contents":[256,"66204698113689421082941656483137295557574055953831324336070557401932755210632"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211776"],"tag":"AbiUInt"},{"contents":[256,"63709889712683292685907435350951409243607551849007005840259437375934742614101"],"tag":"AbiUInt"},{"contents":[256,"25593092623244324255632687395920060660381668411234812829794028768388333335066"],"tag":"AbiUInt"},{"contents":[256,"112060258191193182746642613303334485220143860142851737233175311198515985134425"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"},{"contents":[256,"94564409604019371749173621488553075958877914291079155232110195210977678223921"],"tag":"AbiUInt"},{"contents":[256,"37351539112718214792168551481352667868561931632661003012901104126601998853647"],"tag":"AbiUInt"},{"contents":[256,"112856484714254650679060682886140975457805530098473950067605791167370814442448"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629939"],"tag":"AbiUInt"},{"contents":[256,"41533825333379193332659988769810140177048112836046860150372218621862749506616"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000002"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6235979429629666200345640438220960973559455760231643396894012085667635781792"],"tag":"AbiUInt"},{"contents":[256,"65"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639635"],"tag":"AbiUInt"},{"contents":[256,"6698788144694509148047161563141394869167607045259843843033155770570826348270"],"tag":"AbiUInt"},{"contents":[256,"32872324747973293807886520033092778855488899012169517644542394265744825125248"],"tag":"AbiUInt"},{"contents":[256,"55"],"tag":"AbiUInt"},{"contents":[256,"76539570299796217819343103446339965251615483764275633368518445379235012380994"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266895"],"tag":"AbiUInt"},{"contents":[256,"19874727501629248805364601761689219331267208903501063412380630905149387613761"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"},{"contents":[256,"37931089755847298438766840620058878414173827440121247765384190777147604770061"],"tag":"AbiUInt"},{"contents":[256,"73733447886960581135125049529010258785810507986476675213371116708515912455788"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1313373038"],"tag":"AbiUInt"},{"contents":[256,"17"],"tag":"AbiUInt"},{"contents":[256,"14996208232052206306357495959675333603563362434510996452099926099446056678126"],"tag":"AbiUInt"},{"contents":[256,"56058197979424925329018615222666052901320051864929802673610498066499935339046"],"tag":"AbiUInt"},{"contents":[256,"32236915590476420491787306074754191897691106653884871535634504454144660993314"],"tag":"AbiUInt"},{"contents":[256,"48900251799296829173379297304514333234941348211607931260037478159120295647299"],"tag":"AbiUInt"},{"contents":[256,"65808207338732504347080442188970320987832369027142012461100972889512704856797"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211778"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731853"],"tag":"AbiUInt"},{"contents":[256,"374822075827298121979683228631343978075654008179987053569599637507438393152"],"tag":"AbiUInt"},{"contents":[256,"299"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639707"],"tag":"AbiUInt"},{"contents":[256,"98154961031198486729074523542862579741714506715074921550202552956620659656697"],"tag":"AbiUInt"},{"contents":[256,"27942279364892985552568458228793473795756977784410518128118545807888784736346"],"tag":"AbiUInt"},{"contents":[256,"97955176722410633703396784795248749544227200015817543965680182010265435282269"],"tag":"AbiUInt"},{"contents":[256,"34652902346176522004377650062745554495238993817713124236662816107006975733015"],"tag":"AbiUInt"},{"contents":[256,"64727381964783131908618562490919210130988886088044184623139870006666630724384"],"tag":"AbiUInt"},{"contents":[256,"3998"],"tag":"AbiUInt"},{"contents":[256,"109568556336027388778181373173245838384574143969935007246163336262741562506433"],"tag":"AbiUInt"},{"contents":[256,"106773589576221539172473470581550653609311410527653966078180178894651619592602"],"tag":"AbiUInt"},{"contents":[256,"9471563379667312416613167594933545578447666680996129383820215274229180512164"],"tag":"AbiUInt"},{"contents":[256,"103"],"tag":"AbiUInt"},{"contents":[256,"49740805535583677005803907141432610478726621169378881618866395251053726033228"],"tag":"AbiUInt"},{"contents":[256,"70386300654642050961720707301429154535407016337936767479524432035769147291951"],"tag":"AbiUInt"},{"contents":[256,"40592643394550808998413734503092300740535285334105729010332016979664031245558"],"tag":"AbiUInt"},{"contents":[256,"1534668972"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"50"],"tag":"AbiUInt"},{"contents":[256,"25260662793140605782"],"tag":"AbiUInt"},{"contents":[256,"436"],"tag":"AbiUInt"},{"contents":[256,"16860326519258657787690073568773061017572260188379354067524878344300238608092"],"tag":"AbiUInt"},{"contents":[256,"55957672523200760972817751487920424042215766434157733647320787714142507102085"],"tag":"AbiUInt"},{"contents":[256,"111264303386789976718115203907895998334431271836727148912618116760743482768855"],"tag":"AbiUInt"},{"contents":[256,"112467146598887150079585149303238699280668065097667421742577633325919672192150"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"894"],"tag":"AbiUInt"},{"contents":[256,"503336446872166567043004713983037178229705865161902558456589245111905163198"],"tag":"AbiUInt"},{"contents":[256,"707"],"tag":"AbiUInt"},{"contents":[256,"68"],"tag":"AbiUInt"},{"contents":[256,"60624721376689000202138365237767151470827181138594995210796986892355637001617"],"tag":"AbiUInt"},{"contents":[256,"29658497600175451050020646441633244832726884619250674338079035175968457152830"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417343"],"tag":"AbiUInt"},{"contents":[256,"23790263048499736022179093845376825511635717737219340158865540771437112673500"],"tag":"AbiUInt"},{"contents":[256,"1534012974"],"tag":"AbiUInt"},{"contents":[256,"2000000"],"tag":"AbiUInt"},{"contents":[256,"3238178331885111446173986960089883343135071711941358494684662057595618069758"],"tag":"AbiUInt"},{"contents":[256,"3238178331885111446173986960089883343135071711941358494684662057595618069758"],"tag":"AbiUInt"},{"contents":[256,"3238178331885111446173986960089883343135071711941358494684662057595618069758"],"tag":"AbiUInt"},{"contents":[256,"3238178331885111446173986960089883343135071711941358494684662057595618069758"],"tag":"AbiUInt"},{"contents":[256,"3238178331885111446173986960089883343135071711941358494684662057595618069758"],"tag":"AbiUInt"},{"contents":[256,"3238178331885111446173986960089883343135071711941358494684662057595618069758"],"tag":"AbiUInt"},{"contents":[256,"3238178331885111446173986960089883343135071711941358494684662057595618069758"],"tag":"AbiUInt"},{"contents":[256,"3238178331885111446173986960089883343135071711941358494684662057595618069758"],"tag":"AbiUInt"},{"contents":[256,"22727297617553453842979113299484962798523600059188761310502804291684198443466"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577597"],"tag":"AbiUInt"},{"contents":[256,"23469771220532737417205159338241775088104023387444299102501075397899701020536"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222591"],"tag":"AbiUInt"},{"contents":[256,"93"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211777"],"tag":"AbiUInt"},{"contents":[256,"20161472970516094782169901165141944505482332959896889146922834823806550603329"],"tag":"AbiUInt"},{"contents":[256,"42756906218105207321628983289392320415506876900150832145482612730276178476251"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636338"],"tag":"AbiUInt"},{"contents":[256,"72716340916087179057161907830954999190576670481686719967850735931916746665874"],"tag":"AbiUInt"},{"contents":[256,"69123037157285171619007699840809472661909534795132526321871217667077433751648"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"1525984973"],"tag":"AbiUInt"},{"contents":[256,"21"],"tag":"AbiUInt"},{"contents":[256,"16176467222087964483759734212888092459760727486500950008545526479401180654331"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630935"],"tag":"AbiUInt"},{"contents":[256,"9670320038184321586206853323649055540305219170597078412272141422351474279484"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639917"],"tag":"AbiUInt"},{"contents":[256,"48229115568108757471041972112533234630996252470999662574161490273393099586901"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211778"],"tag":"AbiUInt"},{"contents":[256,"23641393804775907917005762971243024451572737638405587049583252259879009846066"],"tag":"AbiUInt"},{"contents":[256,"104531227882864746968996535781905811118157883539474134948421835403588258783966"],"tag":"AbiUInt"},{"contents":[256,"105138723669437481909075120225255391744835138502817080584199003602474631068978"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638939"],"tag":"AbiUInt"},{"contents":[256,"10004"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"111106900855095242130397315474027276526043000988000728132831213918132453517610"],"tag":"AbiUInt"},{"contents":[256,"10"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba7","0x000000000000000000000000000000000000000000000000000000000000012a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec9","0x0000000000000000000000000000000000000000000000000000000000006ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"48749782830341081923442578606805857077663889175943119490422705238268690973809"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd9","0x000000000000000000000000000000000000000000000000000000000000139c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x0000000000000000000000000000000000000000000000000000000000009e93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e377","0x00000000000000000000000000000000000000000000000000000000000029bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c436","0x0000000000000000000000000000000000000000000000000000000000001df7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"444"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c9","0x0000000000000000000000000000000000000000000000000000000000009e99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082068","0x0000000000000000000000000000000000000000000000000000000000000102"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c18d","0x0000000000000000000000000000000000000000000000000000000000000937"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"111453531825074615138526023465496411840071626800159166201783283310286452523117"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x0000000000000000000000000000000000000000000000000000000000009205"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"55315522485422587521777411364488667143324709833174451561032291077848060384976"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a2ce","0x0000000000000000000000000000000000000000000000000000000000001335"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a516","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052be8","0x0000000000000000000000000000000000000000000000000000000000001475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638938"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"54615709542508951070243597272928232509048629576781162750354502886472380000477"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000079924","0x0000000000000000000000000000000000000000000000000000000000003f80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"26870481727962735469642068214137864648119814289613827826346420392836999933785"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d51","0x0000000000000000000000000000000000000000000000000000000000003c08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"42526251249138470743761359339589975783434490930047894546210883762995093863262"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x00000000000000000000000000000000000000000000000000000000000001f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb48","0x0000000000000000000000000000000000000000000000000000000000006de1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"5327497442638398675568975158757123560498208822050399044851947182943122845055"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd8","0x00000000000000000000000000000000000000000000000000000000000095e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"43126358057149588809887491820655590638486547244317642934111221238109370088272"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000576ad","0x0000000000000000000000000000000000000000000000000000000000006f3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"17898286480586884669509430896992823193088731180941336222989816005312859640827"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81e","0x0000000000000000000000000000000000000000000000000000000000009e94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]