[{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000387","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"100000000000000000000000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c6","0x0000000000000000000000000000000000000000000000000000000000000102"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"2376542331"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000e","0x0000000000000000000000000000000000000000000000000000000000000fa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x0000000000000000000000000000000000000000000000000000000000006de0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"48127215581791805695940735871607598484060109414151877494917893910412557821388"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x000000000000000000000000000000000000000000000000000000000000d0cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"112326331183687108040243950948428724637867706232837335195436429899353684869328"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637938"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1b","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"77072414373164785100842408321662552537762109247065765604758477729670663194499"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb34","0x0000000000000000000000000000000000000000000000000000000000001325"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"42436831081248667295042752877046085370097925044556478668992730090401467189985"],"tag":"AbiUInt"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb38","0x0000000000000000000000000000000000000000000000000000000000000076"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d8d1","0x0000000000000000000000000000000000000000000000000000000000008198"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e703","0x0000000000000000000000000000000000000000000000000000000000009aa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001388","0x000000000000000000000000000000000000000000000000000000000000006b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"47"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb06","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[256,"113713486091363211216332717921670089876194127038859951430809359886725120477109"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb42","0x0000000000000000000000000000000000000000000000000000000000001d42"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f97","0x00000000000000000000000000000000000000000000000000000000000000e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"43294650380632349754079030087420170593719817925475894403516672778437027274942"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628419"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fd","0x000000000000000000000000000000000000000000000000000000000000280a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e05","0x00000000000000000000000000000000000000000000000000000000000007d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e375","0x0000000000000000000000000000000000000000000000000000000000001335"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"369851983248477645805594269264282465275675372037929083445"],"tag":"AbiUInt"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe6","0x0000000000000000000000000000000000000000000000000000000000006de1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"25039748719222293525143105766934061908727290173203526781874016228522181931286"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000370fe","0x000000000000000000000000000000000000000000000000000000000000dcc0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"37"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0e","0x0000000000000000000000000000000000000000000000000000000000007e4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"11544993391626199962898824972586789719008621818387179761745175720668580388393"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b1","0x000000000000000000000000000000000000000000000000000000000000dcb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"33722412788722980088799926713096423325559141718416189344899553040866698705082"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd38","0x00000000000000000000000000000000000000000000000000000000000011a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fc","0x000000000000000000000000000000000000000000000000000000000000c11d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"29516935071531792891451642804400762708615515418549045263653130232396833754708"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007ce","0x0000000000000000000000000000000000000000000000000000000000000590"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012b","0x0000000000000000000000000000000000000000000000000000000000000016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"21838448664807393809144275548289390211743598014043238475945708288392530634220"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007b","0x000000000000000000000000000000000000000000000000000000000000b6f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"115"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005e","0x00000000000000000000000000000000000000000000000000000000000003e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2f","0x0000000000000000000000000000000000000000000000000000000000000013"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e954","0x0000000000000000000000000000000000000000000000000000000000001c9c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"26195434068504574941154103248193079857432799901385709020600169840810220661577"],"tag":"AbiUInt"},{"contents":[256,"48149389636563419985730925710683950571120769369655727311240259488457331242188"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4f","0x0000000000000000000000000000000000000000000000000000000000009e98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"255"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf9","0x000000000000000000000000000000000000000000000000000000000000a291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001386","0x00000000000000000000000000000000000000000000000000000000000089b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"42104975606471276949674059511028456718608474115922100825123164211340457311187"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c6","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2c","0x0000000000000000000000000000000000000000000000000000000000000fa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270e","0x0000000000000000000000000000000000000000000000000000000000004b95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033929","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"40132426139880812063866273737461084787019332748784651464130941475445941044656"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x0000000000000000000000000000000000000000000000000000000000001390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"167"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e1","0x0000000000000000000000000000000000000000000000000000000000001368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041a2","0x00000000000000000000000000000000000000000000000000000000000000fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"28675272624251708245977347518086052311969720181129186321402064967852651104581"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x000000000000000000000000000000000000000000000000000000000000007a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac7","0x0000000000000000000000000000000000000000000000000000000000007fff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"2041241933803686233320937145351603794218808444125707786195058789885100672965"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000068","0x0000000000000000000000000000000000000000000000000000000000000387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055777","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c4","0x0000000000000000000000000000000000000000000000000000000000008197"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"102813768084244556430624757961286858093401894203230386140850023482533753566828"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5e","0x0000000000000000000000000000000000000000000000000000000000001339"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb40","0x000000000000000000000000000000000000000000000000000000000000b556"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639908"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae9","0x0000000000000000000000000000000000000000000000000000000000000bce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000f","0x00000000000000000000000000000000000000000000000000000000000013aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001f","0x00000000000000000000000000000000000000000000000000000000000095e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"73433035889447823147878512080230967252716322909510127963542835702034316225518"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x000000000000000000000000000000000000000000000000000000000000231f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"39354755227417157120095656543152086325620651373358860323369014742961364981039"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e705","0x000000000000000000000000000000000000000000000000000000000000012d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"14"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ee17","0x00000000000000000000000000000000000000000000000000000000000003e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"500"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028928","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\EM\\SOH\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead0","0x0000000000000000000000000000000000000000000000000000000000007a00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x00000000000000000000000000000000000000000000000000000000000067f9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"29158821341357848012421883174804241399978450028133098484986627306893238491035"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd39","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052be8","0x000000000000000000000000000000000000000000000000000000000000a8e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb16","0x000000000000000000000000000000000000000000000000000000000000003a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"133"],"tag":"AbiUInt"},{"contents":[8,"18"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058dbf","0x00000000000000000000000000000000000000000000000000000000000013be"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4b","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"93300013741211100097713201859927779638145684263560484166513548306700403145605"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2c","0x0000000000000000000000000000000000000000000000000000000000000063"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":[128,"3604"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ee","0x000000000000000000000000000000000000000000000000000000000000d003"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\160k\\211\\169\\DLE\\227G%9\\240\\156K\\130\\219\\RSG\\193\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\v\\232 r\\173\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\246\\147\\184\\171\\143\\EM\\EM\\240D\\DEL\\183\\249\\229\\142X\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\215\\\\!/\\\"k\\215\\a\\252n\\180+\\238\\vp\\205\\187{B*E\\216\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"&V\\198\\134\\180\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252Y\\196\\162\\SO\\200;\\NAK\\208l\\250x\\215Yc-\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\",1\\193\\t\\204\\185\\174\\&2\\138\\187\\229\\214\\248\\ESCG!\\156\\206\\146\\145\\225\\DC1\\249S\\230\\&4\\190\\198\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"T<\\RS\\151\\134\\197\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"%K\\EOT\\204\\ETX\\138\\171\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218b\\DC1f~:\\194\\214&s\\247q\\233|(R\\156_\\191nt\"","tag":"AbiBytesDynamic"},{"contents":"\"X9\\EOT\\149\\233\\216L\\152X\\203\\199\\193H\\173\\232n\\152\\198@\\156\\&6\\223F\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141&\\128)aI\\DC2A\\252\\DC2\\222F\\n\\226\\160\\142\\r\\245\\239\\224\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\149y\\152\\244\\206\\ETB\\190.$y\\215:\\208\\136\\152\\250z\"","tag":"AbiBytesDynamic"},{"contents":"\"4w\\182n\\NAK\\244C\\bg\\160p~\\EOT\\SO\\vE9:\\205$\"","tag":"AbiBytesDynamic"},{"contents":"\"^D\\233\\227\\v0z\\243\\vQ\\171\\216W\\207\\DC2\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"GG0A\\210\\196\\131oF\\242\\201<8-f\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Ef\\230\\229^\\CAN[;84\\145\\153B\\161\\206\\NUL\\193\\220\\137\\&6OZ\\209h\\185@$\\ENQ\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\243F\\228\\217T\\180B\\217$%\\145\\143wg\\207\\166\\225q\\250\\138\\EOT*2\\189\\151v\\197\\214\\DC2\\193\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\233}\\243\\170\\158Z-\\171HT\\204\\161\\166\\142c\\248\\187{f>t\\154DLz\\231\\251\\249\\171|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\241~\\184\\ETB\\248lr1\\187\\DEL\\139MP\\201\\255O8;a\\161\\145\\138\\150{\\181\\199\\244\\NAK?\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBh\\220\\238z\\DC4\\237\\163]y\\165r\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\189\\&2\\DC41\\US\\a\\192\\238\\218v9\\NULS\\219\\223\\254>\\150m\\178\\161\\ESC\\225\\173\\n7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RST\\212aTh\\241$\"","tag":"AbiBytesDynamic"},{"contents":"\"RP\\248\\NUL\\205V\\255\\CAN\\132:\\197\\DC3\\195B\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQz\\244\\250\\202\\247[NcvE\\218\\145?q\\249;J\\222H\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\239\\213:\\240\\164\\DC1\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219^\\193OU\\174\\186\\159\\v\\DC1~\\249*\\134\\241w\\168\\219\\DC3_\\163\\214+\\NAK\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\NUL\\165\\236\\207\\ESCL\\f\\160m,\\221\\253\\ENQw\\193V\\vt\\142\\210{\\EM*\\168t`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\NAK\\DLE,\\133\\140\\&1\\NAK<\\222\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"9g\\211\\176\\187\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152<\\185\\v\\174=\\ESC\\152p\\182\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\FS\\255\\ETBd\\149\\SI\\243\\t\\138W(\\137}|=\\USv\\211@\\229\\209j\\204\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\239K\\237\\196\\206\\188\\137/\\169\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"rs\\209\\177\\143\\184l\\162\\146u\\168\\179\\200Y\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB,\\210\\136\\207\\245\\186\\184\\181L\\NAKp\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\174d\\249\\138\\158+\\185\\148\\197\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216t8\\246\\220\\145\\&1\\151\\217\\249\\251\\165:\\169P\\\\7\\128u\\209\\198D\\232\\136\\137\\DC4aX\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\233sN\\206jm7\\159\\EOT&\\140wl=\\196!\\173\\225\\144E\\196\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\151\\&2\\ETB\\146X~\\211pK\\166LLg3mu\\230\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\172\\DC1\\243\\210\\159\\197i\\194p\\167@1\\a\\EOT\\ETXU\\DC3=T\\133\\161 \\187\\&3\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\148\\n;\\178j\\143\\242\\240QA\\185\\135\\193\\148\\220\\249\\211v\\239\\DC2\\194b7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\201\\176\\202\\189+\\223\\208\\203{<\\NAK\\210\\244\\150\\ACK\\a\\207c\\200\\145D\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\GS\\179\\182\\163\\241&\\142\\165p.\\209\\217\\180M\\147\\221\\DC1\\182\\190\\169\\230s\\198\\a\\219\\151\\185%JH_\"","tag":"AbiBytesDynamic"},{"contents":"\"zqZ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\155\\DC3\\r\\210\\255\\160\\221\\196\\129=n\\209\\&2\\139w\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\163\\143\\241j\\219\\161\\&6/aF\\197\\205\\\"\\175\\217\\r\\239\\151h\\140V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\":\\244\\246N\\229\\NULZ\\157\\238<\\231l\\212\\168@\\197\\161\\188\\235:\\248\\144-t\\146h\\GS\\236|\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\131\\r.\\159\\ETB|\\180\\248W\\215m\\248\\165>\\138F\\f\\225\\210\\217\\STX\\148\\148\\138\\143\\SI7\\ENQz\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\EMs\\242\\DLE\\131\\175\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"pw\\STXv\\142D\\204(\\231\\SYN\\160\\172`\\214\\231\\214\\255x\\STX\\183\\174t\"","tag":"AbiBytesDynamic"},{"contents":"\")\\165\\165\\&7\\219%=\\140W\\157\\163\\&2\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\173b\\195_\\169\\SO\\161\\197\\&5~\\211\\EOT>p\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\255&(\\246\\&8ik`\\STX\\226\\163S}i\\\"\\DEL\\170\\135\\f\\DLE\\f\\186\\218\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\&5B\\135\\174\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183:\\174\\231cU\\174\\DC4\\139\\226&\\188\\233\\251\\DC4dZ\\241:RC\"","tag":"AbiBytesDynamic"},{"contents":"\"_!Y\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\195\\227\\DC3n\\251\\DLEH[\\RS\\ACK19\\131\\168\\181\\159\\194\\249\\163\\160\\163\\154\\183\\184m\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\253\\203\\235\\ACK\\144\\153GK\\150\\145R\\135\\162Z\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142KT\\170A\\131!7?\\202\\164\\196\\157\\243\\US\\219^~\\222$\\181:\\SYN\\151}\\147Zl\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\153\\225\\245\\166\\a\\171!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\238\\196M\\235\\&4\\246OTS\\177\\229\\EM'\\142\\225\\US\\201\\137\\128_H|%\\\"\\218\\235:\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\167O?~\\b\\171\\202K\\178\\143\\137\\158\\230\\143\\217\\ENQ\\v\\154\\255\\GS\\191\\247\\196\\132\\129\\145>\\233\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\228\\&6!\\ACK\\141\\&4\\169\\ETX\\168vO(\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\168:\\248\\201\\198}\\181\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236Cv\\155\\DEL\\197v\\196>_\\212\\205y\"","tag":"AbiBytesDynamic"},{"contents":"\"Dk\\177\\235\\182!]>\\248\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTF\\153J\\159b\\162\\202`\\193E]\\158\\237\\221\\&6\\234At\\230\\136\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"aT\\134]^\\146L\\ESC\\246\\187\\210\\a\\224\\140\\DLE\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\210\\233\\201\\194\\145\\EOT\\223\\154\\139\\&8\\163XD\\216\\215N\\158\\176\\ETX\\180\\162>\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\DC4\\n~;k3\\DC1\\128\\144'\\ACK/-O\\219\\ETB\\212\\&9\\227\\217\\236U\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\166\\174\\145\\172\\250\\224\\232Tx$\\218(L$\\206T\\204\\219\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211]\\239\\140\\243\\249\\242~M\\252\\145k`Q1!\\218\\SUB\\179\\241\\202\\a\\244p@\\FS\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\234i\\172\\137K\\STXPIE\\CANn\\169y\\DC3\\EOT\\235\\195\\155\\200\\180\\137\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144C)\\238\\NUL\\142%f\\222\\STX_sMT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\185\\239\\247\\219\\STX\\140$\\240\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\EOT3F\\181\\&9\\144\\SO\\184 \\167e1Ui\\159\\242\\174\\229\\188m\\NAK\\189o\\246bY1\\157\\SID\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\229\\135\\239\\&4@\\195fq\\242u~\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\205\\140\\147\\250\\US\\241\\&2\\175\\246\\199\\227\\129U\\195\\f\\150aP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245g\\EOT\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\174\\251$_\\GS-\\CAN\\ESCVDhO}\\DC33\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158_se\\165FG%\\237\\212e\\153\\139\\209F\\180L\\131\\196:\\225:m]\\184\\187dy\\246\\252\\ESCr\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172?\\SO\\230$\\130`\\223\\244\\152\\232\\DLEH\\STX\\217\\172\\SOH\\ETB\\222\\SYN\\227\\245\\206=Z\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\169\\136\\237\\DC1\\DLEI~\\199l\\DEL\\189\\169\\224\\DC4Y\\187\\137y\\170a\\190dc\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\237^5A\\252\\\\\\210\\237R\\172\\201\\188\\\\\\242\\161/$\\ESC\\ETBQ\\SUB\\154\\236\\218O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203w\\252\\141\\213\\162\\169\\205-\\164-,~\\130r\\175\\\\S\\128\\251i\\DC32,\\226@\\196\\153\\135\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\130\\255\\196\\&2\\220\\144\\&2\\243\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128l\\195\\ENQZ\\210\\132\\215\\GS1T\\151z^\\216\\172\\239A~4V\\GS\\188K\\156\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACKm\\SUB8\\SO\\159\\134\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225)\\134\\241\\157\\211g\\ESC\\171\\231dq\\243\\231\\181X\\166\\163A\\220\\167\\185r\\171h\\201~\\240\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\228\\&1\\142\\147I\\239d\\248\\250h\\138\\195\\179\\212\\f\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"a\\206\\&9\\222\\144hW\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"`k\\251iE\\ENQ\\137\\135\\230\\215#\\131\\148XKS\\148\\250\\&8\\232\\253\\198h\\229\\142W.|\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240R\\196\\206\\186\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164A\\189s+\\137|\\139\\SOH\\246\\NUL\\208!s\"","tag":"AbiBytesDynamic"},{"contents":"\"T<\\SYN\\166-3\\158k\\ETB\\STXu\\134\\DC3Yi\\168\\ENQ\\186\\135\\191\\148\\SOH\\217Uq\\164~\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\254\\US'\\159\\255\\r\\147\\255!\\DLE\\159\\213\\184\\230i\\139|pO\\FS@\\203\\DC42\\144\\221\\ACK%\\201\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\236\\146\\193\\DEL8\\149@\\215\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\SI\\n)z\\167\\140$U\\222b\\186\\152\\154d\\240M\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\156p\\227\\223|\\217Mh\\159\\224\\EM\\137NB\\243\\232\\136#\\177Z\\174\\131\\197,\\DC4\\DEL\\217\\140\\161\\180\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168p\\252D\\151\\169\\ACK\\209\\197\\167$\\186\\218Lft)\\172\\&1\\255}]\\217\\v\\198e\\160\\166v|\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXi=\\150Q\\229\\vo\\213\\221]W\\t\\156\\DC4\\252\\200+\\228\\188\\128\\164\\169\\150\\234\\243\\156\\US\\DELt\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\DC3\\229\\150\\132\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\150\\196\\204\\182HG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\175\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\159q^a\\164h\\207\\136\\179h\\166\\171\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\207\"","tag":"AbiBytesDynamic"},{"contents":"\">xr\\161K\\EMi\\175`f>\\252\\248y\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163hz\\DC1<\\239\\151LJ\\243j)\\143\\196\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3P\\202\\NAK\\222^(o\\239o \\219\\247H\\144\\202\\ETX\\216\\215\\135\\v\\240\\195w\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\153\\242\\DC2\\FS\\232\\195Z\\SYNR\\218\\179\\239\\177\\EOTwk\\GSFM\\187\\DC2%\\229\\SOH\\DC3s\\216\\229M\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\247c\\239\\163\\RSb\\218t\\184,\\142\\229s\\SUB\\193_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170xW\\140i\\NAK(\\129F\\SUB\\\"\\252*\\144ZTT\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"2g\"","tag":"AbiBytesDynamic"},{"contents":"\".\\166\\173b`\\179+*\\US\\NUL\\130\\205\\DC2\\SOUx\\SOH\\212\\207 \"","tag":"AbiBytesDynamic"},{"contents":"\"[I_\\DC2\\167U:E\\199u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237Z\\241<\\149C\\bm\\DC4a\\252N\\192\\EOTvV\\227}[\"","tag":"AbiBytesDynamic"},{"contents":"\"$k\\142\\238\\182\\185\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"K'\\129\\231\\167\\f\\190\\175\\236\\DEL-\\188\\237\\254\\\\\\212\\216\\150\\213ZQ\\161\\n\\212\\NULch\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\189\\246\\233v\\250@)\\222\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\248\\185\\157\\SOH%\\244\\191B\\ETX}N\\167I\\t\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178w\\245!\\163\\&1\\201q\\189\\199\\156\\165\\v\\159\\249\\169\\\"\\243Vjb\\227rW\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN\\186j\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\&7\\160\\ENQ\\223\\137\\156y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134!\\219\\130Pu7;(\\234\\151\\ESC\\156*O\\134pI\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\FS\\232\\b\\173\\228\\&7\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253J\\192\\211\\250\\184\\EOTy]\\239u\\160T\\138j\\ENQ\\205-\\167S\\142\\154h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELw.dJ\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"Ck@\\152?_\\232\\150\\SOH\\143\\147\\&4W]1\\SUB\\204l\\197C\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149e\\155\\ETXL\\NUL\\DLEk\\178\\155\\152\\&8A\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\159\\163v],\\201\\142\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"1':\\179\\DC1B\\135\\238\\226\\172G\\SO\\145\\232\\235\\178\\167\\176\\CAN\\175Y/\\170\\145@\\208\\226\\155\\214w\\DC4\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139N\\ENQ\\156[\\\\\\149#m\\180\\STXMk\"","tag":"AbiBytesDynamic"},{"contents":"\";\\ns\\226\\185\\192\\174\\USU~^\\153$\\193\\134f\\243\\DLE/b\\ACK\\178\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\254\\195\\184\\134rt\\145)Z\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\177\\SUB\\219\\EM\\245C\\212/m\\172~\\237\\168\\181;F\\180\\b\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\">\\252Fc\\ENQ#\\187\\224\\DC4\\236\\183\\176A.\\DC4_i\\253\\237\\154k@\\210\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"(u\\ETXct\\178\\DC4\\210~\\201\\ACK\\193\\139\\142,\\185\\STXt\\207\\DEL\\224\\180\\215U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\159\\214\\213\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\196\\229\\EM\\166\\246W\\189\\141\\225\\208\\205jb\\191\\190\\236\\DELb\\158\\158?\\196/\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"OdP\\199\\fS\\153\\195\\n#\\193\\SUB\\rr\\202\\207\\&3W\\174\\&9\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK~/\\EOT\\176\\159\\DC3\\230\\213\\156\\226\\209_\\ESCH!\\216og\\191\\128=\\ACK\\242Z/\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243m\\167\\238_s~S\\EOT\\136\\234M\\182\\249Z\\239#\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\237\\131\\146\\173j-\\182\\131(U\\145O\\181\\203i\\DC1Tc\\140k +\\234\\144\\202\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227LU\\238\\NAKV\\169\\\"NG>6\\221Hq,\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241i\\199\\231\\EOTA|\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\STX\\176j\\151\\158a(\\ETB\\b\\230`\\197{\\142\\STX\\195yD\\242\\234T\\239\\242\\STX%\\172\\201\\198Z\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231h\\156\\132QA\\134\\GS\\STX:\\167\\194\\198\\132\\134\\254r\\171d_\\227\"","tag":"AbiBytesDynamic"},{"contents":"\" t\\213\\252\\&9\\200\\rd\\234O\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\221\\201\\252\\181\\187Kg\\215\\191>\\226\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\200\\132\\177\\230\\175\\132\\&4\\135A\\ENQPn\\145V-A\\193\\RS\\209\\144\\235\\161\\143\\244\\227+\\RS\\SO2\\DC3\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\183\\255\\248\\240\\tE\\174\\RS-O}\\195\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\tg\\220\\191k\\210\\NUL+\\GSfA\\SUB\\139\\200\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\137W\\203\\207\\131c\\239\\220\\222\\191?J\\212\\182tK!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\185\\252R\\255\\EMJ\\229\\150\\ETXV\\232/\\EOT\\154yIR\\154R@W\\242]\\153\\173\\244\\240|\\213\\204\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\DC4\\153\\199\\146\\212\\162\\169q\\215T\\172C\\r?\\174\\173\\254\\201\\&5\\247\\159\\192\\147 \\230\\&2\\167\\225\\221x\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177V\\246\\EM\\213\\215J\\n\\173pP\\CANZ\\167\\188\\DLES\\180\\SO\\166\\&5\\143>\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"}mV\\201e\\187/\\244\\SYN$\\150\\194\\142\\191\\182O\\224\\138I\\148)\\178\\179\\213\\157\\NAK0\"","tag":"AbiBytesDynamic"},{"contents":"\"$?\\SUB\\239T \\193\\a\\216N\\237Dtj\\137\\155\\236G\\162\\161Wp\\ACK~\\224\\188\\146\\143\\136\\145\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"}y<\\240\\DLE\\134\\139=r\\GS\\238\\138*\"","tag":"AbiBytesDynamic"},{"contents":"\"AX\\223\\128\\246\\140\\190\\228 \\175k\\RS\\169\\134b\\214\\EOT\\EOT\\176!\\253\\214Q\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"sKu\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\rl\\SOH\\t\\172<\\\\\\216\\185^\\187\\191\\241\\ACK\\236d9\\164\\194}hU\\179\\151!\\149\\211'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\n\\147~\\DC2\\SO\\143\\174\\227I(\\146(\\215\\ETB\\236\\242\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\135\\163\\249a\\237\\&2\\162\\DEL\\249\\DLEQ\\a\\205\\\"\\201n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTg\\180Dkga\\212'Gw\\DC2\\225\\228\\165\\180\\148\\ETX\\141c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\170\\233\\&2Wn,,\\128\\EM>\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\245\\EM\\187[\\DC1\\207\\141\\230L\\137\\147\\&4\\216\\EM\\186cA0\\134\\177\\175\\198\\SO\\236\\166\\244\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\134\\&0\\158\\154\\200:TT.\\213C\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"44048748838309644688721443685747829067162375641540252589783709611683854296995"],"tag":"AbiUInt"},{"contents":[256,"89275012947530101233992231793125010363471806071793059274642250097616699146357"],"tag":"AbiUInt"},{"contents":[256,"89302170092486947717979108153195534832070832971737528206515626280404285929746"],"tag":"AbiUInt"},{"contents":[256,"8303091535467600586175372134512208037394010798003655618953055640043188700259"],"tag":"AbiUInt"},{"contents":[256,"95728530449531278009099213378837898514618882062571256781717055921286489602197"],"tag":"AbiUInt"},{"contents":[256,"113437368025549320066201445537276189888692404360378444711964204940211340497081"],"tag":"AbiUInt"},{"contents":[256,"105744073807072137253519055809069966962441924218422753119899416140454693566412"],"tag":"AbiUInt"},{"contents":[256,"40763001220829140432068017885571662624114662058676599940078984515662192058918"],"tag":"AbiUInt"},{"contents":[256,"138"],"tag":"AbiUInt"},{"contents":[256,"47771431343691012851766819487596687754348201370762562413230302327267183731902"],"tag":"AbiUInt"},{"contents":[256,"73963938159016947204180193754173620512802108132898570165396823158154567534187"],"tag":"AbiUInt"},{"contents":[256,"70291860651649486216390701272174591176833179671267701427498610101409853826063"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"109020564920498483404998668400416043586156118849000406537543148060502876667880"],"tag":"AbiUInt"},{"contents":[256,"111"],"tag":"AbiUInt"},{"contents":[256,"999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"26935884356225236923184195579238411304767531363212591374441729303377961001174"],"tag":"AbiUInt"},{"contents":[256,"502"],"tag":"AbiUInt"},{"contents":[256,"2639136527911308195257615360337667438273596616737322131139959742381543743017"],"tag":"AbiUInt"},{"contents":[256,"903"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"80373894101713293618271316946043027438400557927424745716923578279726619637464"],"tag":"AbiUInt"},{"contents":[256,"36452678932460166905946626139728874547026362088873721667658507788932358779705"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"},{"contents":[256,"56280912445374608776027568577220391179502237891558546854769755809790762602069"],"tag":"AbiUInt"},{"contents":[256,"42916174556952160831901082264606459838743386889609549032280275513311012605922"],"tag":"AbiUInt"},{"contents":[256,"342"],"tag":"AbiUInt"},{"contents":[256,"10003"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"110346762186649179477609144086568548277727203189324363310585997826027843244319"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"25"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639817"],"tag":"AbiUInt"},{"contents":[256,"62622353968687083191496862742938141637826800599791452324060927005219650539776"],"tag":"AbiUInt"},{"contents":[256,"49033696851389355011491750242161340604557236495706492898149491715973401490993"],"tag":"AbiUInt"},{"contents":[256,"114623078946300891999572089209660864433762406583305926057486430189406205211087"],"tag":"AbiUInt"},{"contents":[256,"1528771207"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"39473796208655734702753018060568084954726780591379967764436880625168572188962"],"tag":"AbiUInt"},{"contents":[256,"27"],"tag":"AbiUInt"},{"contents":[256,"108033389605004681697599334335332917255740873968963929529711549656124790246298"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639934"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000004"],"tag":"AbiUInt"},{"contents":[256,"38517990192274894884341703991810531704764449657131890966889249238725508367148"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"2000"],"tag":"AbiUInt"},{"contents":[256,"803"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222591"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551617"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417343"],"tag":"AbiUInt"},{"contents":[256,"94751104594421817151901385166764824907418289040148344538802944849312190873739"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"58710943993981202947604594965512968645114514031763506865065919"],"tag":"AbiUInt"},{"contents":[256,"108599443247856513514560110826393749431932602386183548523818219582109696908579"],"tag":"AbiUInt"},{"contents":[256,"77896441061749584972176400205441737671375427889333170070830263301930626159473"],"tag":"AbiUInt"},{"contents":[256,"25947406854521147362195972187704346455644843532785266626696790419163476488062"],"tag":"AbiUInt"},{"contents":[256,"79799889788078290909691058958049814162268851603740456275073840420358037042901"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"62203935337169937480535823"],"tag":"AbiUInt"},{"contents":[256,"144800910"],"tag":"AbiUInt"},{"contents":[256,"91918069730604075107571625112461114183411109836997083563818682102241475661015"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639682"],"tag":"AbiUInt"},{"contents":[256,"90108297176580749692749699624098307085463846797183366508503177670225049284757"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"56476796269411195237027424797980103016106673214754241477388454597907449209349"],"tag":"AbiUInt"},{"contents":[256,"4037216416843490205648451219747551716175017456538135638103337424010822046079"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639897"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950336"],"tag":"AbiUInt"},{"contents":[256,"1528758800"],"tag":"AbiUInt"},{"contents":[256,"86564691066558318555683165824990924357591842391635358081812717367560970109580"],"tag":"AbiUInt"},{"contents":[256,"28101515898941890549845777162882147532187872082244059288485144723006929177472"],"tag":"AbiUInt"},{"contents":[256,"7146503892612447631413154834554767934259647070932179954362801352977452279460"],"tag":"AbiUInt"},{"contents":[256,"2376542331"],"tag":"AbiUInt"},{"contents":[256,"76819655925337183865753050101504060951679146947265505573781995821634055106940"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead0","0x0000000000000000000000000000000000000000000000000000000000001270"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d0a6","0x0000000000000000000000000000000000000000000000000000000000005992"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f94","0x0000000000000000000000000000000000000000000000000000000000002395"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639866"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000751f8","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"1999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd34","0x000000000000000000000000000000000000000000000000000000000000265c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000173c2","0x0000000000000000000000000000000000000000000000000000000000001352"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084dba","0x0000000000000000000000000000000000000000000000000000000000000050"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006bf98","0x0000000000000000000000000000000000000000000000000000000000000041"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3a","0x000000000000000000000000000000000000000000000000000000000000012b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"1525391695"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002e","0x000000000000000000000000000000000000000000000000000000000000eb58"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ab","0x0000000000000000000000000000000000000000000000000000000000006fce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"35853888709719090425415212782693981353887232105842696674940511004144495199248"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd35","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639887"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c6","0x00000000000000000000000000000000000000000000000000000000000024ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba4","0x0000000000000000000000000000000000000000000000000000000000004b95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"63954542788459592930980800853718913193502105462622275379433058654948548727864"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011523"],"tag":"AbiUInt"},{"contents":[256,"20267133311257396500180049834475946942581708535876439502273351877566244123669"],"tag":"AbiUInt"},{"contents":[256,"85033821577971922781777131855337660933357477152812557045340214645404466582231"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f98","0x000000000000000000000000000000000000000000000000000000000000136b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000381","0x0000000000000000000000000000000000000000000000000000000000000038"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731851"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae7","0x000000000000000000000000000000000000000000000000000000000000d445"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ae4e","0x0000000000000000000000000000000000000000000000000000000000006b0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"166"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb04","0x00000000000000000000000000000000000000000000000000000000000035d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011521"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c231","0x0000000000000000000000000000000000000000000000000000000000000e29"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb17","0x000000000000000000000000000000000000000000000000000000000000012a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"36257696792490090925267878081311963133294670375265435715896207120100512501267"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdd","0x00000000000000000000000000000000000000000000000000000000000000ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"8999"],"tag":"AbiUInt"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e14","0x000000000000000000000000000000000000000000000000000000000000202d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea19","0x000000000000000000000000000000000000000000000000000000000000a291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"4370001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e350","0x000000000000000000000000000000000000000000000000000000000000614b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[256,"33"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafe","0x000000000000000000000000000000000000000000000000000000000000000d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021648","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"m\\164\\f*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184e#\\183\\172B\\196\\STX\\186\\224c\\180\\151\\149J\\237\\177O\\174l\\154C\\\\i\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159Q\\160\\209h\\n'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\232\\a\\240\\241\\GSK;c\\240\\DEL\\168\\200\\171yn\\153\\NUL(\\ESC6\\211\\EM{N}7\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"fC\\167U\\141w\\153\\ETB;cY\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"crV\\255vR\\255\\230\\&9\\DEL\\ETB\\SYN\\210\\166\\186\\175j\\229\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\167\\234\\147\\227\\SO\\148\\232\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\197\\247Z3\\251\\239\\ESC\\132G\\135\\178\\f\\170\\211:\\196C\\178\\242\\163\\179\\177\\171\\128\\220\\230|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240F\\176\\&7\\164\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\&9 \\198&S\\131\\231\\235\\183{\\CAN\\165\\183+\\174\\215/)\\n\\165\\DC1\\DC1\\CAN\\130\\145\\DC4\\196mf\\254\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\244v\\163~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139]\\ENQW\\248X\\190;\\163V\\DLE\\226\\181|9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\ETBA\\135\\DEL\\213\\vcp\\255\\SO+\\171\\FS\\b\\207\\255\\DC4^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\215G\\213Z\\154\\224\\253\\168&j\\SO\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\EM\\148\\&3Yw\\188\\171A\\213\\CAN\\231\\STX\\f*\\r#{51J\\NAK\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175:\\179\\142(\\179\\208\\FS\\174n\\DC1D\\191\\234\\232\\227A]\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\208\\241\\NAK\\128S\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\169E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\ETXX7v\\US^\\182\\236a\\248\\SOb\\172\\&6\\164\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\206\\159d\\160\\186\\&6'\\v\\172x\\ETB\\243/\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154l\\175\\SI\\194\\184\\141\\219\\r\\FS\\161\\188\\243K\\244\\203\\DC4\\219\\167\\186\\196\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\149n\\CAN\\130\\147G\\181\\161\\&8\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150}\\143\\ESC\\174\\n\\238\\189U~C\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\138\\168\\GS\\207\\227\\135\\174\\189\\188\\152\\ETB\\226T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\227\\216\\227\\253\\188\\158\\150d\\153p\\223DC\\233\\209\\146Y\\246/0*\\a\\224%\\STX\\USwjF\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199R\\254UW\\ETX\\214\\235\\202!\\221,A\\v\\SYNH\\199V\\189Y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\f\\234o\\\\EM\\205\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254{\\b\\165\\NAK\\137\\240\\b*\\EMw\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"G4 1\\159\\USO\\192\\218z\\RS\\130\\181e\\DLE\\234\\210z'\\186\\159\\138\\ETX?\\151\\192\\151\\196\\DC1\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\243h\\247 ?\\250o\\232\\r\\173\\200\\174\\139\\178\\244\\175\\&3\\128\\&6\\222\\173\\225\\144`\\200\\248j\\ESC`\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\159\\162\\159\\159a\\NUL\\132\\151rb<\\244\\SUB6\\193\\140#\\207\\235\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\".\\202\\EM\\144^\\237\\198\\176{J\\198\\SOH\\DC2\\DC4\\230v\\238\\146h\\194S\\167\\SOH\\143\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\144\\201\\216\\CAN\\131\\ETB\\178U\\164M\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nl(3]\\201\\192\\STX\\173\\145\\DEL\\f\\202\\144y,V\\237\\225\\219\\178m\\183\\157R\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\179\\150BT\\238\\239\\228\\235\\165\\209\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\".\\147\\177\\r\\222\\235n\\131\\172\\179)\\202\\&1F\\146\\131\\SO\\198z\\240\\223\\205V\\SI\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\aZ\\205\\245;_\\DC3\\142\\158s\\210\\219\\249\\CAN\\\"\\246\\179\\DC3.\\168r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\143\\139J2\\132S\\\"Kw\\244/\\166'\\a\\240\\ETB\\221\\210\\v\\243\\DELS3x\\229a<\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\SI\\EOT\\128\\RSM\\221\\b\\133j\\178]\\180N\\178\\234G\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\193eJu\\194\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\170\\&6\\177]A\\232\\182\\186\\208p\\136j\\191\\187\\250\\EM/\\ENQ\\188h\\ENQ\\220P\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158L7m\\SYN\\241\\131\\DC4O<\\166\\159\\224O\\a\\149\\n\\DC2\\173]Q\\153\\235b5\\EOT?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249B\\227\\169YG\\220Z\\235&/\\185\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\200\\174\\ESC\\136B\\209\\160\\229j\\154\\225\\&0e\\187A\\135\\186\\247wx\\152t\\181\\148>\\186#\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\164A,+\\213<*\\238'\\SOH\\197\\205\\NAKTs\\244\\204g\\EMe\\253\\187\\168\\129H\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217g,\\154ES\\GSt\\211\\129Id\\212\\240\\255\\NUL\\183>\\211\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"!8\\216#\\160lc\\DLE\\202\\252jv\\157>'\\240\\197<1sCb\\DC2M\\183\\153>\\151A\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\218\\158\\SI\\219\\164\\166?\\\"\\DC1\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\&6\\177\\244z\\GSc\\\"\\223\\&5\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\178\\186\\160=\\253C\\144\\152\\207\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\158jW\\196\\240t\\217\\DEL\\246\\168\\202\\240\\SOH\\201\\213\\238$\\151\\203\\DLE\\138\\129\\CAN]\\DLE\\197\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\133\\205\\tO\\184\\171\\137]\\180]Q\\177\\SO\\199b\\US\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"C}\\231\\225\\153y\\DC1\\176\\254\\167:y\\142\\152j\\226\\226\\186\\vh@\\151\\v\\159Dz?s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\SOC\\236\\209s\\138\\t\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\184Wl\\190q#\\202\\195\\162!\\EM\\240\\194\\EOT\\212\\218<\\243\\140\\SUB\\217+\\SYN^\\n}\\138\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\170uU0K?\\DLE\\ETX\\\\wzn\\172\\NULBIOdv\\181\\234\\&5\\179t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\189\\128'\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236(C\\130\\\\\\DC4\\150\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157_\\DLE\\217\\130[\\207\\169\\186\\209\\206\\&7\\151D\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\227\\200\\DC2[c\\201\\158\\182^:\\218~\\238\\a*\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\199R\\220Y\"","tag":"AbiBytesDynamic"},{"contents":"\"RoP\\155J\\173\\207\\250\\&7m\\168Vo\\134\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230&\\231a\\219\\140*\\162\\199\\134\\200?Q\\253H\\196\\202\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\248\\134\\164\\136\\200\\SO\\134\\137\\255\\241\\EOT\\243\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\250'\\181\\SYN\\150\\184^}\\194-v\\GS\\SUB;\\NUL\\173\\241\\158\\&6\\255&\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136g\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\139\\237\\f\\147\\b\\138\\DC2\\198\\133fo\\SUBl\\162N\\198[\\ACKOu,\\210i\\224\\182\\244\\131@\"","tag":"AbiBytesDynamic"},{"contents":"\")\\191\\251\\&6\\ETB\\FS\\201\\151\\r\\240?\\DC2\\171b\\147Z \\242\\DC3\\208.\\ENQ\\155\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\255|\\209\\&8>:\\245\\131p\\157\\202\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250x\\179\\254l?\\149\\&2T\\ENQ(\\234\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"dO\\189=\\151+'\\154E\\n7\\246\\231\\229\\233\\205\\223\\161\\154Z\\rk\\229V\\170\\ETX\\233\\ETX\\233U\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\177\\164\\188w\\202* \\135\\&1\\SOH\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\229a\\SYNu\\249\\&3J\\SO=\\216\\246\\SOH\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\b\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"'Pt\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\149rci8\\DEL\\167\\DEL\\165\\236\\202\\DC4\\CAN\\212>3\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164;\\222\\128y\\145o\\230\\242\\172W\\165\\GSV?{*1\\EOT\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\137\\234\\ACK\\238\\201\\193\\192\\172\\147x\\a\\SYN\\152\\&6\\ETX[\\200'\\225\\151\\249\\f\\RS\\196\\142T\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\201p\\246\\148\\&9zs\\192\\252Z\\253\\169\\189\\189o\\DC2\\151\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\DC3\\254\\240\\139\\FS\\133F\\189IH\\226V\\230K\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\":tx\\190}\\fG|\\NUL\\199'h\\249\\191\\186|\\235\\f\\146\\240\\SOH\\SI\\225\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\240\\250\\171D\\158\\240\\STX\\r&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\239\\&0\\216\\249\\215j\\146\\147\\141\\169\\rx\\ESC\\234\\194\\SYN!\\162\\179%\\SIR\\NUL\\167\\148\\252\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\"","tag":"AbiBytesDynamic"},{"contents":"\";,\\134y\\vFx\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\&8i\\130\\173\\236o\\FS5\\173\\169\\234\\157\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\203\\185\\226\\158\\157\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\230\\150\\DC1O\\161=-\\155\\192\\249\\250\\212\\190\\179\\NAK4q\\178W\\176\\154\\231\\225\\206\\139\\223\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\159Q\\DC1\\249\\154\\159\\217.\\179\\164\\255\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\252\\&9\\SUB\\157\\162\\DC2'\\166\\226Hcxb&\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\173\\245\\172\\157\\GSB\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\212*\\155\\225\\198\\194\\b\\186\\&2\\b\\217\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\185\\135Iq\\NULz\\192\\166\\208\\201\\139\\218h\\251\\159\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\147\\232\\DELt\\156\\226\\252\\GS\\161\\143ll}\\201\\&7\\235\\172^x);\\211\\&6\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\a\\131\\223iR?\\132\\244\\222\\156\\211\\144k\\n=\\188\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\183\\RS\\215\\217C\\253X?\\170\\148b\\163\\GS~A&\\174X}o\\188\\DC21\\186\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\187\\145\\&6b\\205\\&6o\\162\\128\\205(\\166\\225d\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\138S\\f\\204\\&5/?5\\221\\214\\NUL3\\189\\&2CTmo+'\\128\\254\\ESCS\\183\\168N\\177{\\244k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\203\\132\\ETX\\ETX\\SUB\\196\\167\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\226\\169d\\ETB\\183\\226\\129\\213\\206\\231e#AA\\b}~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\174\\254\\220\\180\\168!\\217.*y\\NUL\\214e\\DC2\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\n\\202\\255bq\\171\\232\\132\\DEL\\EM\\185\\160?\\130X\\232\\NULVR\\206\\128\\&9\\132\\DC3\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\158T`J\\160t\\tb\\NUL\\t\\163w\\178:r1U\\197\\143q\\136\\fl\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\154\\ETX\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215.z\\DC2\\222\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\153\\216\\186\\201\\174\\140z0+\\235\\173.\\RS|d\\157l\\251\\SO\\190\\222U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207Z\\EMDP\\190\\STX\\250a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\225z\\202Y\\SI\\v<^\\212\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USz\\222v\\176\\246\\154\\246\\145\\140+\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192o{\\b\\186\\173\\217\\t\\164\\200\\253\\175e{x\\235u\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\142\\NAK8z_\\212j\\237J\\244\\v\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\167\\191\\183\\143\\178K\\207\\197Es\\STX\\167\\&2\\233\\142\\DC1N\\174\\148m\\158D\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\CAN/x_\\128\\194P\\apE/E\\SUB}\\129\\251\\164\\STX*\\166\\231\\SOH\\201\\138\\137\\239\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\160<\\209r\\156\\RS\\STX\\DC4\\252\\210\\200\\196j%\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\232\\197\\204\\v \\227\\232\\134\\182ZW\\169\\181g\\EOTb\\246\\f\\RSH\\143\\DC1\\222K>\\243\\r\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\a\\SIT\\129\\225.\\207q\\129a\\NAKe\\237\\205<i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\237\\133\\ETX\\199;4\\DC2\\US\\137\\177y\\193\\249\\224e\\190\\CAN.Q\\201`\\ETX\\SIh\\ETX\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"wg\\169z\\134\\160l\\a\\177F\\244\\243\\DC3w\\ETB\\205\\154\\157\\188\\RS;R&U\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\165>v\\RS!\\232\\215o\\207\\166\\212p\\156{4\\NUL\\SI}:g1\\140\\234u\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\142\\191\\140\\204\\211#\\228'\\152\\201\\179\\175\\196\\250Yk\\161\\255\\FS=D\\251Wx\"","tag":"AbiBytesDynamic"},{"contents":"\"OIxI\\v(\\229\\148H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\229;\\STX*\\RS\\177)-\\166}\\vm\\EOT(\\175\\186\\161\\228\\230B5\\226\\CAN@\\140Tl>\\232\\215\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"v\\151\\235v\\137\\152\\252\\CAN\\175f\\159\\226i\\SUB\\171\\171\\240\\v\\217\\198:\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\190\\151%\\191Wy\\CAN\\242\\176#;\\NUL\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\221\\175\\RS\\167\\188\\154\\nK\\198\\\\\\173\\189c\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\175\\160Y\\136\\DC4\\203\\185\\168\\236\\STXu\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\185B'u\\133\\239i\\STX\\162\\DC1\\239\\178\\244\\&1\\SO\\DEL\\223+\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\SUB\\246!\\216\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\199`O\\183Q\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\194\\RS\\227\\216\\197G\\NAK\\191?\\f2\\223a\\GS]\\131\\178\\239\\132\\GS\\129 \\176\\205\\226p\\191%\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237|r\\SOX]u\\ACK?\\144\\US\\172){?\\255`\\182\\227}\\v\\225\\227\\ETB\\\\zK\\232\\CAN\\148\\200\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\212\\ACKv\\146]z\\DC2\\176\\&4|\\225e\\FS\\132*y\\182K\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\149\\129I\\152(#@\\DC4\\234\\236\\246\\&8\\203\\197\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\SIZ\\233\\240\\214\\129\\173nmO\\217\\202\\141_\\182\\128\\&0\\187S\\132R\\160\\243\\158$\\145.\\248a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\177{\\233\\146\\150\\164\\b1\\196J\\US'\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\SI\\253\\181\\204\\147U\\t\\175\\138S(\\219,\\240\\141\\210\\&9\\175W\\237j\\142dKBU\\154(\\132#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243.\\205X[\\215h2\\SYN\\168\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\232?_\\235\\239\\246t\\251\\170\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"Kr\\177\\149\\245r\\242p\\DC2h\\208\\&6\\SOs[i\\ACK*j\\155?\\165w\\130\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\230\\185&\\220\\EM\\252a\\a\\222\\219\\196\\195/,?\\230\\CANe\\174\\DC2\\144\\156elr\\146c\\218\\208\\135y\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\221\\SIu\\186\\STXr'\\165&\\EOT\\218t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\fO!$\\131\\230E\\217[v4\\162'ud4(.q\\212\\225\\197\\176\\248]S^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\238\\195\\t]\\183t@\\183-|\\159\\&7\\187.&{p\\RS\\208\\143I\\214\\218\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145`\\204\\150\\ENQ\\170 k;\\168';V@\\DC1w/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208:\\209\\nHW\\183\\EOT+\\134\\238 V\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\171\\&5\\154s\\219\\ESC\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\">,l\\171(\\183\\175\\145\\NAKS\\155\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\206\\DELA\\135\\156\\143\\207\\173\\DLEH\\171qLMwu7z8\\132\\238\\186\\236\\219R\\ACK\\217\\133y\\CAN\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"d5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\177\\132`\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\245r\\152\\209(\\169\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\146Z\\176\\212 \\254M\\229(\\148>\\224\\168\\f\\251\\224\\SOH\\143\\196:\\ENQJ\\r\\132H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\179i\\RSr\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\242#\\231\\172\\134,\\236t`fS\\185%R;8Fn\\149\\amV\\222\\175a#\\223\\SO\\td\\161\"","tag":"AbiBytesDynamic"},{"contents":"\".\\189\\133~\\146\\ACK\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\179\\131\\173\\155\\221\\196z\\173\\159\\227\\213\\180\\171\\128n\\231\\&9\\t\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\167c\\161\\&9\\252\\&0\\133\\180\\154\\210\\&6m\\186\\SOH\\221\\178\\&3\\241g\\235\\&4\\218M\\194q\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"j<\\227\\&8\\241\\194*\\SOHaN\\235\\NUL0\\152E-1H\\147\\SUB\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\179K,\\166'_<\\159\\DC1\\186$Q\\218Xn7`\\184\\196\\133C\\237\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2b\\245\\170\\226\\a\\bg\\241\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\173\\217\\211\\160\\240t\\234a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\128\\184\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\145\\NAK\\176\\201\\155\\181\\205A\\242\\132\\173\\176\\176\\175\\143\\171\\228)d?\\245\\EM\\144x\\148\\147I\\SYN\\254\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHP{\\184\\135H\\186\\206\\254 \\206\\b\\247l\\219\\215Q\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\247\\245\\240\\165\\217\\203Oc\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\238|0j\\170\\CAN\\137\\139i,\\157\\SUB\\196\\157J\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\191\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\232\\233 \\ACK\\155\\170v\\213\\140\\239\\r\\240KE\\250\\184X\\ETXK\\226\\168Y\\170\\212\\NAK\\159<\\165|\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\198\\254\\254-\\ESC~\\238B\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"*,\\198Ek\\190\\222\\130\\174\\151\\227[R6\\212r[\\255\\217'W\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Wl\\130V\\213\\251\\154\\SYN\\NUL>R\\GS\\210\\\"%\\t\\154\\145\\&7\\201\\135\\177\\&0\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206U\\142:\\149\\193\\200\\179]#\\EOT\\185\\248\\r\\SYN[\\190\\FS\\148\\&6\\EOT\\182\\&2\\226\\ETX\\159\\147\\r\\216\\254\\NUL\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\214\\175L\\176\\228~\\145D<\\EMG:\\ETXB\\133[\\ESCWc~\\158\\&6.\\US\\218XS\\179\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"a8\\SUB\\255L\\141ky\\136z\\191\\197\\133\\254\\&2\\202A{\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"mM\\197\\&9\\a\\234\\255\\EM9\\aM=o\\160A\\252\\138\\138C\\225\\SUBj`\\219@L\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\242\\206<\\160\\r\\131:\\ACK\\214\\f\\199\\255\\233\\163\\227\\187\\139\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\8J\\203[\\148\\131\\253\\217\\240\\224\\242\\216s\\239\\156\\214\\185\\172\\&6.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165#K\\222*`\\227\\DC1\\203\\170w\"","tag":"AbiBytesDynamic"},{"contents":"\".\\183\\179\\193\\217\\n\\249r\\252\\172e\\SYN`qC_\\181^R\\224K\\173\\220\\t\\205\\204\\NAK\\196\\183\\191f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\&1\\141\\164sh,\\183\\128\\ETB\\214\\212\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\183*P\\190\\196\\v\\185'\\231h\\EOT\\191\\233\\204\\134\\241;\\186\\CAN\\225\\137\\169\\213)\\164\\177U\\236\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"TUG\\151\\US\\EM\\132;2W\\201\\153)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\NUL\\US\\135\\RS\\199Q\\209\\NUL\\251\\172<\\245\\SYNj/\\ETXD\\190\\b\\169\\136\\&2[C\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"&n\\tn\\230T\\226\\228\\255\\135\\131\\131\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"<K\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\&5\\v\\SUBWZ\\150\\131lS\\178\\142\\148\\189\\152q_g\\206\\DC1\\147t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193*3\\DC1p\\210\\213\\196\\CAN8\\200\\135\\155\\244W\\nOe+\\FS\\138u)\\242\\186\\&0\\148\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"^D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\228\\254\\DC3\\219\\149\\195\\183\\233\\167\\155\\bUKZ\\n\\182&\\135\\253\\150\\GS\\246|\\178\\226\\152\\209\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\156\\219\\203 Tdbn\\199\\225Zs\\133\\179\\ESC\\SO@\\SOH:\\FS\\232\\DEL|$?9\\230r\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTI`\\ETB\\253\\227i\\213\\150k`U\\252\\146\\US\\130\\243\\130\\220}\\161\\190\\231\\244\\139\\255\\199\\202\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\166\\252]$%3\\145\\207o\\180\\159s\\158o/b\\SO\\220\\133\\210I}\\194\\ENQ7f\\210=\\ETX\\143\\213\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\187\\158G\\247\\235\\134\\161\\196\\133}2;\\v\\\"\\224\\173\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\232:\\NAKdb\\200n\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\".43w\\239\\nl}~z\\223:\\ETB2\\RS\\f\\209a\\nS\\167[L\\192\\166h\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"+\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\199qO\\129\\245.\\161\\202\\DC2\\149\\235\\128\\223r\\180E\\215)|\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144=\\193\\169\\137e\\176\\185\\131\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\130 \\145D\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168Pu}\\223\\198\\241\\145\\SYN\\DC2\\160!9,D\\198\\181\\&3\\147iAL\\182\\129\\247\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US.\\203\\254\\218\\179x\\228\\SO6p\\204j\\165\\240\\208\\227v5\\162\\200\\243\\DC3\\129\\130\\247\\141\\142s$\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\FS)\\184^<\\198\\169o\\173e+u\\t?l\\175\\150\\156\\&2\\152\\138\\173\\184B\\193|\"","tag":"AbiBytesDynamic"},{"contents":"\"k \\178\\189\\134G\\164\\164R)\\232\\f\\241\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174f\\133\\152\\150\\215\\189\\rx\\190\\NAK\\230\\&5L@'\\183P)G\\241aV\\179_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\139D\\191\\226\\150[L\\176\\145\\236M'\\140gs\\201\\223\\252 \\165\\SO\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\159{\\\\\\SI\\187\\165\\189\\180nl\\143\\245z:P\\133\\192D\\232E:o\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\200{\\DC4D\\218\\EOT\\227w\\250\\201\\135\\208\\231\\209\\ETB\\CAN\\153l\\DC4q\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\tQ\\n(N\\167N\\158|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\209\\136+Cj\\219\\211J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169z\\163@T\\192\\166hW#\\156\\237=\\137\\188:\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\131\\180*\\162\\145Y+\\137F\\af<\\194H@T\\215\\208\\196g\\242\\ACK\\tz\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\156\\f\\200\\142\\232\\167\\193\\164\\f\\146\\244I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\128]\\135\\DEL+\\209\\r\\251R\\136b\\236\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\158\\216\\187\\133x\\190\\136\\b*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\146Z\\190\\221/Z\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\230\\\"\\206?\\190i\\142\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\221\\143\\134C\\172\\139f/b\\n\\a\\DC1\\191\\ENQ4\\137\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"XPN\\209\\180&\\247\\132\\&9q\\224\\158\\234\\GS8\\187\\bvk\\198i-<\\217\\208<\\186fr\\164\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\133\\152\\148\\156>\\207A?\\135=\\159u\\t\\202\\141\\239\\153\\212:\\246\\200\\DC3\\167\\212\\SYNx:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USf\\DC1p\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"q{\\187\\236\\215v\\155\\189S\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\211\\183\\DELu\\249I\\223\\248\\227K\\ETX\\DC4B\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133B\\231\\129\\176\\133\\SUB\\169\\224?u\\f}\\238\\196\\212\\215.\\249N\\160\\144$\\162e\\237\\133\\163\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\GS\\171\\184I\\228\\160\\220sc\\129\\EM \\ACK~\\208Q\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\232\\234u\\135\\246c\\238\\208\\aL\\178k\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\131q\\151\\238\\218\\181!$\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\186Pr\\DEL\\138l\\EOT/A\\EOT\\157\\144\\188\\165\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\255\\225]\\168\\216x\\DEL\\n\\v\\231\\153\\166\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\212B\\207[n\\r`\\DLE\\237\\133\\218\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\n\\183\\235\\&0\\250\\164Ex[\\195\\241K\\161\\153\\210\\188I\\194\\US\\132\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\247\\245\\GS\\221\\RS\\GS\\159<s\\135\\196X7\\153\\154\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"<h\\228\\242\\GS\\DC2\\133\\234\\RS\\187\\f\\168\\175\\204\\233Z\\v\\ETB\\223G\\152F#\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\228b\\141^\\244\\195\\SO\\174\\234\\&0\\DLE\\r\\163\\138bB\\150\\191\\ACK\\226\\235]-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\&3\\156\\r\\247\\183B\\182\\253u~\\EOT\\237\\146v\\SO\\185#\\150\\230\\206\\159\\145V\\255di\\155\\ESC\\167\\187=\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"17692132921111790797107249546322127352088432300352295561641120590912481563760"],"tag":"AbiUInt"},{"contents":[256,"1528319596"],"tag":"AbiUInt"},{"contents":[256,"83238451436069063796426150354936929233165405609874433397643193665611100397496"],"tag":"AbiUInt"},{"contents":[256,"70285215138290072779817954390105303412127493986761629385767873732126812916331"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"9003"],"tag":"AbiUInt"},{"contents":[256,"79934996369865876459379161738638224361034942062470341975788035921586915454293"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507327"],"tag":"AbiUInt"},{"contents":[256,"89725944157486579167903441044078409321440833833788812005385780004290174469064"],"tag":"AbiUInt"},{"contents":[256,"1784156138922569987549843691932401038112826555899484400280519519337175561920"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781052"],"tag":"AbiUInt"},{"contents":[256,"1528788946"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417341"],"tag":"AbiUInt"},{"contents":[256,"70738392664349449975397288585754191386556324561338340665452818633032708158945"],"tag":"AbiUInt"},{"contents":[256,"621"],"tag":"AbiUInt"},{"contents":[256,"59672179279721382993091958079501685713865033214105799998305950401868600606188"],"tag":"AbiUInt"},{"contents":[256,"68209535132414006750368394411868331987447052797079268509875954071733581833953"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639638"],"tag":"AbiUInt"},{"contents":[256,"94865596206048242008115588933987205118238092222836134827365857782017984300663"],"tag":"AbiUInt"},{"contents":[256,"109037833507860042387506935625706578988401689381665812920599405722303829539324"],"tag":"AbiUInt"},{"contents":[256,"3997"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"32872095316492008477953256760862684306601601004408316427880166616933937447642"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222594"],"tag":"AbiUInt"},{"contents":[256,"67509696938524282907351523235685006683812461342428597838250160361519743098628"],"tag":"AbiUInt"},{"contents":[256,"33577350455952167042270378431950481398241836213123116242036729830871268062709"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"604798"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639038"],"tag":"AbiUInt"},{"contents":[256,"83"],"tag":"AbiUInt"},{"contents":[256,"20105516639135226171828830520696886438929794857522270687557344037334793178910"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639878"],"tag":"AbiUInt"},{"contents":[256,"89830966276970605909762147711124267791386430373560836853138299669040590226677"],"tag":"AbiUInt"},{"contents":[256,"2"],"tag":"AbiUInt"},{"contents":[256,"231"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"225"],"tag":"AbiUInt"},{"contents":[256,"1068894471300177086283878385638047916391049391239384978014653854941748273131"],"tag":"AbiUInt"},{"contents":[256,"1531030574"],"tag":"AbiUInt"},{"contents":[256,"1530225810"],"tag":"AbiUInt"},{"contents":[256,"64202055407214239614945158031508798396721017321617110257684513853224344911300"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507331"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639632"],"tag":"AbiUInt"},{"contents":[256,"557"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636335"],"tag":"AbiUInt"},{"contents":[256,"12459668934493029153498067597454455347466219761294186497768027701133493183244"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639682"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"96084128921958425831714911955208553737918664357084356787110345522018858386880"],"tag":"AbiUInt"},{"contents":[256,"712"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf6","0x0000000000000000000000000000000000000000000000000000000000000fa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadc","0x0000000000000000000000000000000000000000000000000000000000004021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd33","0x000000000000000000000000000000000000000000000000000000000000e348"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e8","0x000000000000000000000000000000000000000000000000000000000000270e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000030","0x0000000000000000000000000000000000000000000000000000000000000040"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaea","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c116","0x00000000000000000000000000000000000000000000000000000000000000fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5f","0x0000000000000000000000000000000000000000000000000000000000000026"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"108883463489411264318164051434818509857738280219317487097147476919904008715266"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000433c2","0x0000000000000000000000000000000000000000000000000000000000000010"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"51208841057710711252643899065011586317315414949497473688151880077306731384782"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x00000000000000000000000000000000000000000000000000000000000012a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"7973176925285938594823720743140663824124117303170685159087890713532587513474"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6b","0x0000000000000000000000000000000000000000000000000000000000000385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]