[{"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_withdraw_clamped",[{"contents":[256,"55014507428396336220225791802112989599834954692291073183221506920340868965208"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000405eb","0x00000000000000000000000000000000000000000000000000000000000011a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"169"],"tag":"AbiUInt"},{"contents":[256,"37864987259141108232555591738154360664319038790220584105033728150551943878254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e475","0x000000000000000000000000000000000000000000000000000000000000858c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"99999999999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"3597404357146206914622848242748451762217814550013016165993288490930708319854"],"tag":"AbiUInt"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfe","0x0000000000000000000000000000000000000000000000000000000000001488"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011def","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"106652411524363844812002161692279541901835249804850091947606852639995480811720"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000432cc","0x000000000000000000000000000000000000000000000000000000000000c138"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb26","0x00000000000000000000000000000000000000000000000000000000000001c7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[8,"135"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142f0","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000036","0x000000000000000000000000000000000000000000000000000000000000cb3f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022ac9","0x0000000000000000000000000000000000000000000000000000000000000402"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x000000000000000000000000000000000000000000000000000000000000ca0a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"72114112560672718863276827987364950201764656627677649096319342968396486041290"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a9a4","0x000000000000000000000000000000000000000000000000000000000000c754"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"95"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb40","0x0000000000000000000000000000000000000000000000000000000000000bce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4e","0x0000000000000000000000000000000000000000000000000000000000006938"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ed0b","0x0000000000000000000000000000000000000000000000000000000000005d4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132606"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb12","0x0000000000000000000000000000000000000000000000000000000000005451"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"17"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084861","0x000000000000000000000000000000000000000000000000000000000000e01a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054752","0x000000000000000000000000000000000000000000000000000000000000adb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c9","0x0000000000000000000000000000000000000000000000000000000000002e13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"71213361957101892023259691589868596846693391976933514113407914278778641274339"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000037c","0x00000000000000000000000000000000000000000000000000000000000013aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"657127584348322404705388449299"],"tag":"AbiUInt"},{"contents":[256,"1528545321"],"tag":"AbiUInt"},{"contents":[256,"70214595980933991490073403588779299516447525695420626179143389994928451069190"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082bc6","0x0000000000000000000000000000000000000000000000000000000000008ec8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":[256,"19102605454751370094803185743262028793466756122924094530067207942532970379536"],"tag":"AbiUInt"},{"contents":[256,"1526404684"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a046","0x0000000000000000000000000000000000000000000000000000000000006eae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"40858015340490458699931057372324494183237020094604983788219"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000172ed","0x0000000000000000000000000000000000000000000000000000000000004b5b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030fa3","0x000000000000000000000000000000000000000000000000000000000000e609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"10886476050892274328356475"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000085","0x0000000000000000000000000000000000000000000000000000000000007de3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"1539372027"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f5d3","0x0000000000000000000000000000000000000000000000000000000000004b97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"98048399838012954554078082829777540271902185536445345108308917928061366496479"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b679","0x0000000000000000000000000000000000000000000000000000000000003825"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"1532248977"],"tag":"AbiUInt"},{"contents":[256,"10443537032590843579010459497841788633000070080702973466356260652879510702962"],"tag":"AbiUInt"},{"contents":[256,"99107669390454523101265212484222467968197465009034519527806520040169407792335"],"tag":"AbiUInt"},{"contents":[256,"75423632784523634618741885843629512465730450337058293640453017387715692609762"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006aca7","0x0000000000000000000000000000000000000000000000000000000000001367"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000000f49556eff1d21b25"},{"call":{"contents":["add_new_asset",[{"contents":[8,"200"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004bb7a","0x0000000000000000000000000000000000000000000000000000000000002a6d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211778"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e475","0x0000000000000000000000000000000000000000000000000000000000006107"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea47","0x000000000000000000000000000000000000000000000000000000000000001c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"1532923810"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010333","0x000000000000000000000000000000000000000000000000000000000000eb9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"1529335976"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001790d","0x0000000000000000000000000000000000000000000000000000000000007660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"1531148691"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001587","0x000000000000000000000000000000000000000000000000000000000000a934"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1534644682"],"tag":"AbiUInt"},{"contents":[256,"1528404100"],"tag":"AbiUInt"},{"contents":[256,"3299479174163769441765744758118771531109171978177820642387633861677866683791"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"42919513488388636591211597473164141264411979905073799201331529350407251696866"],"tag":"AbiUInt"},{"contents":[256,"1531593128"],"tag":"AbiUInt"},{"contents":[256,"96626831169091534973895823185204335997125658930973324276410802712711311511207"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d3","0x000000000000000000000000000000000000000000000000000000000000ec37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e0","0x000000000000000000000000000000000000000000000000000000000000a271"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"UAk\\SUB\\252\\137\\144yH\\139\\161\\130k\\132\\US\\182\\214S\\134\\f[V\\187\\DEL@\\248\\150\\198\\189y\\\\\\227\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb11","0x000000000000000000000000000000000000000000000000000000000000a0a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070ea8","0x000000000000000000000000000000000000000000000000000000000000139a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2c","0x0000000000000000000000000000000000000000000000000000000000007e97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"36686064218654109092417561472367109022074323089584792060919384948741335311502"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5e","0x00000000000000000000000000000000000000000000000000000000000065ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c1b6","0x000000000000000000000000000000000000000000000000000000000000b00a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"16984784621344602942739996431154464904271701240410101269474706457956135101078"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021f0b","0x0000000000000000000000000000000000000000000000000000000000000036"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003369","0x0000000000000000000000000000000000000000000000000000000000003798"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"716"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628418"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c4c1","0x0000000000000000000000000000000000000000000000000000000000000103"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000818f3","0x0000000000000000000000000000000000000000000000000000000000000385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"93"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ed26","0x0000000000000000000000000000000000000000000000000000000000004a06"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1529437084"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c304","0x0000000000000000000000000000000000000000000000000000000000001d3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"516"],"tag":"AbiUInt"},{"contents":[256,"111170902057044311409403269276379873069275532749255599225982081097565451758275"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce54","0x000000000000000000000000000000000000000000000000000000000000751b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"15"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005112e","0x000000000000000000000000000000000000000000000000000000000000197c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"30986869619384140639163513617359759384349036641550583084044845771479759714823"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088321"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063a10","0x000000000000000000000000000000000000000000000000000000000000511d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"444"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004639f","0x0000000000000000000000000000000000000000000000000000000000000089"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062688","0x0000000000000000000000000000000000000000000000000000000000008d67"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"85077554064878253083010643118372535382958693828823941240883824007683365462479"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061a02","0x0000000000000000000000000000000000000000000000000000000000002d3f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"1532294246"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000719ee","0x0000000000000000000000000000000000000000000000000000000000001839"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000638c8","0x0000000000000000000000000000000000000000000000000000000000004e7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208oMA!\\134\\232\\150\\197\\137\\253\\ESCt\\n\\205\\192|(\\245jr\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\170\\DC3\\174 \"","tag":"AbiBytesDynamic"},{"contents":"\"~\\232\\243U&\\167\\183k\\169&\\238!\\ETXJ;a+Y\\138H\\197\\243\\133\\193\\STX\\168\\192\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\v\\219\\255\\223\\169\\NAK\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO=\\213\\167\\233\\199\\128&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\DLEQN=\\186\\178\\213\\128gb%\\253\\&9\\f\\140)}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163[\\199\\177`\\233T\\DLEi\\145O\\158g\\173\\149 |\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\135\\bq\\220\\NAK\\162\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128,I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\182Y\\174H\\158\\196N\\153s\\166c\\ACK\\192R\\DC1\\SUBH[\\243\\154/\\141&w\\SOH\\NAK\\173\\255<\\137\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\">y\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\128\\146y\\215\\228\\162W:o\\168\\171\\&4\\165\\180\\NAKN?\\213\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\214=\\156\\211\\n\\210\\n\\137=\\203\\&5\\UStZ\\253\\208\\NUL\\201{\\222\\163wn\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"^\\204\\168\\238[\\163\\&8\\ENQO\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\")\\209R\\188:D\\204S\\206O\\139\\158\\173\\198\\&6J\\149\\166%\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\CAN\\152<\\148=obfp\\198!!,\\147F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\248\\227\\162\\174\\190\\\\\\130\\211y}XohW\\145\\161G\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\223\\148\\149i0\\a\\182\\240\\216\\137\\137\\211f0`\\247\\169~\\ENQ\\245\\246\\209\\134\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\255@2#A\\178\\v\\230\\DC4\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\145\\240\\204\\220\\143\\DLE\\245\\221h\\163c\\SYN\\128b@\\241\\ESC\\185\\&8\\186\\151\\SIn\\206\\239\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\229\\SOH3_\\245q'\\214\\224\\248\\250/\\159\\&7\\133<`\\180\\128@\\147\\129T\\133\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\130\\195\\168?\\228\\138m\\217.\\157|\\131\\SI*\\211[s\\\"\\189\\140\\232h'}\\NUL\\DEL\\148h/n\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\141\\r\\225*\\233\\SUB\\192O\\150\\197\\224W\\STX\\206\\151\\249\\f\\GSG\\180\\180K\\197\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"0 \"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\133Vz\\193RgL$\\247\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\NAK\\179\\DC2Q\\250A\\237CW\\128\\242\\254\\242T\\GS\\240\\177\\&2\\238\\199Lk\\204\\&5\\229\\144\\161\\EMDH$\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\230<N\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\136\\244\\139\\137\\182\\DC1\\DC1\\204\\132U\\184=o\\156\\234\\172\\179\\SI\\203U\\DC4\\250P\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176?'D&\\151k\\213\\192\\148\\209m\\167\\199\\&1\\166\\DC2\\203\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\246]\\191P+\\163J\\237V,&Y\\175G4\\187bT;\\193\\&1\\205\\244J0\\254\\215S\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\\":\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"hV\\174\\245\\a\\180\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\";\\CAN\\225\\146\\191U<\\185\\143\\248s\\191\\242\\146]\\144\\133\\201\\194S\\158\\ESC\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\165\\217D?\\199\\204\\208\\201D\\174\\143\\160\\206\\190\\&5\\146\\240\\222\\220\\234\\236\\&5\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\231\\212bS\\247\\179R\\250FG\\v\\253j\\ETX\\216\\173^\\184j\\136\\211D\\168\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\197acI\\186\\DC3\\220\\185\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\144\\225\\184Yo\\212\\139\\249S\\149\\254m~\\204\\222\\n\\141\\129yg\\250\\195lr\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174z\\185h nZ\\204\\129I\\135\\194\\ESC\\183\\&14c\\\"l6a\\182\\202\\220f\\154F\\188&\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"a'\\155\\210]\\255\\243e_/\"","tag":"AbiBytesDynamic"},{"contents":"\"fp~u\\169\\175\\ESCm\\180!S\\217\\SOH\\227\\137\\134\\189\\238\\165R\\249.\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\233\\209\\230\\212~A)\\162\\198w\\207\\160\\163\\159_,rl\\205\\218\\188\\249\\&0\\197\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225jK\\173\\ENQ&\\228\\249\\249\\202#\\160\\138\\181L4,\\154.\\222?.w\\163/\\ACK\\142\\241\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"C|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173]\\v\\145t\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"@C\\NUL\\135\\ACK\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"Fer\\ESC\\tF\\230\\254s\\169\\214\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"f*B\\222B|\\211\\177\\170\\&4h\\244\\139\\180Z\\206;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\219\\135\\174%c\\137X\\131\\205\\246\\227\\146\\188\\190\\145\\DLEwd?\\145\\n\\218P>\\221\\ETX\\142{_\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\133\\148\\n\\SUB\\188\\236\\135\\nR8\\215u)\\213\\173\\EOT\\160y\\178$\\177\\225F\\162\\150\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\235\\244n\\138\\202\\153\\&3\\155U\\ACK\\177$\\226D\\ETB\\144\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\DC1\\149\\134X\\221YnF\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULb\\214\\t\\202\\129\\195\\223%\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241b\\201@a(?\\234\\ENQ\\255\\NAK?\\147\\SYN\\202\\155J\\197\\DEL0\\132\\162\\227\\228R\\214\\ETB\\149\\216\\138\\242\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"~d\\222\\ETX\\188\\204\\&0V$\\198\\DC1*\\157\\DC1zM\\208G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\SOH\\ENQ\\132\\142!X\\144\\227g\\ENQ\\164\\155\\&1\\136\\211\\NUL\\194\\NAK\\195\\NULX\\198\\198\\193\\217\\\"g\\146\\SIb!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\131\\219#\\242C\\165R\\254w\\RS\\129+\\239&xJ\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\SO\\168S,K\\DC4\\US\\165\\224\\&7\\128\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"S\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146]N\\214\\185t\\255?\\182nz\\236\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253(\\STX\\242\\152\\236iy*j\\DC1Yr1\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\DC1\\141\\238\\tk\\145\\EOT\\151P\\175Ib\\200\\ESC\\136\\158\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191%\\220\\171a_E\\\\`\\255.\\154\\192N(D\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\n\\156\\SO&x\\203\\162\\&0\\ESC\\154m+\\146\\155G \\132\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\207qm\\\\\\135\\156C\\184\\n\\n\\DLE~.e\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148i\\162BQ\\243\\133\\208\\226c\\170\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"Js\\198\\182\\153Y\\206@\\148cxU\\238\\130\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\167\\251\\207\\&4\\226\\189\\167b!\\209Y\\NUL\\193d\\151\\229\\175\\253\\ETX\\242\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219/2\\188\\v{\\175\\214\\\\\\DEL\\DC2E[;}\\232@\\235\\247 \\180R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\163\\SUB\\165U]\\223\\ACKN\\216O\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220wU\\a\\224\\131\\216\\236\\166\\245\\223\\167\\163\\158\\ETB<\\132\\SUBI\\128\\187^a%{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\130=w\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\203V\\188K\\165\\229\\189/\\153l[\\231S}\\138,*\\185\\GS\\USyn\\188\"","tag":"AbiBytesDynamic"},{"contents":"\" \\143\\251\\193\\213\\181N\\171\\DC2\\137h\\RSD\\198OS,\\134\\185`u\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\218\\132?\\128\\ACK\\175\\240\\EM\\145Fl\\DC3\\235\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\206\\247\\230cq\\SOHV\\203?\\FS\\155\\138\\178\\132\\\\\\STX\\148f\\DC2\\NUL\\194K\\206\\253[\\162]R\\242?\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\249}\\RS\\192\\189r\\166|\"","tag":"AbiBytesDynamic"},{"contents":"\" \\239\\201\\165\\&7\\226\\DC1\\226\\180\\f\\229\\240\\220\\253\\US}\\172\\ACK\\224~QJ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\&6\\157\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245s\\ETB\\150\\143\\197\\SI\\157\\RS\\SO\\166\\&4K<\\138\\134\\218B\\248\\172\\229oI\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\189\\190P\\ETX\\\\F\\229F~o\\t\\235\\187j\\191\\DC3\\180u\\234\\248S\\152t\\157\\210\\217\\202\\t\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\177\\158\\255\\144\\&7M\\240\\164\\&2\\220\\DLEi\\ENQ\\236-\\NUL\\CAN\\145\\149\\152=\\129\\v}\\163\\206\\159\\193\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\146Z|r\\n\\DC4\\191h\\172\\241\\SYN]\\221\\218z\\SYN\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"<b\\DC1Q\\174\\145\\194\\171\\211xe0\\188\\207\\133\\225\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS@\\175\\132\\f<\\DC3\\184\\217 \\179\\186\\&4\\DC2\\163\\195\\DC3\\167V\\214<n\\144\\SOH\\129\\DC3\\251\\174V\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\&9~\\251,x\\192w\\241\\253\\&0\\231S\\230\\214\\171\\147\\205 \\236\\226\\138\\148\\213\\DC1$@\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\219/\\220\\248\\205\\170\\SI\\151\\144(\\177e\\153f\\181\\194L\\ETB\\194\\220\\160t\\NULs\\135Q\"","tag":"AbiBytesDynamic"},{"contents":"\"<vpR\\146\\&2?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHe\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163m\\236\\183B\\173]\\222\\SOH#\\\\\\136\\174W\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\EM}\\209\\212\\SUBq\\242\\\"\\251\\DC1\\219q=\\164C\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\203%q\\254\\201iq\\133m}\\147\\225\\179#2P\\ENQ\\225\\245#i\\193\\226\\ESC{'\\187.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\181}\\209f\\STXPk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\&8,{\\182\\SOH\\175\\182i8\\192?\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\\")u\\215j\\ENQ\\205#\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179ZN\\254W5\\236)\\145(\\205~\\b8\\129 )\\145X\\DEL)\\USn\\179\\220L!\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136v|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\202\\172\\166D\\ETX\\230I\\164_\\177\\252\\244\\162\\f\\216\\144\\169V\\182\\CAN\\253+Z0\\175\\STX\\207\\157\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&0\\248\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240i\\EOT\\241\\168\\t4BZ\\161A\\188\\149%+\\230\\176\\&3\\210\\216\\150f\\232C\\197!#n\\216\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\168\\DLE6d49Fm\\184(\\134a\\190o\\178\\180\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\178L\\SO\\245\\&6\\DLE\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\181Q\\181Xl\\FS\\224\\214\\&9\\150-\\185r\\131{w4\\t\\167M6\\226\\253\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\">d]\\174\\195\\243\\251\\234$\\171&>n\\140\\STXEw\\250\\218\\189\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"O=\\242O\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194<\\212\\171\\193\\255\\240?\\217O\\175%\\175\\145Z>\\146\\162\\CAN\\144\\220z$$|\\EM\\157\\149\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"Gd{W<\\255|?+\\144\\240;\\240\\216\\253\\253,\\201\\146m\\210\\138\\n\\DLE\\239\\227\\&0\\164\\SOHr\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\US\\203\\b\\241\\134\\DC4\\254u\\NAK(\\172\\249\\240\\176\\152~\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\245\\158\\RS6\\b-\\130\\198t\\202W8\\\"NQ\\159\\141\\168\\252\\139\\174\\225\\STX9k\\t\\255R}!\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\232\\138\\nn\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2mT\\128\\172k\\221\\166\\206\\STX\\221\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"t\\233\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"1%\\196 \\242\\181T\\155\\139\\235\\134*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULK\\161\\246/\\217\\202\\213\\192\\a\\132\\219qS\\146\\209\\DEL6@\\DC4\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"2U\\197\\141Z\\161\\203D\\239\\139\\176\\CAN\\198;\\t\\DC4Y5\\DEL\\178!\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\210\\209\\\\>3\\142\\158\\248u3\\DC2\\241\\DEL\\191\\224\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNd\\138u;\\233\\STXP#\\USbD\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"HzuY\\143\\DC4F\\NAK\\170}?)1\\150!\\191\\164\\167\\169\\185\\&9\\r0Q@-\\SUB\\US\\ETB\\SYN\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\218,\\197!J\\240Z=\\222C\\178\\&0\\132\\169\\216\\226\\STXIzm\\205\\179\\128\\233\\163L\\148\\196\\SUB\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\147\\v\\218\\163I\\255\\171\\b\\SYN\\254\\EOT\\GS!^\\ACK\\239P\\233k\\128\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\\\e\\231\\147\\&0\\EM\\DC3=\\EOT\\148\\US\\193\\142\\CAN}\\171X\\205V\\128\\b\\146\\238,H\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\148\\174\\242\\&0\\b\\SUBX\\169\\251\\183\\&9\\129\\192c\\nu\\147}x\\214v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\241\\ACK\\216jWra\\197\\195\\210\\138\\&8\\245\\ACK\\234\\221\\168\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236U3\\192n\\217\\175;f\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f!\\ETB\\225D\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\143/g\\203\\253+\\STX\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194Yh\\163\\237\\143\\209w\\218\\211`\\198\\175\\206\\b\\235\\bdb\\190\\223\\SUB\\226f\\\\\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\234\\163\\243\\202\\211\\SOu\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"91249272678556037145074554662597411300449469201848144810047957724616176098743"],"tag":"AbiUInt"},{"contents":[256,"1525696930"],"tag":"AbiUInt"},{"contents":[256,"1530216179"],"tag":"AbiUInt"},{"contents":[256,"23004767336453079481686982449071376035606541484505029363780067464429545279107"],"tag":"AbiUInt"},{"contents":[256,"510"],"tag":"AbiUInt"},{"contents":[256,"1271849101923198052625630913419911234010366944784112160375283839710287248528"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"},{"contents":[256,"42928800399921914265514151856174964217736134368134336563175628312414012085172"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1528084428"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"},{"contents":[256,"586700053687248461663"],"tag":"AbiUInt"},{"contents":[256,"885"],"tag":"AbiUInt"},{"contents":[256,"622"],"tag":"AbiUInt"},{"contents":[256,"56898959970864188160013061951945512171406392555572975036821280202515430188883"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"674"],"tag":"AbiUInt"},{"contents":[256,"113918325059988986347925761751355291159097975579298790371455632005470438447437"],"tag":"AbiUInt"},{"contents":[256,"5441906934584889052891876339752019690727537915839510251981579079127070698908"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"33522881058655900755174736058867973847489202322129325161265782808867979447979"],"tag":"AbiUInt"},{"contents":[256,"1528364555"],"tag":"AbiUInt"},{"contents":[256,"1527778298"],"tag":"AbiUInt"},{"contents":[256,"1526339440"],"tag":"AbiUInt"},{"contents":[256,"87073474001865412142377153825261796545522106671568344173832137302343132175218"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908080"],"tag":"AbiUInt"},{"contents":[256,"942686886779638060729697147750256316075972018604388605490824880933139270650"],"tag":"AbiUInt"},{"contents":[256,"8247181410841733937522887295003819430111341681632583857252218468579134143309"],"tag":"AbiUInt"},{"contents":[256,"99997910336630126119178547516578353310787013646030596408161852979711664190993"],"tag":"AbiUInt"},{"contents":[256,"5115933"],"tag":"AbiUInt"},{"contents":[256,"59215473021593721999787540912838357527"],"tag":"AbiUInt"},{"contents":[256,"605"],"tag":"AbiUInt"},{"contents":[256,"1557368086"],"tag":"AbiUInt"},{"contents":[256,"14264846795265265093873131416307148479565904025634595758017325900165018773437"],"tag":"AbiUInt"},{"contents":[256,"474"],"tag":"AbiUInt"},{"contents":[256,"4503006610870703299750191808372570535692891964161824009237872910606458543144"],"tag":"AbiUInt"},{"contents":[256,"1531962623"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"101198054150310231208546113053030971838981139497928679149065669891572058186008"],"tag":"AbiUInt"},{"contents":[256,"1535583070"],"tag":"AbiUInt"},{"contents":[256,"999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"79766277490737889830845186650605177242569366103898175371560244769027973571585"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"90369716807783114477075520950170809631139561078745539339276885437762656456456"],"tag":"AbiUInt"},{"contents":[256,"90369716807783114477075520950170809631139561078745539339276885437762656456456"],"tag":"AbiUInt"},{"contents":[256,"90369716807783114477075520950170809631139561078745539339276885437762656456456"],"tag":"AbiUInt"},{"contents":[256,"90369716807783114477075520950170809631139561078745539339276885437762656456456"],"tag":"AbiUInt"},{"contents":[256,"90369716807783114477075520950170809631139561078745539339276885437762656456456"],"tag":"AbiUInt"},{"contents":[256,"90369716807783114477075520950170809631139561078745539339276885437762656456456"],"tag":"AbiUInt"},{"contents":[256,"90369716807783114477075520950170809631139561078745539339276885437762656456456"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"4894816834957130270830085707621590132588127903866428018707481100460414458524"],"tag":"AbiUInt"},{"contents":[256,"49119028120739769136112131184072896275405111403042590705793594493739693950185"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639875"],"tag":"AbiUInt"},{"contents":[256,"1526674215"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1535550152"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628419"],"tag":"AbiUInt"},{"contents":[256,"77846262125862146865619601901009645061664050444987827841284983130177644102128"],"tag":"AbiUInt"},{"contents":[256,"7173"],"tag":"AbiUInt"},{"contents":[256,"426606556016010540061013365"],"tag":"AbiUInt"},{"contents":[256,"397"],"tag":"AbiUInt"},{"contents":[256,"5864690027613059968497827418110557949590898080650872614836788404515143670177"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"3"],"tag":"AbiUInt"},{"contents":[256,"71829797851864477501316338584095722072795343098939564306832560380106870844500"],"tag":"AbiUInt"},{"contents":[256,"37093858476305513215012128746154879218358720611401910859921759370519819253337"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000607e0","0x0000000000000000000000000000000000000000000000000000000000000319"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052403","0x00000000000000000000000000000000000000000000000000000000000001a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"75762251209863581572962837146234199182003401250800809561582941175456093773600"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080772","0x000000000000000000000000000000000000000000000000000000000000047f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002806d","0x00000000000000000000000000000000000000000000000000000000000084fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb0","0x000000000000000000000000000000000000000000000000000000000000be53"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1528380514"],"tag":"AbiUInt"},{"contents":[256,"94272775292291694882353718626181995691339884711864054565887512639267014427014"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"97954755689262722658038758790319911018550315339026335499231406429318916950239"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639934"],"tag":"AbiUInt"},{"contents":[256,"14014580202834027666215844536034894560562682288793945705442620717075883244544"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002a2","0x0000000000000000000000000000000000000000000000000000000000005f90"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"29217022923986899714953551639934722948826924824409512087466206379259629471077"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bb69","0x00000000000000000000000000000000000000000000000000000000000012f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056dd6","0x000000000000000000000000000000000000000000000000000000000000b44c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"4519079020935903132881010671871997522086431599964602740349824855811304484688"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028928","0x000000000000000000000000000000000000000000000000000000000000eb0a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f303","0x000000000000000000000000000000000000000000000000000000000000a642"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"40331130859384962354315514107245566587418450522396449578940629316740740400997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000023d8d","0x0000000000000000000000000000000000000000000000000000000000004729"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1529261364"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061708","0x0000000000000000000000000000000000000000000000000000000000005b3c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"444"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076fff","0x0000000000000000000000000000000000000000000000000000000000001361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076f0c","0x0000000000000000000000000000000000000000000000000000000000001910"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f2a8","0x0000000000000000000000000000000000000000000000000000000000000fb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a2d2","0x000000000000000000000000000000000000000000000000000000000000dad3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058853","0x0000000000000000000000000000000000000000000000000000000000008ebb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"15276580"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a39b","0x0000000000000000000000000000000000000000000000000000000000001318"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"8251036118951379689347401198395731307672587102774291168877345458096065358389"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075afb","0x00000000000000000000000000000000000000000000000000000000000001a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"1686605823172794313282808845293736184377557825633405992332276007258993501697"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c4bc","0x000000000000000000000000000000000000000000000000000000000000614b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000199bc","0x000000000000000000000000000000000000000000000000000000000000a140"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"1534949661"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135aa","0x0000000000000000000000000000000000000000000000000000000000000a24"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"25983971080095736146268036957155182282"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d340","0x000000000000000000000000000000000000000000000000000000000000bc7f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"58554683"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075c3d","0x000000000000000000000000000000000000000000000000000000000000bf33"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x0000000000000000000000000000000000000000000000000000000000005b20"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"1539981436"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004bac0","0x0000000000000000000000000000000000000000000000000000000000002d94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]