[{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"26326193076647173706305014728983693399123103590786102798893462385928587189137"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f4","0x000000000000000000000000000000000000000000000000000000000000138a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"102965924602508452042909179077370155176459545150896022871658822395983278143924"],"tag":"AbiUInt"},{"contents":[256,"13"],"tag":"AbiUInt"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002328","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014ba3","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"353"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b6a","0x00000000000000000000000000000000000000000000000000000000000031af"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"56461186935165039529614105802873197091404551899091186702315996230562301042873"],"tag":"AbiUInt"},{"contents":[256,"51939654948243340545708691052230209389206336408621555840774752116868830147847"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fc","0x0000000000000000000000000000000000000000000000000000000000004f13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4b","0x0000000000000000000000000000000000000000000000000000000000000017"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"121"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a515","0x0000000000000000000000000000000000000000000000000000000000001276"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"1542607233"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000432bb","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055773","0x0000000000000000000000000000000000000000000000000000000000004b97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008345","0x00000000000000000000000000000000000000000000000000000000000003b1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"40199079234395097037718702901286318660046825466051899684816046752007118362385"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5e","0x0000000000000000000000000000000000000000000000000000000000002607"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb36","0x000000000000000000000000000000000000000000000000000000000000231f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"500"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7e","0x0000000000000000000000000000000000000000000000000000000000000fb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[8,"104"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c2e7","0x00000000000000000000000000000000000000000000000000000000000054ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb25","0x0000000000000000000000000000000000000000000000000000000000000027"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d53","0x0000000000000000000000000000000000000000000000000000000000008197"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"49"],"tag":"AbiUInt"},{"contents":[256,"7486114195238201578994913148015099819924911868898801798811049106698273650825"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089d02","0x0000000000000000000000000000000000000000000000000000000000002c00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045aa1","0x00000000000000000000000000000000000000000000000000000000000023a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001672f","0x0000000000000000000000000000000000000000000000000000000000005fb0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000330","0x0000000000000000000000000000000000000000000000000000000000004be4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000012020","0x000000000000000000000000000000000000000000000000000000000000db73"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"111984144578047110430833882239933751781539337585402226991112008201947539881652"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b3a3","0x0000000000000000000000000000000000000000000000000000000000002a01"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"1547385598"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000826f6","0x0000000000000000000000000000000000000000000000000000000000000ea6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"10846669587712362185695730842574485480617141875868266445620117619929064037755"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002dceb","0x000000000000000000000000000000000000000000000000000000000000339f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"1552454987"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e483","0x0000000000000000000000000000000000000000000000000000000000006c7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a42a","0x0000000000000000000000000000000000000000000000000000000000008499"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f1e2","0x0000000000000000000000000000000000000000000000000000000000009240"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"72647281742913134721576512485722907220662020551676218869499806502751221923258"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004230a","0x0000000000000000000000000000000000000000000000000000000000005a7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"21626665034382216962586590506662576056541465928784765183538052364739461933163"],"tag":"AbiUInt"},{"contents":[256,"1528954509"],"tag":"AbiUInt"},{"contents":[256,"4426588927256328517087656974036453368911690440371683005767165425372547037884"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040b41","0x0000000000000000000000000000000000000000000000000000000000005776"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x5e5572F463FE04963DD4aC2b15b2f4fc28EF150C","tag":"AbiAddress"},{"contents":[256,"1533679255"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f7a0","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"1530831103"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083c9f","0x00000000000000000000000000000000000000000000000000000000000046bf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"65"],"tag":"AbiUInt"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":[256,"75849924576579169207435819863093448020819021410679721354162036764342550913672"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000632af","0x000000000000000000000000000000000000000000000000000000000000dd78"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"11031587017131508316473943374382562426825060833170239685640948802818178752026"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051cb4","0x000000000000000000000000000000000000000000000000000000000000237a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":[256,"106041554517051008512025856239412553115216596160220434647960008142392464835040"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ab13","0x000000000000000000000000000000000000000000000000000000000000012f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d8fe","0x00000000000000000000000000000000000000000000000000000000000094c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006cb6b","0x000000000000000000000000000000000000000000000000000000000000d5fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000556a7","0x00000000000000000000000000000000000000000000000000000000000019ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e739","0x000000000000000000000000000000000000000000000000000000000000e49f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000568ba","0x0000000000000000000000000000000000000000000000000000000000003a9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"679"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002bd","0x00000000000000000000000000000000000000000000000000000000000090a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"40440370072410780704079306080274454677132025709404349023428354061593764613771"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f815","0x0000000000000000000000000000000000000000000000000000000000001021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008314e","0x000000000000000000000000000000000000000000000000000000000000abe4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"107736947901397844661305300401222670131156214883596365506520233359172510093586"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000079066","0x0000000000000000000000000000000000000000000000000000000000004631"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001efd6","0x0000000000000000000000000000000000000000000000000000000000005e83"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"1542368643"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e5","0x000000000000000000000000000000000000000000000000000000000000316e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"110770201387294769024727881359064462419084364243000810208393961667994308436927"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132608"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007240f","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"29389620"],"tag":"AbiUInt"},{"contents":[256,"223977235542673146173511682104299717389889478919168914066871514798349991283"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045c69","0x000000000000000000000000000000000000000000000000000000000000c70c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000637e3","0x00000000000000000000000000000000000000000000000000000000000051f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"83599085423244835658890979056462309413255853703447030773077217842010570298107"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022848","0x0000000000000000000000000000000000000000000000000000000000000018"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"402541042"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001fcc","0x00000000000000000000000000000000000000000000000000000000000003f0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"83855141054867132072674465424478671890124569224064127510367604415334407049252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054380","0x000000000000000000000000000000000000000000000000000000000000dccd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x5e5572F463FE04963DD4aC2b15b2f4fc28EF150C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0xE194aA6b80fFd71989dd196c7f84fa624b8d7D5d","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0xB7D2d61ec425c5B32B32291Ef912EFaE84a92617","tag":"AbiAddress"},{"contents":"0x6b784eC8A6AbBa82D3abE46c3AB3a65d730dC51C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"194"],"tag":"AbiUInt"},{"contents":[8,"80"],"tag":"AbiUInt"},{"contents":[8,"140"],"tag":"AbiUInt"},{"contents":[8,"103"],"tag":"AbiUInt"},{"contents":[8,"160"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039aae","0x00000000000000000000000000000000000000000000000000000000000000fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a6b5","0x0000000000000000000000000000000000000000000000000000000000009304"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"12101087259928913261055392535485697536411491709981685386360856561513493518243"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001397f","0x00000000000000000000000000000000000000000000000000000000000011ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"89087683982552703490456729"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000820b","0x00000000000000000000000000000000000000000000000000000000000029c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"1552396574"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017362","0x00000000000000000000000000000000000000000000000000000000000026a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":[256,"49202694800127242952745702889477864789495662912908808054902809455916382798205"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004ddf","0x000000000000000000000000000000000000000000000000000000000000995b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"49728905071776798373329367584688022110289146570571461434048750515376808436352"],"tag":"AbiUInt"},{"contents":[256,"92482430637990826369641667528573541730337257811111422687016527953627847647193"],"tag":"AbiUInt"},{"contents":[256,"9494820896412803142207119"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000622a1","0x00000000000000000000000000000000000000000000000000000000000022ca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"1539654561"],"tag":"AbiUInt"},{"contents":[256,"239810753454893983812858639608868977247"],"tag":"AbiUInt"},{"contents":[256,"97800549087250608782322788760367861191078283233273853355316532728126099476997"],"tag":"AbiUInt"},{"contents":[256,"92173963261513833338000979"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008918d","0x0000000000000000000000000000000000000000000000000000000000008542"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639841"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029e7b","0x000000000000000000000000000000000000000000000000000000000000a71f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003ac63","0x000000000000000000000000000000000000000000000000000000000000c6ef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"145194379719741978140367202736776853720055733721047697154363"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003eb","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"35554954371724218838326597590605431784352108261681219307206912364145351014373"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000dd9e","0x000000000000000000000000000000000000000000000000000000000000c0b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x0b4901e95Bd9d6F61aB1E42F47F8422f2A134251","tag":"AbiAddress"},{"contents":[256,"845478354627531304"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089637","0x0000000000000000000000000000000000000000000000000000000000000940"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f1cf","0x0000000000000000000000000000000000000000000000000000000000000f63"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003566d","0x000000000000000000000000000000000000000000000000000000000000567c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\165\\157\\186\\156\\155W-\\181e\\150R\\\"\\a\\174S\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132&\\STXn\\254\\234\\146[\\185\\183(\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\aq\\255y)\\DLE\\195\\235\\181\\168\\248CV\\153\\n\\187\\228\\152-\\173$\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\220\\ETB\\180\\165\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\151pxe\\228\\142\\&4\\n@}Yzl\\233\\234\\246\\186Y\\SOH\\149\\130\\178V\\181\\241\\NAKA\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\185\\193.\\134\\143z\\193\\141U\\154\\149\\213\\179e\\137\\208\\128\\169<\\198\\130Tp>|\\234`\\195\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\ng\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"s*@\\NAKi\\245\\224b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\134D\\238R<e4\\247.\\NUL\\251\\188d\\169\\SUB\\188d\\145\\&7o,x7\\234\\175\\248\\&6\\n\\214\\197\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\SI\\246y:\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\221\\160\\197\\242\\218\\249\\177\\193\\129DV\\243u$N\\STX\\221\\236\\224\\160mx\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\136\\129\\238\\177\\171\\186\\185\\DC4\\169 2\\190\\FS\\210T?\\231h\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\242\\201\\129B\\RS\\155N\\230\\233\\185\\222\\201a\\171\\255\\189PP7\\177\\202\\153\\171\\143\\ESCZ\\165\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\214\\&0\\f+m\\SI%8\\205\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"c%\\209d\\255\\184?P\\187{}\\231\\167\\184$g\\ETB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\v\\176\\193T\\ENQTp9R5q\\194\\156\\171\\&8y\\SYN1\\ETX\\239\\164\\150Dz\\205\\209\\199\\185x\\174\\DC1\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\142-\\144O\\v\\NAKt\\US\\206\\185a\\138\\248\\STX\\EOT\\\\\\191\\143\\b\\255\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\SUB\\203\\149\\SIU\\146l\\238\\138\\154.\\128vBv\\205\\\":\\185\\160\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\229*\\247|\\154\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\166\\DC4\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\143%R0\\NUL\\177\\226Q\\213S\\194\\f\\NAK\\252\\DEL\\SUB\\160C\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\202\\SUB\\DEL\\208\\226%xF\\186\\236\\\\\\255\\US\\251\\155-\\131\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\180\\212\\209W\\225X\\190\\175\\133\\182\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\252\\217\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\130\\163uz\\229\\138\\144\\131\\EOTc\\142\\199\\RS\\198C\\183\\\"}\\157\\DC3\\\\gI\\177\\218\\149\\185-7\"","tag":"AbiBytesDynamic"},{"contents":"\"d_\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\246o\\169\\DC2\\217\\154\\&3Y\\201\\245\\185\\\"\\170\\133_7yuf\\ESCbG\\171S\\244\\241\\176\\&5\\NAKY\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\GS\\ESC\\162\\226I\\GS\\238/\\229\\185[\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"kW7\\144\\153\\163\\141*\\185[\\237\\189\\160g\\170\\198\\240\\210 \\153G~\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244)L\\nJ\\232\\254\\DC1+\\SI\\195\\203%\\199\\ACK_\\174\\226\\140\\152O\\222\\137\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"c\\229\\241\\180\\ETX\\227f\\237 S\\182\\171\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208R>\\225\\190\\193\\&4hs#5\\245EB\\SI\\150z\\235\\225V\\DC1\\185\\207\\252\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\136\\STX L\\237\\n\\169\\207\\234\\234\\212O\\217_e&\\176e\\246K\\221\\157Y%\\177\\DC1\\GS\\163g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168aE\\207G\\a\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\217\\203\\143\\242\\240\\NAK\\135o\\155\\136\\178e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\198\\RS\\201\\148\\ACK\\227\\STXf\\156\\162w\\243\\135\\202\\188jU(;\\255P\\NAKF\\155H1\\210*\\142R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\215\\247\\172\\223\\177\\234\\GS'6\\SOA\\247-\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\212\\177\\239\\170\\r\\180\\161\\197\\226\\186\\NUL/\\217\\f\\EM\\STX>\\235*l\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"LG\\v\\\\\\230\\210\\ENQ8\\214<\\207Y\\133\\155\\vWA\\ACK\\225\\131t\\169]\\SOH\\170\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\ETX\\186\\161\\223`\\r\\167\\252\\GS\\ACK\\166El\\ENQ\\DC4\\253\\199C\\DC1\\STX?\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161U\\215\\158\\233\\197\\203L\\128{\\\"\\rjzG\\182T\\ETByC\\198n\\142\\STX\\148H]\\181\\b\\158\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"&D\\141\\240\\&3\\154\\174ooI.\\129\\145\\149\\DELZ\\196\\ETBkgMfX+g&\\173LT\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\185Q\\238e\\EM\\252z\\251 &c\\135\\f\\128\\201\\DEL#4nq\\SUB\\198f\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\193m\\132@(\\247\\145E3W\\a\\197\\141\\197\\194\\234\\&0\\137}\\243\\137\\146{\\223\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"?j\\227\\192M\\176=\\229\\169N\\vi\\v@;;(e5\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\179\\226\\229\\&8M\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANUXn\\138\\r\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\139\\227m[M\\188*\\194\\ENQ\\SOH8\\201F@\\245\\250\\&3(\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\&1\\SO\\211\\&5E\\223\\201]\\174\\203B\\252@p1\\143\\205\\&3\\218\\EM\\GS\\ETBW\\204a\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\RS\\138!\\254)\\161$\\ETX\\t\\235h-\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\FS\\211T\\242\\183\\192\\&0\\178\\199\\233\\134\\167\\181\\216A\\233\\219G\\219\\SOH\\246%\\218?$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\190\\231\\&0\\134\\195D\\243\\145\\236\\166+\\130\\&6\\202\\241_\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\&7\\DC4\\f\\174&\\226\\224\\175\\178\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\144\\156\\STXg\\217\\SOX\\217\\240E\\236\\EOT\\203\\134U\\172\\247)v\\203\\bo\\247\\188v\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSy\\255a5\\f\\ENQM\\161\\191\\201Z~'\\148mN\\ESC/\\194=x\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"LJ\\198\\210\\224v\\233H:\\216f\\SYN\\209,\\200\\148z\\DC32\\251\\246\\SIr\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\176\\DLEs\\158\\178\\NAK\\174\\161u\\188nu4\\192\\EOTT\\192\\176\\nS\\213\\157uG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\238\\STX\\146\\213O\\230\\DC3B\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\GS\\191\\ENQ\\ETX\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\204LI}vF\\219\\196\\163\\201\\EOT6$\\130x\\179p\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244n$?\\158\\251\\247\\&6*\\235\\209\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\189\\178\\226\\236\\151\\149\\US#\\160\\242,f\\132?\\211\\159z\\v\\ff\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\200\\179X\\236{\\194\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\236\\235\\fy\\EOT\\228\\&7\\149g\\235\\157\\SI\\141A\\251\\196\\182\\242g\\223\\215\\153\\EOT\\DELz\\246x\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ \\245\\&1\\158\\221G\\134>\\218``1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\209\\141},s\\GS\\\\\\235\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147G'i\\239\\200\\151\\160\\DC2`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159x\\243vk1.\\231\\ENQ%7\\196\\185\\184\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\246\\222\\DC3#4\\219!}/\\189\\188\\151P\\248\\220\\US\\179P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\135\\181v8\\133\\&4\\182]\\158\\172C\\243w\\185\\252\\236\\171c\\159\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\&5\\RS\\248 D<\\172\\140HK\\130m\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"&'\\146\\133UkG\\136\\222\\GS\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\246\\156,\\240\\240\\167\\139\\195\\a\\131\\211lN-\\137\\231\\154\\227f#\\t\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1530721135"],"tag":"AbiUInt"},{"contents":[256,"1531599951"],"tag":"AbiUInt"},{"contents":[256,"42890291892814318091324320893648528283265185580827808606903149018817161351944"],"tag":"AbiUInt"},{"contents":[256,"330"],"tag":"AbiUInt"},{"contents":[256,"1546419014"],"tag":"AbiUInt"},{"contents":[256,"1546419014"],"tag":"AbiUInt"},{"contents":[256,"1545285260"],"tag":"AbiUInt"},{"contents":[256,"1531387677"],"tag":"AbiUInt"},{"contents":[256,"20185816059023923840673347141137952062272274059760709364003072900131934901191"],"tag":"AbiUInt"},{"contents":[256,"14209897279653526884317762886104469191053245374144822275749661654545277183281"],"tag":"AbiUInt"},{"contents":[256,"211132710529942604372269630662960073853"],"tag":"AbiUInt"},{"contents":[256,"1540477410"],"tag":"AbiUInt"},{"contents":[256,"1536929897"],"tag":"AbiUInt"},{"contents":[256,"3216126998877071561493700780945309556453321168712659416388057076373844926164"],"tag":"AbiUInt"},{"contents":[256,"1529280953"],"tag":"AbiUInt"},{"contents":[256,"9189793858612340417605101766402141335157147282466930351117518014311111409455"],"tag":"AbiUInt"},{"contents":[256,"78771815986829776011410662801916323148090698454891223368889416320323665964106"],"tag":"AbiUInt"},{"contents":[256,"67330909430284419568684905696767265606363290237953052242907219344029139622583"],"tag":"AbiUInt"},{"contents":[256,"84489018795691601996033968466446479460297109641450847877051540007317601402928"],"tag":"AbiUInt"},{"contents":[256,"46225038699941198490586606373624289461815133846165521385969796469322054646095"],"tag":"AbiUInt"},{"contents":[256,"1533876540"],"tag":"AbiUInt"},{"contents":[256,"1534469034"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1542323135"],"tag":"AbiUInt"},{"contents":[256,"3713856913987816925190385331879480943440572616044716329263490270158341973061"],"tag":"AbiUInt"},{"contents":[256,"4657463427290752112"],"tag":"AbiUInt"},{"contents":[256,"829825100612482366971"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"50764401115979450615880731775097882990649805284056342393338158328143509225745"],"tag":"AbiUInt"},{"contents":[256,"113010004318712144199341660836126736659"],"tag":"AbiUInt"},{"contents":[256,"1541758338"],"tag":"AbiUInt"},{"contents":[256,"112781142029740351500819177616162139658249242801458629085053699317042798276356"],"tag":"AbiUInt"},{"contents":[256,"1537151720"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1544317796"],"tag":"AbiUInt"},{"contents":[256,"810"],"tag":"AbiUInt"},{"contents":[256,"3844439985914664633357890891024644057396568774049212229820360026106518456423"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"46016922154855407586118851015857430476905759289044168600751873541594627556299"],"tag":"AbiUInt"},{"contents":[256,"1530164176"],"tag":"AbiUInt"},{"contents":[256,"769"],"tag":"AbiUInt"},{"contents":[256,"71008687072434963152715645015588180339019213723765276385912694939920773541829"],"tag":"AbiUInt"},{"contents":[256,"106644631072068292453701498759718646062630606958738327398746434222184643248301"],"tag":"AbiUInt"},{"contents":[256,"48327654504109991581115058360744564107667983360956677094345667278185875073155"],"tag":"AbiUInt"},{"contents":[256,"52517001456040006348500249241233486221260125019957640114085572795651248805336"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"6182485916360461504244806"],"tag":"AbiUInt"},{"contents":[256,"115111006891933217583046309116159665804171708438865444712551226186012389829486"],"tag":"AbiUInt"},{"contents":[256,"2876358354"],"tag":"AbiUInt"},{"contents":[256,"223644"],"tag":"AbiUInt"},{"contents":[256,"91161915854998079500447103171341026055359499128621175398512860761803829794342"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1122490978149522022727883722113993585304208979828103354531093811054615"],"tag":"AbiUInt"},{"contents":[256,"1542768442"],"tag":"AbiUInt"},{"contents":[256,"26063848134669314388171917354042333153711329226493858991696525695817956669592"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507331"],"tag":"AbiUInt"},{"contents":[256,"603"],"tag":"AbiUInt"},{"contents":[256,"138625240870339843481300229476491758097"],"tag":"AbiUInt"},{"contents":[256,"55427045732859266783141903527148512721666716025565732820839425528853876323621"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"60701073281414227806542842"],"tag":"AbiUInt"},{"contents":[256,"29"],"tag":"AbiUInt"},{"contents":[256,"75832422792585407243683749050923589533976896971903107399656110098127486566493"],"tag":"AbiUInt"},{"contents":[256,"9276286370789564090726288091917035238454179542642750293210902997904685377895"],"tag":"AbiUInt"},{"contents":[256,"1530122769"],"tag":"AbiUInt"},{"contents":[256,"7124349530309233002864616109707594356744605699915075011552605776459006672163"],"tag":"AbiUInt"},{"contents":[256,"107100770862163605935725119085111850491019905323324446694793602099659134218148"],"tag":"AbiUInt"},{"contents":[256,"1541486651"],"tag":"AbiUInt"},{"contents":[256,"325"],"tag":"AbiUInt"},{"contents":[256,"481"],"tag":"AbiUInt"},{"contents":[256,"1548601954"],"tag":"AbiUInt"},{"contents":[256,"1544625800"],"tag":"AbiUInt"},{"contents":[256,"549"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832825340629"],"tag":"AbiUInt"},{"contents":[256,"112851270660051228241913121817143509939624645802674462811013704580823255443140"],"tag":"AbiUInt"},{"contents":[256,"1537279711"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1537910769"],"tag":"AbiUInt"},{"contents":[256,"972"],"tag":"AbiUInt"},{"contents":[256,"1543739386"],"tag":"AbiUInt"},{"contents":[256,"316"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"378"],"tag":"AbiUInt"},{"contents":[256,"15438039205033518720234006108496954027065657187105167770285182248787397470631"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639862"],"tag":"AbiUInt"},{"contents":[256,"45916902925900734894991546793722050692144492772585412564829670525088830625806"],"tag":"AbiUInt"},{"contents":[256,"220141156079507381025697714269150607685"],"tag":"AbiUInt"},{"contents":[256,"1549064361"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211776"],"tag":"AbiUInt"},{"contents":[256,"1532320221"],"tag":"AbiUInt"},{"contents":[256,"63877278983090755103346656252688011187492602849724583790795478932778119353343"],"tag":"AbiUInt"},{"contents":[256,"19684158168156130203740976970313129248974911349466952770849542031479891968623"],"tag":"AbiUInt"},{"contents":[256,"76968832375023739012673953217888074004874934408386939369923604617745555946273"],"tag":"AbiUInt"},{"contents":[256,"15633078"],"tag":"AbiUInt"},{"contents":[256,"93737100813404874034260696204655264487616045588262864182823198208000120379788"],"tag":"AbiUInt"},{"contents":[256,"78185387655109283042158911715485698180252553227096039028411304568747555625996"],"tag":"AbiUInt"},{"contents":[256,"113418020045078697232595446359770750184292300497860190408413988291624209881938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1546483512"],"tag":"AbiUInt"},{"contents":[256,"99992048269161940153280745746034640997597876087867709511406099432009276166198"],"tag":"AbiUInt"},{"contents":[256,"13470590327883796031339134109153070469447334893979771696691835939459089688605"],"tag":"AbiUInt"},{"contents":[256,"76889979678873215384608837666456706091745053813202695984058979097175005620047"],"tag":"AbiUInt"},{"contents":[256,"114935253076833466300486061903906493528183396547285286671767380557420194797424"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1536637201"],"tag":"AbiUInt"},{"contents":[256,"46131156266146338909007362586871405961761728608002377521372985110503782231259"],"tag":"AbiUInt"},{"contents":[256,"48073124925603606599523540268033990440208290724140906984622953635988135305727"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072ade","0x0000000000000000000000000000000000000000000000000000000000000061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"1282764274827806604804179933452230354160320669773065526362801139156600902172"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a089","0x000000000000000000000000000000000000000000000000000000000000163c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034bc5","0x0000000000000000000000000000000000000000000000000000000000000fd3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1550507063"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a334","0x0000000000000000000000000000000000000000000000000000000000001bc5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"4002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c601","0x000000000000000000000000000000000000000000000000000000000000d3cc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"1542897402"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024937","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"109751098671267556467723947783472596762939424755044062072047445597153302202307"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055d77","0x0000000000000000000000000000000000000000000000000000000000004481"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007fd0a","0x000000000000000000000000000000000000000000000000000000000000dde8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d631","0x0000000000000000000000000000000000000000000000000000000000008776"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001db12","0x0000000000000000000000000000000000000000000000000000000000005fdb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065373","0x00000000000000000000000000000000000000000000000000000000000000de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"79333577286541903178356118068401935619275551131901230577426556406604461611196"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037b43","0x0000000000000000000000000000000000000000000000000000000000000e79"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"25416844929095628946155962351195687966248328873532074708695232792383970783183"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1a","0x000000000000000000000000000000000000000000000000000000000000b760"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xcC676A78e3ca2C55FDDb479a0E488F9EAA68B521","tag":"AbiAddress"},{"contents":[256,"25398159243903677225178830707100138672028196642890230046505356164009080895637"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000330eb","0x0000000000000000000000000000000000000000000000000000000000006ce9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270e","0x0000000000000000000000000000000000000000000000000000000000000eb3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[8,"10"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d185","0x000000000000000000000000000000000000000000000000000000000000e28f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e0b8","0x000000000000000000000000000000000000000000000000000000000000e5ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e582","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052601","0x0000000000000000000000000000000000000000000000000000000000001dbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x00000000000000000000000000000000000000000000000000000000000030ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147Z\\192M\\v\\149\\210)V\\SO\\199\\199\\160[\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\132\\231D\\191\\ETB\\202\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\175H\\CAN]\\173\\SUBY\\134,viY\\SI\\255\\198\\162\\242\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238_r\\218\\159\\144\\a\\246\\\\\\SUB\\251\\157-F]\\129\\176\\134\\205\\187V \\157\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\187`\\214\\GS=\\243\\147gC\\165=h:@|\\180\\144\\ESC\\147\\237W*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\164+\\144\\177\\131y\\231-\\SUB(1\\DC3\\182:\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\138\\STX\\204\\170\\197i\\EM\\242\\&0\\185\\154+\\209\\DC2\\b\\201\\140\\148\\149\\199\\180.H\\176Q\\193\\139\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197J\\206\\NAK\\194\\163,\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\DC1(\\227Ny\\168v\\142\\224\\246x\\161\\183\\168\\246m\\161\\186\\232\\SUB\\204\\158\\&9\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\233\\174d\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\199k\\216\\215\\251\\&1\\153\\143\\178\\SO\\223Idf\\186\\EOT`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\145\\171\\225\\GSfz'\\224\\EOT\\255\\b4\\246\\190\\b\\184\\229X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\201\\142z-I \\248f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"PDF\\204\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171T\\239\\132\\243\\225=\\STX\\188\\150?\\135\\189s\\198j\\165\\&9\\218\\DLE_k\\DEL\\222:\\207~\\144$\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196W-*\\194\\246\\ETX\\189-V\\148\\251^\\168;\\234\\130\\&1\\240\\136\\250\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\222?\\167\\206\\160\\213^\\158n@c\\216\\EM\\235\\156|H\\236@\\136\\161\\242\\205\\USb\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199E]E+\\150(\"","tag":"AbiBytesDynamic"},{"contents":"\"Sl\\a\\DC29\\254\\155\\142\\216\\210f\\DC2\\SI\\236&\\r\\152!\\t\\148\\159\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194,\\133\\158\\225\\158\\136\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"}%\\217\\&1\\169\\ESC]\\172\\SOH\\FS@\\201\\&2\\253\\254\\241UEz\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNm\\ETBUg\\tS\\144&\\253z$,\\230\\189\\233\\243\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\254\\152\\NAK\\220@\\250\\251V\\148\\163\\250\\205\\219F\\213\\184\\138r7j\\169\\195\\187\\249\\165H\\185\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n.)\\253\\151\\218=\\132 \\173ww\\223#\\243\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"z'\\184~\\219:\\251\\133aSLEr\\199\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\221\\152\\bE\\144\\&1\\187\\178\\247\\&9\\217\\144 \\235}\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"G6>\\200\\&3\\218a7\\129\\155\\167\\159\\229\\244\\GSf\\137\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218N\\148~r1^t\\133>\\191\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\232Z\\DLE\\245\\b\\158\\141\\199\\rZJ\\GS\\a\\SO\\128\\237\\ETB4\\236M9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\DLE\\DC3\\134\\203\\DC4\\150\\206\\185\\136\\149\\\\\\236\\DC39\\242y<\\238\\245\\171\\EMr(\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231sJ\\192=\\147\\148\\f\\200\\167p\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\243\\167\\238Vn6I\\DC2G(\\178y\\231\\&5n\\ACKgpR\\ACKA\\136\\DC4>\\DC4\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\192\\147\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\STX\\239\\133U\\204\\204\\EM\\131\\DEL/\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\158\\152y\\138\\182\\200\\254\\&3\\249\\191\\US\\212z\\155/\\214\\178\\161\\&4_\\141\\a\\177\\201`\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251>\\220)U\\CANIXfnqI\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\219{\\189\\183W\\NAK\\170\\&4\\197\\158*\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\&8\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"0O\\b\\154\\242\\r\\rqz\\SUB\\144g\\219I\\224\\130,\\221\\DC3\\177\\240\\a,\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\172\\178\\188\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\152\\165-\\ETB%\\237\\191\\240Ho\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\216\\&1\\GSkRg\\NUL\\STX\\NAK\\226\\229\\230\\&0\\131\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212+\\196\\RS\\226|\\DC1\\247\\200\\SOH\\nd\\189\\249I1\\246\\178\\CAN\\241\\154\\211\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\190\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\141\\130.\\248\\160\\239jC1\\147\\220\\146#\\226\\&9\\223\\231=C\\DLE\\174bA\\138\\193\\134*\\232\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\\"2\\136nP\\195\\229}X\\248\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOc\\132\\223%q2\\210\\195Yf\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\160\\142\\233\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229A\\197W*L\\220LLI\"","tag":"AbiBytesDynamic"},{"contents":"\"#p0:\\201\\b3\\184\\164\\DC47\\DEL\\251\\fR'\\STX\\166t\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\149\\&7\\v\\242\\168_Q\\237t\\b\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\215E\\129b\\179N\\128\\&8\\148\\225\\198/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185^j\\174\\160\\221\\213\\&0Z\\201\\166\\145\\195\\NUL{\\202g\\225E\\208\\141\\203<\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\215\\183\\169\\192\\US\\255\\183$\\133\\\\&`\\206\\&6\\228|\\154\\245=\\ESCo4\\US\"","tag":"AbiBytesDynamic"},{"contents":"\")\\225\\236\\148\\183=\\239\\240\\SYNs\\250~F\\147W\\225\\208\\195\\243\\236\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\169\\209\\159\\232\\202\\219\\185\\145\\217c'j\\225\\211\\145@R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181Q\\207\\193\\236\\169\\r\\171q\\240\\194+fV\\239.\\236\\211\\153\\ENQ\\SUB\\176\\DELk2p4\\132\\150oN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\".t\\209\\f{8\\205?.6\\SYNK\\161\\DC1\\214(\\167\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\v\\FS\\DC4L\\151\\160y\\152\\GSV\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209f\\148^Kx\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"/K\\229a\\192\\205\\224\\204T\\DLE5\\129\\199\\165\\255\\SO\\DEL\\RS2u\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204/+\\233w$\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\\\N\\186\\131\\199XWh\\ESCVy\\244+\\180k\\229YP\\240\\182\\163\\140\\203\\FS\\153\\128'\\154\\129\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154f\\246_\\194\\152=\\172\\169\\170\\f;\\253\\187\\194qLm\\n7r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNO#/\\vj]|\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250W\\216v\\SYN\\154\\156*\\DC1T\\193\\191\\182W\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"-nv\\200\\132\\DEL\\ETX\\129N\\167FlM\\f\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\157\\143\\141N\\187=\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\242\\f\\DC2H\\170\\231\\197\\129\\&4v\\192\\158\\FS\\242>\\DC2\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\242\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\219\\236\\180\\145/\\140\\185\\137L>\\211X\\129@\\205\\US\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\191\\177!(j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\199\\227B\\182\\156\\245\\230/u)\\nN>\\167\\205\\213\\202\\GSf\\212Oe\\189\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\GS}E\\210.{\\148\\154\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"4*\\180+\\151\\&0\\213\\139\\136\\a7\\255y\\236\\US\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\255<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249|\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\\\I1d\\ESC\\190\\171\\235 H,\\EOT}\\199\\UST\\ENQ+6\\142j\\230\\190\\183\\DEL0\\f!\\234\\182.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\250\\217\\138}\\191\\GS\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252/\\206\\SI\\231\\&50\\236\\251`\\189\\179\\233\\201A\\SO\\249*\\f\\151\\ETBZO\\189_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247vR\\181\\\"\\255Fq8\\129\\147IJ\\131\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1548258612"],"tag":"AbiUInt"},{"contents":[256,"1533083131"],"tag":"AbiUInt"},{"contents":[256,"44771186737796881330838290519510701992002621866809139746829"],"tag":"AbiUInt"},{"contents":[256,"110066138808325317848280750050218464744175160576616584415333588292109178336471"],"tag":"AbiUInt"},{"contents":[256,"95904800568305774761918787898623562990653851354303808383156366680635717917034"],"tag":"AbiUInt"},{"contents":[256,"1530154670"],"tag":"AbiUInt"},{"contents":[256,"60486862045753354607500214440076318447829364279287090745694773583880193961715"],"tag":"AbiUInt"},{"contents":[256,"71830684492759751986319248099227715486528549352697433107798160643818633747846"],"tag":"AbiUInt"},{"contents":[256,"249"],"tag":"AbiUInt"},{"contents":[256,"63469296260096916595532424287260207136814225442693158850220107363057478672464"],"tag":"AbiUInt"},{"contents":[256,"1537910769"],"tag":"AbiUInt"},{"contents":[256,"1536149960"],"tag":"AbiUInt"},{"contents":[256,"7389159557182837559364583688055375426588984850533577149067284721385127867373"],"tag":"AbiUInt"},{"contents":[256,"101769864556979127106790811386702022155725002169448572210036078108174282420537"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1543080573"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"745"],"tag":"AbiUInt"},{"contents":[256,"78639460086250838953695295052573481145267059342936801320746752400002708277528"],"tag":"AbiUInt"},{"contents":[256,"71884720507721506040260882999923094840477991654961526369944427615392346272864"],"tag":"AbiUInt"},{"contents":[256,"74158764408721531386419812333449996153765613021828762058603500352003514586950"],"tag":"AbiUInt"},{"contents":[256,"63714863829338428399750408931117525089142492068822511024916162767423636863835"],"tag":"AbiUInt"},{"contents":[256,"1525798622"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"},{"contents":[256,"76349586024982358283410669869598174797553353967691127501388752780000511178988"],"tag":"AbiUInt"},{"contents":[256,"11503717613993280395407494845838492791005229010389743573745957367711329475758"],"tag":"AbiUInt"},{"contents":[256,"1526900338"],"tag":"AbiUInt"},{"contents":[256,"13813281439059494487235125772792269906529504625194415452557463525921415602334"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035138"],"tag":"AbiUInt"},{"contents":[256,"1532224185"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"62753642700073033304713949123128702165879365127640991956743205615233639786348"],"tag":"AbiUInt"},{"contents":[256,"59793522169501138063769090442675575063696656891971739506806499473623773914969"],"tag":"AbiUInt"},{"contents":[256,"1540187665"],"tag":"AbiUInt"},{"contents":[256,"140"],"tag":"AbiUInt"},{"contents":[256,"57076437733430596099171194627144599335127547203800178074745310620944343305858"],"tag":"AbiUInt"},{"contents":[256,"1545878476"],"tag":"AbiUInt"},{"contents":[256,"86397"],"tag":"AbiUInt"},{"contents":[256,"508191"],"tag":"AbiUInt"},{"contents":[256,"65052215374087134686346571847942696995320225582706622030751103734179143034725"],"tag":"AbiUInt"},{"contents":[256,"251"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"86637792923826773478553610"],"tag":"AbiUInt"},{"contents":[256,"47881531415901310316512247780898922952977389932445201510577153590170124935392"],"tag":"AbiUInt"},{"contents":[256,"160"],"tag":"AbiUInt"},{"contents":[256,"1531220620"],"tag":"AbiUInt"},{"contents":[256,"1343947557774755460777488368535508471075493005019882087"],"tag":"AbiUInt"},{"contents":[256,"2167"],"tag":"AbiUInt"},{"contents":[256,"1536876308"],"tag":"AbiUInt"},{"contents":[256,"36253067561943276151412208164761590927169330180256689629494215756240508003618"],"tag":"AbiUInt"},{"contents":[256,"81142747898065920295585389055157435866114892864635588470976121609705147086089"],"tag":"AbiUInt"},{"contents":[256,"81662833697212415875101377775771054900939416446335642288791733992882016049472"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"17639782478"],"tag":"AbiUInt"},{"contents":[256,"51565478942692740597662380549566618138269259253756835511097855794020520219864"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"29504298559733620551447568841955925939678929768001041366267820114932130822929"],"tag":"AbiUInt"},{"contents":[256,"3510943311318378919660057520161611219681497634088021530122375025685004079453"],"tag":"AbiUInt"},{"contents":[256,"61904459741648646847399256420113854304543524588181003258700542518035163542806"],"tag":"AbiUInt"},{"contents":[256,"174490178769529420431572361768065627026"],"tag":"AbiUInt"},{"contents":[256,"68887391764110708306397101494293358801883683630183675019045520325335627364322"],"tag":"AbiUInt"},{"contents":[256,"1544723692"],"tag":"AbiUInt"},{"contents":[256,"59917465552882456232306431804844683573837127764004240740067941828651249011844"],"tag":"AbiUInt"},{"contents":[256,"1536259718"],"tag":"AbiUInt"},{"contents":[256,"35225561136836592859472154248495198099527343789337461538747903239046721349728"],"tag":"AbiUInt"},{"contents":[256,"776034019639393223"],"tag":"AbiUInt"},{"contents":[256,"1018"],"tag":"AbiUInt"},{"contents":[256,"114099367481921981288427630068170987963416770427424588512697118036795454546363"],"tag":"AbiUInt"},{"contents":[256,"1545567247"],"tag":"AbiUInt"},{"contents":[256,"86972576837450392362408158309894951939420595682355951053074433486179151201784"],"tag":"AbiUInt"},{"contents":[256,"1540870261"],"tag":"AbiUInt"},{"contents":[256,"1528399822"],"tag":"AbiUInt"},{"contents":[256,"13733246414627156782600349551043671721163204804813825081879861368074191200394"],"tag":"AbiUInt"},{"contents":[256,"204486977105394979923193650741046514642144173193314963997719956"],"tag":"AbiUInt"},{"contents":[256,"1549841643"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f199","0x0000000000000000000000000000000000000000000000000000000000007581"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"51457291394104334813431370187986069137051050211652187917743299201775737353591"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069a35","0x00000000000000000000000000000000000000000000000000000000000029db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008490d","0x000000000000000000000000000000000000000000000000000000000000eabd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000bb46","0x0000000000000000000000000000000000000000000000000000000000006d54"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004bf02","0x000000000000000000000000000000000000000000000000000000000000c2b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"53"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000086416","0x0000000000000000000000000000000000000000000000000000000000006e38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"6"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014aea","0x0000000000000000000000000000000000000000000000000000000000009d82"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070a97","0x000000000000000000000000000000000000000000000000000000000000a9ed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022809","0x000000000000000000000000000000000000000000000000000000000000c90b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"1539526184"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d6bd","0x000000000000000000000000000000000000000000000000000000000000bb5d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092f9c","0x00000000000000000000000000000000000000000000000000000000000037eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000593f1","0x0000000000000000000000000000000000000000000000000000000000005e72"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000363de","0x0000000000000000000000000000000000000000000000000000000000007454"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"191"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f1cb","0x00000000000000000000000000000000000000000000000000000000000040d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]