[{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"14050042587765428476138069706342734946715651756132088057869650570712794859985"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a517","0x0000000000000000000000000000000000000000000000000000000000001379"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"85321165494203795252037346940539881790234420039710298176260272992011262507706"],"tag":"AbiUInt"},{"contents":[256,"82461013917742626179062224026500372932345749646448771423209455957427886599189"],"tag":"AbiUInt"},{"contents":[256,"10001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007b","0x000000000000000000000000000000000000000000000000000000000000d9da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea17","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"1547102059"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000016","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bae","0x000000000000000000000000000000000000000000000000000000000000c05f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"46755761886071517612986204374245825986515716891898390313346079752818513610517"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138b","0x00000000000000000000000000000000000000000000000000000000000026ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"17675192794185922803294153856606114519431581961894129859176539751983017552967"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f38","0x000000000000000000000000000000000000000000000000000000000000d9d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266898"],"tag":"AbiUInt"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4a","0x000000000000000000000000000000000000000000000000000000000000c107"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b721","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639037"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c434","0x000000000000000000000000000000000000000000000000000000000000c065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"73126911737200591229566099138728483274053438996784186646445825646233183510742"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabc","0x000000000000000000000000000000000000000000000000000000000000cfae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"18077466585408157847193038104961752785725332616414030331397412037347245473273"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000037","0x0000000000000000000000000000000000000000000000000000000000001320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\GS\\240\\fJv\\239\\DC3\\NAK\\144uo`\\241\\157^\\SYN\\v\\171O\\193(\\211Opq\\a\\253\\ESC\\144\\ENQK\\224\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000000000000000000000000000000000d9d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x00000000000000000000000000000000000000000000000000000000000045ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"38984462744832694575986085024262405744856486711020722265675296882137780395471"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069a57","0x000000000000000000000000000000000000000000000000000000000000d9da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1e","0x0000000000000000000000000000000000000000000000000000000000000064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"30"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084275","0x000000000000000000000000000000000000000000000000000000000000d9d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba9","0x000000000000000000000000000000000000000000000000000000000000ab01"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000186a0","0x0000000000000000000000000000000000000000000000000000000000001346"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f9a","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069a57","0x0000000000000000000000000000000000000000000000000000000000006de1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e352","0x0000000000000000000000000000000000000000000000000000000000001c9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fa33","0x0000000000000000000000000000000000000000000000000000000000005d50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021189","0x0000000000000000000000000000000000000000000000000000000000005d4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892769"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x0000000000000000000000000000000000000000000000000000000000000086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"138"],"tag":"AbiUInt"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae9","0x0000000000000000000000000000000000000000000000000000000000003d5e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x000000000000000000000000000000000000000000000000000000000000139f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[256,"9002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b2da","0x0000000000000000000000000000000000000000000000000000000000001475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea19","0x0000000000000000000000000000000000000000000000000000000000000522"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000250","0x000000000000000000000000000000000000000000000000000000000000755a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec5","0x0000000000000000000000000000000000000000000000000000000000009a5f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"104879525599504217243234536759563078711577102997373428103158476341457376775354"],"tag":"AbiUInt"},{"contents":[256,"1998"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bd20","0x00000000000000000000000000000000000000000000000000000000000035d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089332","0x000000000000000000000000000000000000000000000000000000000000da64"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"10349044248202579426063681670658071257969170470756848523039754742607104991081"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006783f","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"107"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000003","0x0000000000000000000000000000000000000000000000000000000000001385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\241rg\\143\\148\\136\\215y\\180\\141\\154\\191\\DC4\\136\\SI\\222\\SOH\\198=\\166\\CAN`E\\155\\&2%\\145(\\233\\131\\NAK4\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028928","0x0000000000000000000000000000000000000000000000000000000000000050"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000013","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"14552559030119691415849780276504987264182034582597698262530711979640014618578"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000824c1","0x0000000000000000000000000000000000000000000000000000000000000045"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"20605332557071731247685318540485121005518118442417564438377034974777575404275"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000056","0x00000000000000000000000000000000000000000000000000000000000011aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"112070004015343824872536401595021115628872109992270164487114131630758086633699"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x0000000000000000000000000000000000000000000000000000000000000052"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001387","0x000000000000000000000000000000000000000000000000000000000000cf61"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"53029071993395107090734915422867514084582423317280746527176413874079657632441"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074d9f","0x0000000000000000000000000000000000000000000000000000000000001369"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":[256,"61192226703709545048097435385258797886104044779080399109364206750684450409475"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf9","0x0000000000000000000000000000000000000000000000000000000000000050"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000c","0x00000000000000000000000000000000000000000000000000000000000003e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"31"],"tag":"AbiUInt"},{"contents":[8,"66"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007eea7","0x0000000000000000000000000000000000000000000000000000000000002fdc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"41050381382394776721362032532836036274484770958404665508112280144787151841516"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000054","0x0000000000000000000000000000000000000000000000000000000000000066"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417344"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084dca","0x0000000000000000000000000000000000000000000000000000000000006541"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"K2\\247\\239=r\\SO\\NAK\\SUBB\"","tag":"AbiBytesDynamic"},{"contents":"\"7Stv\\173\\STX\\ETXBAi\\242\\207\\129%\\176\\DEL:\\187\\228=zM\\211J1n\\204'\\223\\137.\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"18\\210\\211\\r\\187\\218\\170\\234\\150\\211\\f0f\\218\\229U\\204\\ETX5c-\\244\\ACK6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149B\\223\\144m\\216mT\\248\\DLE\\156P\\DC2\\182\\246\\DLE\\DC3r\\184C\\206z(5*\\FS\\139@!O6\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\ETXs\\167\\ACKg\\219\\142\\177\\172,\\150\\135>\\168Z\\177\\128S\\171\\t\\STXV\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"q]\\164\\140\\&9\\an6}\\NUL}\\180|x\\bL\\RSB\\132\\210.\\162^\\241\\237\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\156h\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\181u\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\214\\231SQ\\176/ \\179\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\SIO>\\164\\US\\ESC\\240\\153\\233\\&6?\\211\\131\\EOT\\240Lm{\\131\\254\\206\\f\\US\\228\\241K\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\NUL\\192\\&1\\241\\130\\224F\\ETB\\214\\DC3\\247'u\\139\\249^\\182\\221\\203\\135\\234\\228$\\246\\234F\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\\"!\\SUB\\135\\136\\249\\246\\165\\138\\US\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"/N\\234\\163\\SO\\196\\206\\215\\RSS25\\242\\&7\\186\\207\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\";\\SOH\\206}^S\\228V\\128\\160\\CAN\\203\\187\\133\\&3\\189/\\DC2\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252.\\144HeWe\\212C2\\135\\248\\233\\204\\232I9\\ETX=\\n^\"","tag":"AbiBytesDynamic"},{"contents":"\"unt\\212\\170\\SI\\217\\168O^z\\128%\\188\\198[\\183\\ESC\\r\\136}{\\208N\\DC1\\237\\v\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184,\\146\\156\\147\\159\\206O\\177\\151\\206<\\144z\\133\\r\\162s\\160\\235=\\173I\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164+\\226\\166\\218\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nj\\224`~\\187 +\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\151\\142\\249\\200\\180\\169\\NAK_\\149\\238\\162x\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\187\\237d\\172:\\243\\176\\\"j\\129\\180rY\\152\\234\\148\\DLE\\163\\197\\210@LT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191BN\\218\\191\\138\\178GRo\\196\\129\\162\\ACK\\162G1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\232\\231\\&0a\\154?\\SI\\243\\177\\179^\\248j\\208\\242\\253O\"","tag":"AbiBytesDynamic"},{"contents":"\"h&\\165\\128\\&0\\DLE\\167\\209\\158u\\201\\213\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\187\\NAK|\\228\\&5\\182\\192\\153\\193\\ESCk\\215Z'O\\SO\\246\\160\\&8\\229\\216q(n\\139\\176\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\239\\196\\242\\199?*\\DC2\\246W\\245\\223T\\b\\187\\219{\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\178\\251\\198\\EMz\\201\\235\\236\\219A\\SUB\\145F?\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\184^\\171\\190B\\227\\bc\\231\\145\\215\\NAK\\217\\247\\221GA\\209L\\166n\\208\\184\\r\\218\\ETX\\227\\219\\238\\167\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\194\\ETX\\US\\148R\\255\\179\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224d*\\213B\\ETB\\145\\CAN\\216\\210\\233\\SYN\\245\\136Q\\156\\225\\164\\130s\\194\\212\\DLE\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\ng%\\EM\\230\\145\\r\\189\\\\\\204\\217\\157\\160k\\r\\179\\NAK\\213\\RS0\\FS\\222\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\212\\227\\248\\166C/\\138\\185U\\r\\ACKc\\225\\150(\\206qEEr\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\DLEm\\148[n\\174N\\164\\147!}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235U1\\241\\252\\DC2h$\\US\\213\\\"*\\172v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC1\\t\\179\\&9\\SYNu\\188\\130>\\242\\195\\195\\ENQ\\231Q?\\176\\&2\\211\\158\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\239\\143y\\231\\190G\\EOT\\210\\144\\180\\184\\178\\228;\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\192\\EM\\CAN\\183\\198M~\\185v[\\165\\225\\181\\169S\\203\\EMf\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\241\\CANL,n\\158\\248\\147\\190.\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\SI\\222\\SIu\\245j\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\193\\144\\207\\184\\197\\135~^\\226\\234\\v,]~\\221}\\219\\211\\146\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\152\\217\\187\\145&\\148\\b,\\131\\184\\193_p\\231D4\\155p\\249\\236\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193L\\160\\SYNt:\\146\\\"U\\\\\\SO\\148\\209\\n\\192]\\DC2x\\NUL\\193{\\203\\165\\224\\211\\237\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC2F\\164\\162A\\ETX!>\\227!_\\161\\t\\170p\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\a\\b\\234\\176\\183P\\192m\\200RgI\\163[\\157\\SOH\\151\\186\\173\\168\\nr\\DLE\\236f\\186\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"k E@\\236\\139\\187\\214\\\\\\242r\\142\\168\\215&\\255\\\"\\222\\153\\&8j\\133nWn\\193\\150\\206\\244\\209\\135\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\",\\198V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\231\\EM\\225r{\\NUL\\234\\192o&\\178\\245j\\146!\\163\\242\\239\\168\\210\\231\\&0O\\r\\169`\\184\\230\\FSK\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\DC2\\201~f\\187!\\SO$\\230\\251\\179|\\194\\&2\\170r\\227\\143u]3blz\\164\\&7\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\152\\186\\132\\205\\205\\STXN\\US\\245\\v\\235zl\\DC3\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206I\\143\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"EA.I\\152k\\139SM\\DC2j\\165\\164]M\\190gK\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"R\\CAN\\217]\\184\\&6\\SOH\\143\\NUL\\208\\ACKv\\CAN\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\219\\232Ze\\227\\153\\240\\ACK\\211vu\\GSW\\209\\230\\222\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\137\\183\\149\\EOT\\193B\\175\\164\\166\\130\\172\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\195\\203\\211T0\\252\\136\\163P\\206\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\218\\220D\\DLEr\\238\\185\\&9\\EOT\\n\\132\\229\\STXxt6{J\\176|\\149\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\182\\237\\142\\130\\253\\208H\\137\\ESC\\145\\197\\151\\141\\170H7n\\SYN\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\166\\227\\CAN!\\180\\GSU\\215\\f\\207\\136\\170\\&1\\ESC\\\\\\247k\\208\\174\\241H\\166\\194\\140\\131\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!!\\180'` y\\254\\186\\218\\225\\rJ\\248\\136\\173\\SUB\\NAK\\248\\206\\161\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147A[V\\215\\&5\\208*\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\174\\USH\\131\\201\\184\\171z\\235~\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBi.\\138\\163R\\236\\&5\\128J\\ETX*\\229\\GS/\\184d\\t\\176T\\206\\145\\NAKF7\\161\\152j\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254UF\\DLEw\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\213;\\160o\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\212C2\\DC2\\219\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\CANF\\229?\\155\\204]E\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"0U=\\204?\\201)\\149TW\\206\\204d\\DC3':a\\159\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\188e\\159\\214q\\207\\254B\\255\\202\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANWn\\FS^\\145\\194\\169\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\242\\146*\\134f<\"","tag":"AbiBytesDynamic"},{"contents":"\",J\\152E\\226\\147\\209\\207\\175\\225\\247\\DC1\\225\\154ZF\\DEL\\183\\172\\174P\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188^\\254\\155\\160\\\\_7\\194\\tN\\215\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\178\\173;k_\\160\\149r#\\196q\\220\\EM\\234p\\200\"","tag":"AbiBytesDynamic"},{"contents":"\" \\225O\\228\\204\\193rJ\\217\\254i\\198U\\DC39\\\"\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\190T\\225\\179#\\DC3&\\248\\177\\GS\\184\\129\\SOHl=\\211/\\150\\ETX\\176\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\239\\SI\\DLE-\\146-t9\\170;8\\DELSI\\233\\145\\n\\DLE\\212\\144\\141v\\234\\195\\&60\\169\\\"@\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"cj\\vm\\155\\133}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\&1{\\187(\\STX!%e\\RSu\\202C\\225\\213>\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"704"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553534"],"tag":"AbiUInt"},{"contents":[256,"67739260064421130339057173639676222283814467223898597313476070773438154946560"],"tag":"AbiUInt"},{"contents":[256,"46555435824736235362135271368464635341965458193804469923642759690057902724671"],"tag":"AbiUInt"},{"contents":[256,"93004891339632004606906711939644660063815305616254451263792295638815077551192"],"tag":"AbiUInt"},{"contents":[256,"22"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639897"],"tag":"AbiUInt"},{"contents":[256,"57816819129732854412759978960431877633064199897832077251752572893614554623079"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"103341194173503938184608304303565338819332594761667300341345599478541160310632"],"tag":"AbiUInt"},{"contents":[256,"103341194173503938184608304303565338819332594761667300341345599478541160310632"],"tag":"AbiUInt"},{"contents":[256,"103341194173503938184608304303565338819332594761667300341345599478541160310632"],"tag":"AbiUInt"},{"contents":[256,"103341194173503938184608304303565338819332594761667300341345599478541160310632"],"tag":"AbiUInt"},{"contents":[256,"103341194173503938184608304303565338819332594761667300341345599478541160310632"],"tag":"AbiUInt"},{"contents":[256,"103341194173503938184608304303565338819332594761667300341345599478541160310632"],"tag":"AbiUInt"},{"contents":[256,"103341194173503938184608304303565338819332594761667300341345599478541160310632"],"tag":"AbiUInt"},{"contents":[256,"103341194173503938184608304303565338819332594761667300341345599478541160310632"],"tag":"AbiUInt"},{"contents":[256,"103341194173503938184608304303565338819332594761667300341345599478541160310632"],"tag":"AbiUInt"},{"contents":[256,"103341194173503938184608304303565338819332594761667300341345599478541160310632"],"tag":"AbiUInt"},{"contents":[256,"103341194173503938184608304303565338819332594761667300341345599478541160310632"],"tag":"AbiUInt"},{"contents":[256,"103341194173503938184608304303565338819332594761667300341345599478541160310632"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"},{"contents":[256,"68436680779344048108591324634363108065217950992196436549759593390633134942941"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"82258939250132712699823326173633518852334425624434197452415280809529427831447"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630932"],"tag":"AbiUInt"},{"contents":[256,"63322181712831069377442355729761359577935988306026303753969615890620014443999"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689602"],"tag":"AbiUInt"},{"contents":[256,"76866264130838638996315332041471873097236040692031934707178024845697697707647"],"tag":"AbiUInt"},{"contents":[256,"40333551286700447770040708888386611172823931375290007990720606944482468729476"],"tag":"AbiUInt"},{"contents":[256,"115519758590146688115843314715575141487152542504318970135845642747257763447499"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"61133244451399748035620841508748173738109560575042399197080546045634553810598"],"tag":"AbiUInt"},{"contents":[256,"109106572114346955971472253003925526600484609276133713022922141385437680163791"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858878"],"tag":"AbiUInt"},{"contents":[256,"3998"],"tag":"AbiUInt"},{"contents":[256,"108614720091921663460477915261938960315205424761385797491828250306741429599205"],"tag":"AbiUInt"},{"contents":[256,"258"],"tag":"AbiUInt"},{"contents":[256,"44458879795018965880916296753160616896222881146033261972193460617638967940766"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"113564221308752984951864011898782432480505098181647329156627610438270653162196"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062338"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639815"],"tag":"AbiUInt"},{"contents":[256,"399420655536019141687095522957151293708342186191956771670712561784476993954"],"tag":"AbiUInt"},{"contents":[256,"1542708199"],"tag":"AbiUInt"},{"contents":[256,"17037468079980967153363934573578981843712151738053207061267701037745592416821"],"tag":"AbiUInt"},{"contents":[256,"29989342444818076411127312840053759932683714138199929715254830087719210947271"],"tag":"AbiUInt"},{"contents":[256,"108379897690650389749234937695865856055125502875834166567943261309787899354608"],"tag":"AbiUInt"},{"contents":[256,"7865990490939198996250261295758680029693916910039494857415938219776753813373"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132606"],"tag":"AbiUInt"},{"contents":[256,"84233000303636803276381404903682137100274229789830270800781659198861962664143"],"tag":"AbiUInt"},{"contents":[256,"9740856945247653948790862486404640025333164864219368053790764220053133334597"],"tag":"AbiUInt"},{"contents":[256,"36091409409069280849857435324840850212237727472711826610782610537411591153105"],"tag":"AbiUInt"},{"contents":[256,"88823982076641231166678744043218255047245154948581514576349719410359289052127"],"tag":"AbiUInt"},{"contents":[256,"1825685698650426575408496844670118177"],"tag":"AbiUInt"},{"contents":[256,"43684674992700254854225224100012677492971637488995205360831192975026248628609"],"tag":"AbiUInt"},{"contents":[256,"588"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637939"],"tag":"AbiUInt"},{"contents":[256,"106389703099674600623693512175829890066242024277586003929743220878080205162290"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551615"],"tag":"AbiUInt"},{"contents":[256,"71852068209688523597355980855803827374027537792493128359135638581593456125999"],"tag":"AbiUInt"},{"contents":[256,"98401602873032590127115629718562879767228609699438728149227971875191617458712"],"tag":"AbiUInt"},{"contents":[256,"10042700630194728773364743709721396907319054390260174783482102208700694262172"],"tag":"AbiUInt"},{"contents":[256,"68924845616517159150271107160090720653498961422293660364710628844659277400958"],"tag":"AbiUInt"},{"contents":[256,"80414644413817817728219939972726839059838719487713401563198419406861372415168"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"94397256070796227341143834060553464472940527348439129582865551974618365790906"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639890"],"tag":"AbiUInt"},{"contents":[256,"110856886852586477925308675998006273047159891655523634795885877618041975607616"],"tag":"AbiUInt"},{"contents":[256,"58122545599564823661610880391322008842830038217537709719706735988609702666701"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639636"],"tag":"AbiUInt"},{"contents":[256,"141"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553537"],"tag":"AbiUInt"},{"contents":[256,"90591318259587007563166105311746242444079657221299411138705109259349316453237"],"tag":"AbiUInt"},{"contents":[256,"1525105280"],"tag":"AbiUInt"},{"contents":[256,"31237498522084095458345986829184388345912951617062026680806904867158286846482"],"tag":"AbiUInt"},{"contents":[256,"4002"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950337"],"tag":"AbiUInt"},{"contents":[256,"90867071649177516435954740503151813111452465824286065481653513896638366636413"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x000000000000000000000000000000000000000000000000000000000000133c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa2","0x0000000000000000000000000000000000000000000000000000000000009205"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"90313934456495027145249888007161536917540958645567306968011795448328151276290"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb43","0x000000000000000000000000000000000000000000000000000000000000058c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"94135917451927749709883564333960063406574362354786547410035296290278608107569"],"tag":"AbiUInt"},{"contents":[256,"96027765019227276303424464349759058542416205017319294040656276444169009071442"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"45678041559646777068265879831765674521977532826314210636784750564841995592752"],"tag":"AbiUInt"},{"contents":[256,"64544756172120924546271405699039408277145745701989621448402059199613784662678"],"tag":"AbiUInt"},{"contents":[256,"903"],"tag":"AbiUInt"},{"contents":[256,"257"],"tag":"AbiUInt"},{"contents":[256,"82067455870157392670490535295219892873163715745917955180515340769698176174209"],"tag":"AbiUInt"},{"contents":[256,"60663637569059919111148295371402485722222710887686101998112963465591422275107"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892765"],"tag":"AbiUInt"},{"contents":[256,"681"],"tag":"AbiUInt"},{"contents":[256,"93384854158062168324049025259686410154708040259556363794732248091577099141916"],"tag":"AbiUInt"},{"contents":[256,"502"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"88763058407576268242214416342158142563336941298291869867726890693972380376186"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035136"],"tag":"AbiUInt"},{"contents":[256,"47494256834207396729826718977624230893954038166613121903576653082615298862075"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639898"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088319"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638938"],"tag":"AbiUInt"},{"contents":[256,"393"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e350","0x0000000000000000000000000000000000000000000000000000000000000016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000005ef735058472e48b"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000062","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f7","0x0000000000000000000000000000000000000000000000000000000000001392"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c4","0x00000000000000000000000000000000000000000000000000000000000007d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"22345443462758307049656796557956506508273991199500169479582165163628753754332"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb32","0x000000000000000000000000000000000000000000000000000000000000232b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068c67","0x0000000000000000000000000000000000000000000000000000000000000e14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d1b7","0x0000000000000000000000000000000000000000000000000000000000000391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000381","0x0000000000000000000000000000000000000000000000000000000000009202"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ef9","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"5539213512660236967267038471544275738948613276768583303301713401061646966845"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bce","0x0000000000000000000000000000000000000000000000000000000000000031"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e923","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ee","0x0000000000000000000000000000000000000000000000000000000000000078"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4ff","0x000000000000000000000000000000000000000000000000000000000000004f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577599"],"tag":"AbiUInt"},{"contents":[256,"46942533444955552437251488166081075302398266339704016429333188465293024829265"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266896"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1c","0x0000000000000000000000000000000000000000000000000000000000001022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"o\\USlrc5\\181\\222\\223\\182l\\162\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\152=\\148MO\\135\\153/\\150s=_U\\t \\185\\US\\206\\EMI\\165,\\SI;\\234\\181\\129\\244\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172k\\CAN\\254\\DLE}Z\\156r\\246\\186\"","tag":"AbiBytesDynamic"},{"contents":"\">eu\\130\\133\\176z)\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\255\\163\\252\\137h\\204\\242\\210w\\ACKZ\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"az\\EOT\\152\\b\\138\\174\\206PH.p\\215y\\154\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\r\\136-\\160\\&5(n\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\&0%\\140\\213\\241\\172\\242\\253z\\235\\167C\\245*>FEn\\SYN\\182\\155\\236\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\150\\&3\\199\\166w\\214\\EM?\\166\\SUB\\148;\\183\\250\\212&Z\\188mar\\186|@\\184VH\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\200\\131\\211Dw\\206\\214\\224H\\215K\\146\\&0\\SI\\175:\\249\\DC1\\232dC\\219`\\172L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\226\\169T\\225\\178@?m\\137r\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"FQ\\153\\166\\197\\212\\153\\207\\193\\233\\172;\\236\\n4\\246\\228\\130\\223\\DC4\\240\\153\\133\\181\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\EOT\\t\\252\\201P\\228\\NAK`[\\197\\EOT*\\135Y#n\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\190\\179\\NAK\\191\\186\\224\\129f\\187\\CAN\\205,`\\184+\\235\\CAN\\r\\149b\\145\\GS\\r\\162)\\200\\248\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\167\\217\\199\\CAN@\\US\\247\\&9N\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\143\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\STX\\\\\\rh\\NUL\\r\\198\\&8\\169\\DLEe\\ESC\\134\\147\\218\\169;p\\SYN\\147a\\169\\153\\DC2\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"Z!\\SYN\\191\\212\\158\\164Ns\\ETXI\\224Z\\254\\187yc\\154\\DEL\\172\\&6*i\\131\\218 \"","tag":"AbiBytesDynamic"},{"contents":"\"\\195R0Ht\\214h\\DC3 \\191%6M$\\168:WAq\\130\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL!\\241\\231\\168\\179\\220\\221\\223\\246\\194Ve\\163\\226Hg\\DC4b\\232\\211\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\tp}\\147\\FS\\249@\\135\\137\\ETBX\\ACKQ\\230\\180\\191\\203]ff\\185\\214\\SYNe\"","tag":"AbiBytesDynamic"},{"contents":"\"1L\\SO\\151\\NAK\\SO5-\\174;9\\SUB[#\\174\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX+\\228\\160\\222j.T[\\131#\\183F&\\144\\253\\b'\\DC1\\SUBW\\242^NX}\"","tag":"AbiBytesDynamic"},{"contents":"\"/e63\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\235s\\246Sa\\192\\FS/\\RS\\ENQ\\171\\&83\\226K%n@\\163<\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"6F\\182\\a\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\255\\165\\193\\EOTh\\225er\\166\\131?\\185\\194\\211\\234\\EOT\\219\\195\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242 \\250[e\\216k\\135\\DC1e\\228\\209?\\141\\234\\185d\\218\\229\\239g\\169\\r\\137\\231\\r\\213\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176{\\195\\167\\DC2\\235\\228\\EM\\\"\\168\\153\\196e\\DLE\\160/K[~h\\223l\\174f\\141>\\130\"","tag":"AbiBytesDynamic"},{"contents":"\":\\t\\155\\171\\246\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\252\\CAN\\a~\\194-\\171\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"EE\\183\\163\\163z\\156\\&4\\162%\\185\\221TN\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\139*\\201\\191w~\\SOY\\144\\DC2\\213\\185\\137H\\NUL\\163f\\240J\\235\\164\\DEL\\187O\\236i\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\139op\\244\\175\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\230\\199\\245\\ETX\\US}\\US\\NUL\\179\\154\\144\\131\\DC2}\\190\\235\\172\\240Y)\\188\\202y\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146GpZ\\219\\196\\200\\183\\t(#w\\153\\155\\218\\172u\\202\\187,\\240\\f\\209\\175\\219k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\230\\170a\\130[\\203\\&3\\185b\\188\\a\\EOTEA\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\188\\SI\\ESC\\203\\&2\\149\\235N\\162I\\227Q\\191\\174\\&3\\188\\EM\\tbf~\\167t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184^\\251\\239\\251\\226\\US\\252]\\228aJ\\198\\214\\246\\169\\163\\225 \\246UG\\\"\\GS\\251\\155\\177\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\148\\160\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\216\\RS/\\211\\243T\\144\\DELO\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131i\\156XG\\NUL;\\t\\STX&\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\144\\EM\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"<!\\185 \\231\\&8\\139\\208f\\DC2\\184\\218\\230\\GS\\DC3\\135\\189\\224\\US\\214\\241LeC[\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\132IJ\\244\\199/\\ETB\\211<\\210\\GSG\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\":~\\STXv\\ESC\\203D\\EOT\\132p|d\\169\\DEL\\209}\\182\\182\\193\\254\\184f\\196\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\DC1x\\224-(\\155;\\DLEs1\\251\\159\\197\\159\\232\\137K^zD k\\217^G\\151\\216\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SYNLE\\SYN\\246\\179\\ESC\\DC3\\235E*\\163\\&3\\\"\\146:.z\\ENQ2 \\171%\\170;\\135\\ESC\\193\\198f\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188P\\161\\132h\\SOP\\149>\\162\\SOHSwR\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\246B\\242\\206\\142|\\228\\154X\\229\\241R\\237\\172\\US\\207\\221\\&0\\158JF\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\146\\186\\236\\rK\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\234\\153\\GS\\218B\\r\\163\\EOT2-U\\NUL\\153\\245\\210\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\152\\208q\\204\\176#\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142P\\ESC.\\180\\ESC\\138\\220\\n9\\183EJ\\a\\DC1\\t\\204-\\172\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\190\\208\\&1\\131\\170xl\\166pYJ\\146\\174\\217&>\\CANK\\202i\\206\\232\\183\\159\\195\\139\\250\\133h\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\220\\188\\202\\169~m\\213\\237\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\162\\&6\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\191\\181pX_\\223\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214kP/*d\\141;W,\\242\\GS\\186l\\167m\\ACK\\245\\222\\&7$a\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\185\\229x\\216\\243Y\\NAK\\208*o\\239\\153\\EOT\\246\\235\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"3;\\250\\242\\218\\195_\\154Q.g\\184\\217\\t\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\238\\167\\174\\204\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\178\\196\\172\\&6L\\230\\244=\\148\\NUL{o\\206\\187\\141\\190\\&0\\154\\192L?mX\\153\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\152:\\207A\\230\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144=\\131\\161\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\ESC\\US7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\214\\255\\158\\180\\207\\178h\\218z\\147\\&7\\150\\&1/\\182\\251\\173\\ETX\\SOW\\SUB\\239\\137\\142r\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\SYN\\150E'N>&%x@*fM\\167\\ACKV\\236\\137\\FS\\211]\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210Nw\\175\\205\\GSYnU\\ETB,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\228\\&2\\155A\\RS\\170!\\183\\176~\\209|\\244Q#\\SUB3]\\247\\227\\162\\DC2zn\\136\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"x:1\\n\\160O(\\190\\165\\189{\\249B\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\163\\204\\217\\244\\v\\248!\\194\\US\\233\\167\\129ur\\244cp\\210\\235BVD\\140\\148I\\230\\166\\vV\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\220>\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\224\\177/\\144\\\\KL\\230\\171\\175\\254Z\\b\\141\\240WO\\190F\\174\\203\\153\\167\\&9]\\247\\183y4.\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158Sj\\221\\US\\176\\DELKe\\233\\140Q\\211\\245M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\232jo\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\133\\153\\140Y\\225\\131z\\174\\191\\232)S\\194\\158O\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"92346151585935583881493719364012017143493331634447266893478103496532714041945"],"tag":"AbiUInt"},{"contents":[256,"12656687124779454637847447104631903387339184339529170715510560174430944879362"],"tag":"AbiUInt"},{"contents":[256,"67703207569603627819515985197928873953398870834962677384110509554401015998127"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639879"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639678"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030337"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639842"],"tag":"AbiUInt"},{"contents":[256,"107193097327674892776645699786179747217810959142077842032943312691982014322667"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630935"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"79170238056565903732917107900434068203950150121100888403585072432212098871502"],"tag":"AbiUInt"},{"contents":[256,"5004"],"tag":"AbiUInt"},{"contents":[256,"34825488807350481152603813184254971704073546087576192360842548118964794824016"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639937"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222593"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"50633191130742228482093351022609091288624783557862292653381564827028950562272"],"tag":"AbiUInt"},{"contents":[256,"10001"],"tag":"AbiUInt"},{"contents":[256,"17146700412167310775351939829486065886201560788644857160782084513441449842348"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"589"],"tag":"AbiUInt"},{"contents":[256,"113910063954938211667560981931057081155401740147197021784899446446026868748611"],"tag":"AbiUInt"},{"contents":[256,"7688528799025106994978211189166152235728958229855770889064219473920683606359"],"tag":"AbiUInt"},{"contents":[256,"33894313886882469625687062292497456659739058088139936534448515589150326243541"],"tag":"AbiUInt"},{"contents":[256,"76493710186861739418512434561438916644720465275891726842881665567745475267547"],"tag":"AbiUInt"},{"contents":[256,"5659949000159540054089011008659076734318884058715826031724824021920798955483"],"tag":"AbiUInt"},{"contents":[256,"76492004456032638996331142030620521527623942946175932337370350966992013523228"],"tag":"AbiUInt"},{"contents":[256,"35"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639861"],"tag":"AbiUInt"},{"contents":[256,"17916264786018905474287879282845850443735964571009411163946753799839413522267"],"tag":"AbiUInt"},{"contents":[256,"604802"],"tag":"AbiUInt"},{"contents":[256,"107041919381400111448949907886234485610215122830049114377158555540238952083336"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266892"],"tag":"AbiUInt"},{"contents":[256,"23707455024642904861567763350019901986532851949750651147465733279477694998517"],"tag":"AbiUInt"},{"contents":[256,"99999999"],"tag":"AbiUInt"},{"contents":[256,"7728905593126314635343878544821249173170450974912854579865465206979435446977"],"tag":"AbiUInt"},{"contents":[256,"604800"],"tag":"AbiUInt"},{"contents":[256,"1313373038"],"tag":"AbiUInt"},{"contents":[256,"73413455355823309665743916645786557578545087350060598152341566419997033743312"],"tag":"AbiUInt"},{"contents":[256,"5976146421924039858684346528958746168045672441365457446973097428493811534299"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639435"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"52316255950068279341518855747377052577970711797768137414556396184764886108690"],"tag":"AbiUInt"},{"contents":[256,"4492780641259096381962887408969085594393141517274723648109487943532241022990"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639934"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"},{"contents":[256,"903"],"tag":"AbiUInt"},{"contents":[256,"611"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222595"],"tag":"AbiUInt"},{"contents":[256,"4998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"110418734805534187364894061116767858434483760000549299436704872742186951528698"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030336"],"tag":"AbiUInt"},{"contents":[256,"28965117629428056554201689759101842097684323312158545208136417070309678600904"],"tag":"AbiUInt"},{"contents":[256,"15661698510051925702032099681153089963166137959217602338242211167585405849342"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062339"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639880"],"tag":"AbiUInt"},{"contents":[256,"8509046478302400659092486144350366003678320203522098847106849445264896308089"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"41267087375717949918415026262729277693801634410449849237105251671528995705739"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639890"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"20836593200246283970988152231209858278197919708452609447797481732504367386451"],"tag":"AbiUInt"},{"contents":[256,"1733644737"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639905"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639919"],"tag":"AbiUInt"},{"contents":[256,"5624789462361359728991156774594926901129316333714176556905979150575381557997"],"tag":"AbiUInt"},{"contents":[256,"34046023723535734969979660142504055061984826404577565790183672386916951092842"],"tag":"AbiUInt"},{"contents":[256,"31766361853352899764848464210902629735012134970453880722864732465023976403728"],"tag":"AbiUInt"},{"contents":[256,"49"],"tag":"AbiUInt"},{"contents":[256,"849"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"40700681605290364865306938855769710583753010870831083227327646053709605498577"],"tag":"AbiUInt"},{"contents":[256,"1181503"],"tag":"AbiUInt"},{"contents":[256,"35155727122029299187937504190184676222989181515943788724796326286789121271312"],"tag":"AbiUInt"},{"contents":[256,"29202248276287263758338440033416835153299817978121589812477895417939788999428"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"5920675269237876409792673504871374930858484018485380789949437985381556299875"],"tag":"AbiUInt"},{"contents":[256,"101"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731854"],"tag":"AbiUInt"},{"contents":[256,"89954220040542485344584829922995007878945744636466290165449982837516551333747"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639636"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636337"],"tag":"AbiUInt"},{"contents":[256,"795"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c433","0x000000000000000000000000000000000000000000000000000000000000136a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"79228162514264337593543950335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x0000000000000000000000000000000000000000000000000000000000001390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"31"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"46"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027ad4","0x0000000000000000000000000000000000000000000000000000000000009200"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000005","0x000000000000000000000000000000000000000000000000000000000000653d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb1","0x0000000000000000000000000000000000000000000000000000000000009aa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164a","0x000000000000000000000000000000000000000000000000000000000000a297"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052400","0x0000000000000000000000000000000000000000000000000000000000000039"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdd","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e8","0x000000000000000000000000000000000000000000000000000000000000653d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]