[{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"766"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047daf","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004713f","0x000000000000000000000000000000000000000000000000000000000000d8d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"113890952766495298676564164101261807661661796805319843262161874475581925613111"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e9f8","0x00000000000000000000000000000000000000000000000000000000000085e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cf4e","0x00000000000000000000000000000000000000000000000000000000000015d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"232"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a7f8","0x000000000000000000000000000000000000000000000000000000000000004b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"1070612518133695028038493590265739403806466"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001387","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639037"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000026","0x0000000000000000000000000000000000000000000000000000000000003c09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002712","0x0000000000000000000000000000000000000000000000000000000000009156"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"62465725621373933164102810951612659295847940246240535312682594270351388847649"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2b","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x000000000000000000000000000000000000000000000000000000000000135d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4f","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"45940875547829702412325504174067415116883636971020250290055928021716769154992"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000016","0x00000000000000000000000000000000000000000000000000000000000012a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x00000000000000000000000000000000000000000000000000000000000000fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029864","0x000000000000000000000000000000000000000000000000000000000000139c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073a65","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"34993801251383765364488311144705009572132923847783264979857796624382111047034"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427a","0x0000000000000000000000000000000000000000000000000000000000002710"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030333"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005302a","0x00000000000000000000000000000000000000000000000000000000000009de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"70"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf4","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fe","0x0000000000000000000000000000000000000000000000000000000000000100"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"78"],"tag":"AbiUInt"},{"contents":[8,"233"],"tag":"AbiUInt"},{"contents":[8,"58"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabf","0x00000000000000000000000000000000000000000000000000000000000013ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"54"],"tag":"AbiUInt"},{"contents":[8,"7"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000768f5","0x00000000000000000000000000000000000000000000000000000000000023a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea45","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"60464211017472900453031486631613866869046763251702098665160227987944163746051"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e353","0x000000000000000000000000000000000000000000000000000000000000d9d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"4"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000030","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000041","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d2","0x000000000000000000000000000000000000000000000000000000000000725c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858878"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232a","0x000000000000000000000000000000000000000000000000000000000000a4f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"70041149351698009853233547230450942702041118964116194378035684407777410367827"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e3","0x00000000000000000000000000000000000000000000000000000000000035d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"2000002"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"},{"contents":[256,"78458398636301774032999891874788444186350106783276360219728838636090654844978"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2d","0x000000000000000000000000000000000000000000000000000000000000d9d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"60965317051272842576081204962700826844896143904264064096343439032820337746510"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d8e5","0x0000000000000000000000000000000000000000000000000000000000000f9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"41032474426038711716543301614417986535238479649191790164429373360900996557661"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002cc09","0x00000000000000000000000000000000000000000000000000000000000071e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"37953234957032642743729533711823103087246521397022276154499568193164154434013"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x0000000000000000000000000000000000000000000000000000000000002ee9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"68555489871288041127809725"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072dfd","0x000000000000000000000000000000000000000000000000000000000000eb58"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"100940565056825281252106229166538128599589288844859079765620530840846247328996"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082acc","0x0000000000000000000000000000000000000000000000000000000000006ddf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef47","0x000000000000000000000000000000000000000000000000000000000000b062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\180\\148J\\221\\DC32\\132\\RS\\236Tp\\180\\ESC\\ETB\\ETX7\\217b{'\\DLE \\246Wo\\183\\146\\154m\\133C\\150\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081cda","0x00000000000000000000000000000000000000000000000000000000000064ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x00000000000000000000000000000000000000000000000000000000000000fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"83797662767718350573827135753426050609734517744360679140495208710079389429079"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ace4","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"79228162514264337593543950337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabf","0x0000000000000000000000000000000000000000000000000000000000006540"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"74"],"tag":"AbiUInt"},{"contents":[256,"44554051917411575086715785416684521872238409187036488612995291583151502605701"],"tag":"AbiUInt"},{"contents":[256,"1538888440"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"87146334348820441544727558773666828562417858208011134643868174477836738371241"],"tag":"AbiUInt"},{"contents":[256,"11087335390105864605927906161805424088480575403472498533607619013013066670704"],"tag":"AbiUInt"},{"contents":[256,"108450248182941081942348077619390226459276284708179044308528366349495347002722"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e410","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"927"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000401","0x0000000000000000000000000000000000000000000000000000000000004ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"35429557824726939391562849215871012701053079202303875910262351766984381601107"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000384","0x0000000000000000000000000000000000000000000000000000000000000fa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"10178630343131712413072146079573225466677823035763601541988898083969059338926"],"tag":"AbiUInt"},{"contents":[256,"37230180076688914620461585963447488429725988170437015985713327929152922618392"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc12","0x000000000000000000000000000000000000000000000000000000000000ec36"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"9003"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050d5c","0x0000000000000000000000000000000000000000000000000000000000008193"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639797"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029bc3","0x000000000000000000000000000000000000000000000000000000000000b556"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1532755393"],"tag":"AbiUInt"},{"contents":[256,"106382986351629058228192231690933895731271490544383292820197806726549801089482"],"tag":"AbiUInt"},{"contents":[256,"83742432850960049542551870101084717251133715613523446094441016046044890472035"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747165"],"tag":"AbiUInt"},{"contents":[256,"58370144838715024732934271945271975392455064988583194454674220096827483402397"],"tag":"AbiUInt"},{"contents":[256,"100"],"tag":"AbiUInt"},{"contents":[256,"61091910811531159404276218686318188426259455028869706933149620391668841903892"],"tag":"AbiUInt"},{"contents":[256,"52653956385086209777781147734990588365046986747821598670180444671314057862601"],"tag":"AbiUInt"},{"contents":[256,"497"],"tag":"AbiUInt"},{"contents":[256,"103497163386281022024037432045091586671661395132943107648684111662671946602806"],"tag":"AbiUInt"},{"contents":[256,"82491000133211093970448146724376822111077191679062595256778353808315861058295"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639890"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635939"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"17896507189639598234139127863991553780533628077201405578647370560796275862291"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747168"],"tag":"AbiUInt"},{"contents":[256,"75281851786253526203786282158183922632251174984617567212704248787144453086737"],"tag":"AbiUInt"},{"contents":[256,"92315625006413439539482714086773565245413641460856895360416881838111743770937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417344"],"tag":"AbiUInt"},{"contents":[256,"32829658851155716164178707724806377741056858450083516424831580060611452684711"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639857"],"tag":"AbiUInt"},{"contents":[256,"67386076193070619804512480234019612325055708022744465041602590793461983760635"],"tag":"AbiUInt"},{"contents":[256,"82"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639930"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132611"],"tag":"AbiUInt"},{"contents":[256,"36"],"tag":"AbiUInt"},{"contents":[256,"67"],"tag":"AbiUInt"},{"contents":[256,"1528727642"],"tag":"AbiUInt"},{"contents":[256,"47487031922223492996043745927470775174626636071536435056904172276743201204602"],"tag":"AbiUInt"},{"contents":[256,"8080765880668276738399282890175667658326756010537813452260297707797821397118"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"94"],"tag":"AbiUInt"},{"contents":[256,"58"],"tag":"AbiUInt"},{"contents":[256,"113642017797256099755365431336751011649290802042340187346730085932835151974031"],"tag":"AbiUInt"},{"contents":[256,"21694211848509577538681025"],"tag":"AbiUInt"},{"contents":[256,"55750777499508539677686348739684275626738272774668293712444957252212432309155"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609600"],"tag":"AbiUInt"},{"contents":[256,"7774398832953352131782672684178800515420893610048564612973306846415660392375"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"51774798595929335344749072860236718504216052142670754779686238441344092672926"],"tag":"AbiUInt"},{"contents":[256,"54"],"tag":"AbiUInt"},{"contents":[256,"1150614573728696055086313054530330360034529765621241196282714199235970869553"],"tag":"AbiUInt"},{"contents":[256,"110065768856328114918465142851845699725840395607774954693401202691351363511074"],"tag":"AbiUInt"},{"contents":[256,"106835947655577558015901651691691973523721736651658502386967373559704971790321"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639813"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858884"],"tag":"AbiUInt"},{"contents":[256,"1537566658"],"tag":"AbiUInt"},{"contents":[256,"108488655455695826605835439409415729831795343943950154377842477607136529193584"],"tag":"AbiUInt"},{"contents":[256,"4496123921229463371373244130848935663753373947277616673394516564823397050774"],"tag":"AbiUInt"},{"contents":[256,"89667489847077954372939045285797080676228954848517632107098125162105592564258"],"tag":"AbiUInt"},{"contents":[256,"638"],"tag":"AbiUInt"},{"contents":[256,"106394932176313780711829623241141379298744670161132814671562428136845185890764"],"tag":"AbiUInt"},{"contents":[256,"80312123457346739479068893915176773051801998374955236179534613692358447475165"],"tag":"AbiUInt"},{"contents":[256,"300"],"tag":"AbiUInt"},{"contents":[256,"111930562359931678764319267041872725240671080196147485380773814643206876851240"],"tag":"AbiUInt"},{"contents":[256,"68958205109641587829632246287712456258237143027140546897273333069058804337879"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ff69","0x000000000000000000000000000000000000000000000000000000000000b9fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000026"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"83177786972061455987435904235876675802568626173054169503430561244533828473812"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b0","0x000000000000000000000000000000000000000000000000000000000000154d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"903"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000a4","0x00000000000000000000000000000000000000000000000000000000000095b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"78503240180834788949164643024422903709131598655377131994908159585311998472223"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003a","0x0000000000000000000000000000000000000000000000000000000000000037"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"100465221907783001823422736728847211348328942491176315273497362221686872993724"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ff69","0x000000000000000000000000000000000000000000000000000000000000d8d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639924"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ff69","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042006","0x000000000000000000000000000000000000000000000000000000000000653d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015183","0x0000000000000000000000000000000000000000000000000000000000000024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b1","0x000000000000000000000000000000000000000000000000000000000000d8d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000020d","0x00000000000000000000000000000000000000000000000000000000000011af"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"85330617725978835454855082820913644075965958811452613555464207335530035168579"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a3f8","0x0000000000000000000000000000000000000000000000000000000000002e32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"1541751102"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac7","0x00000000000000000000000000000000000000000000000000000000000000ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"334"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3f","0x0000000000000000000000000000000000000000000000000000000000001360"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb49","0x0000000000000000000000000000000000000000000000000000000000008345"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":[256,"62002656272067139509408894649440925289630166950672308756589230435119010098260"],"tag":"AbiUInt"},{"contents":[256,"88139256313096926145156452813530110525643897730204685064450601878527734207636"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadf","0x0000000000000000000000000000000000000000000000000000000000006a25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"15817394923926691141862537734003206183926868926645591922190139807730628278431"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb25","0x000000000000000000000000000000000000000000000000000000000000d8dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[256,"94281806010559110511953922926641469868661879437374349638695408074191794089199"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0e","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"88570150071987293288024791599016824940240392243414100258748561067575808967114"],"tag":"AbiUInt"},{"contents":[256,"81408611675648987765279392306304159627239590988641469386467114872552716637260"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59b","0x0000000000000000000000000000000000000000000000000000000000000017"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000386","0x000000000000000000000000000000000000000000000000000000000000dcbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd38","0x0000000000000000000000000000000000000000000000000000000000001369"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bda","0x0000000000000000000000000000000000000000000000000000000000002e6d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb16","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb04","0x0000000000000000000000000000000000000000000000000000000000000aec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"2461667856106617863137322201341969546173581833966936915177872771055593249582"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafc","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5e","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"893"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069fac","0x0000000000000000000000000000000000000000000000000000000000009e97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"M7540\\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":["0x0000000000000000000000000000000000000000000000000000000000081cda","0x000000000000000000000000000000000000000000000000000000000000139d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"857"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003551f","0x000000000000000000000000000000000000000000000000000000000000e2bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"112"],"tag":"AbiUInt"},{"contents":[8,"4"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"42"],"tag":"AbiUInt"},{"contents":[8,"58"],"tag":"AbiUInt"},{"contents":[8,"217"],"tag":"AbiUInt"},{"contents":[8,"14"],"tag":"AbiUInt"},{"contents":[8,"169"],"tag":"AbiUInt"},{"contents":[8,"136"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"67"],"tag":"AbiUInt"},{"contents":[8,"11"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb08","0x0000000000000000000000000000000000000000000000000000000000002320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"62552473693279391525697140102053450842324417285180240633093462"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5e","0x0000000000000000000000000000000000000000000000000000000000002328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a739","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"68160336428151300145512135"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf1","0x0000000000000000000000000000000000000000000000000000000000008ab8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe9","0x0000000000000000000000000000000000000000000000000000000000001367"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"1545485085"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb10","0x0000000000000000000000000000000000000000000000000000000000005d19"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"101920889463142362874479151705973483043060171477342773363300599291474179597619"],"tag":"AbiUInt"},{"contents":[256,"107782642471881783198220795834997846322677003990354402037210217236616289431913"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000066","0x0000000000000000000000000000000000000000000000000000000000008ec7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1a6076058a93937E7fe5236f6F10d35Ab001A5ee","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"26"],"tag":"AbiUInt"},{"contents":[8,"97"],"tag":"AbiUInt"},{"contents":[8,"101"],"tag":"AbiUInt"},{"contents":[8,"129"],"tag":"AbiUInt"},{"contents":[8,"86"],"tag":"AbiUInt"},{"contents":[8,"53"],"tag":"AbiUInt"},{"contents":[8,"205"],"tag":"AbiUInt"},{"contents":[8,"47"],"tag":"AbiUInt"},{"contents":[8,"200"],"tag":"AbiUInt"},{"contents":[8,"26"],"tag":"AbiUInt"},{"contents":[8,"68"],"tag":"AbiUInt"},{"contents":[8,"78"],"tag":"AbiUInt"},{"contents":[8,"70"],"tag":"AbiUInt"},{"contents":[8,"19"],"tag":"AbiUInt"},{"contents":[8,"131"],"tag":"AbiUInt"},{"contents":[8,"2"],"tag":"AbiUInt"},{"contents":[8,"139"],"tag":"AbiUInt"},{"contents":[8,"23"],"tag":"AbiUInt"},{"contents":[8,"57"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000582b0","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"121"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"25"],"tag":"AbiUInt"},{"contents":[8,"232"],"tag":"AbiUInt"},{"contents":[8,"171"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":[8,"50"],"tag":"AbiUInt"},{"contents":[8,"213"],"tag":"AbiUInt"},{"contents":[8,"79"],"tag":"AbiUInt"},{"contents":[8,"138"],"tag":"AbiUInt"},{"contents":[8,"234"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"211"],"tag":"AbiUInt"},{"contents":[8,"79"],"tag":"AbiUInt"},{"contents":[8,"239"],"tag":"AbiUInt"},{"contents":[8,"123"],"tag":"AbiUInt"},{"contents":[8,"19"],"tag":"AbiUInt"},{"contents":[8,"216"],"tag":"AbiUInt"},{"contents":[8,"149"],"tag":"AbiUInt"},{"contents":[8,"54"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea19","0x0000000000000000000000000000000000000000000000000000000000004433"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"73475195060452999269771585127865887799993118799602432939506995590501706478497"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"175954707"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7f","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"44893237875909026770759784898959678536418120560251459406894400362858781574306"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055776","0x000000000000000000000000000000000000000000000000000000000000232b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029bf7","0x000000000000000000000000000000000000000000000000000000000000206d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"42935877278789492703131865382344485274725064686986069978765134291319160956324"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000770a5","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"49324952610625454535526850992326287340371024700931398180930396765115030736765"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x000000000000000000000000000000000000000000000000000000000000554a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639705"],"tag":"AbiUInt"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bad","0x000000000000000000000000000000000000000000000000000000000000136d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"800042209"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6f","0x0000000000000000000000000000000000000000000000000000000000005d4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"48320145588091194493626544385613021358214397452656782824793693768070158979432"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000475d0","0x000000000000000000000000000000000000000000000000000000000000137c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":[128,"56"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf6","0x0000000000000000000000000000000000000000000000000000000000006a00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639936"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ee","0x0000000000000000000000000000000000000000000000000000000000000592"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"156"],"tag":"AbiUInt"},{"contents":[8,"94"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003de0","0x00000000000000000000000000000000000000000000000000000000000035d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"18"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000020","0x0000000000000000000000000000000000000000000000000000000000000e14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a516","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf2","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\\"3\\DLE\\173\\211o_\\231E\\239F!\\132\\&4\\208\\174\\147\\156=\\195\\234\\145\\217\\166\\146\\193e\\225[\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153v\\STXw@\\176\\SYN9\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248=\\n\\141Y36\\244\\189\\EOT\\tO1-\\158G\\244ut\\251\\206\\a\\251\\&3\\242\\146N \\ETX\\183\\186k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\SI\\155\\216\\EOT\\140\\222\\216]'\\205\\SOH\\SI\\243J\\204\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167>\\187\\221\\167\\202m\\132\\195\\215D;p>\\187\\243\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\162\\153\\170e,\\197\\219\\129\\227 \\134\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"*IQS\\SYNxH\\184\\239\\192\\179[\\202\\200\\225\\242)\\t\\249\\244n):\\181{\\128\\ETX\\t]\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135Ch\\SO\\151/\\255B\\223\\CAN\\140\\&0\\SOH\\212\\134K\\DC3\\DEL1\\132\\154u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\151\\216`\\131)\\NAK\\146z\\168v\\242\\225\\211\\132?v\\185Y\\247\\179U\\168\\237\\206\\190\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\245s\\RS^\\247\\248@\\136\\168\\157C\\SYNxnx\\215\\NAKN~^\\CAN\\239\\219\\228\\&6b\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\165\\ETX\\STXe\\233\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\224\\176\\183\\221 \\EOT>\\227\\211t\\ESC\\131\\a^\\185}\\205\\ETX\\213\\222\\153\\227W\\f\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\190\\170\\198\\&2#\\176\\139o\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\218\\197F\\EMeo\\148{F/Qw\\156]\\143\\b\\159\\DC3b\\ETXB=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209|\\236\\234\\215(\\236\\\\5\\vF\\179\\187m5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\174\\130\\223\\128\\170\\196N#\\219\\&4\\140\\205f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215Xq\\189\\FSaZ\\143%\\245\\&7\\196\\DC1-\\233 \\DEL\\140\\240\\130\\163\\ESC\\157\\178^\\207\\141\\SYN\\214\\204\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129(\\212\\242\\US\\USv\\226(\\211\\254Y7p0\\fE\\215\\143C\\EM\\248\\198j/\\186\\129fr\\181\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\143\\177(\\ENQ\\204G\\192H\\\\cm\\RS\\161\\DEL;\\DC3;\\NUL\\248<n1l\\131\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\221\\214E\\139\\226\\211\\131<\\235\\140U\\171\\174\\244\\EM\\202\\162\\RSS\\137.\\139\\130\\US\\210\\154\\130\\228\\SIuS\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\163B\\171\\SI^y\\226\\nL\\SOHz\\146\\194\\179\\&0\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\140\\148\\240\\183\\t\\US0\\139\\193#V\\235M\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\221\\233\\254\\SOj!.]\\167V\\139v\\211+\\210\\158\\bf\\DLEr19x\\199U\\DC4\\200\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\&6\\181\\173\\196\\\\9\\137\\239\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134]l\\EM?\\206C?\\225\\DELR}\\139\\DC1\\172@\\212\\FS\\196\\164\\NAKdM\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\DELe\\DLE\\209\\243\\239o\\201\\154\\207aG\\129\\t\\153\\206\\&2\\227\\213\\211{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\206Q1)\\ACKP\\DC1]\\aH\\252\\172\\239G(\\149#n\\197\\252\\EOT\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\213\\DC2/4\\240\\192;h\\188\\231\\DLE\\128\\208`\\160H\\190*\\186\\129r\\228\\129\\171\\181\\217u\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\160\\179\\154_\\162\\173\\141\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226c\\171\\aS\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\tzb&\\178\\235\\243\\143\\ENQ\\rh\\137\\164\\149F\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159S\\218\\147\\151\\CANT\\214[\\192\\221\\203I\\173\\166\\164\\226\\228T\\132\\b.l\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\213\\&6\\223\\&4>F\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\ETX\\145\\ESC\\194\\252-:\\158H\\238\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\&6E\\135\\128VF\\180\\190l\\182\\201[\\201k<\\fL\\142\\202\\DLEC\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\207a\\DC3\\238U]\\224o\\203LT\\165\\NUL\\168\\&0\\162\\140\\n\\US\\240pT\\242x\\164\\&4\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\SUB\\248\\178\\ENQ\\204\\EOT!\\148b\\204\\165\\199\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143yAGs\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\NAK\\133\\RS\\224MC\\DC1\\241\\205\\244\\175P\\202\\213\\180u3r\\CAN\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221*m<\\190\\134\\ESC\\ETB3Y\\218W(\\211\\244=\\186\\130,\\DC1\\144\\177\\&8\\SYN\\252\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\245\\160\\162!&\\182\\200\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\237q\\STX\\225\\&6\\225F\\173\\241\\NAK\\189\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163z\\134\\172OS\\237\\248\\179\\180`3\\183LY\\144\\CAN\\RS\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\US\\183\\212\\&0&\\138\\181\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"[ 8\\128\\238\\138\\228\\229\\&4\\185\\243\\186\\177\\DC3N\\235\\194\\229\\167l\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152{B\\142(\\128\\189^\\159\\173$b\\254\\201\\145b,\\156J%]|\\246&c\\244\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\184\\155P\\194w\\157\\165\\177\\195\\195]\\236\\157X%\\224{<\\228G*1\\212*\\199(c\\195\\161\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\SOH\\159\\241\\151_\\172-\\SI]\\180\\249T\\230G\\141\\r\\149\\255\\234\\242\\219/\\USr\\222\\245\\251\\f\\241\\133\"","tag":"AbiBytesDynamic"},{"contents":"\";\\178D\\177\\222Sa\\129\\211?7\\188R\\213\\178\\200H\\174\\247\\216F&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159M\\FS\\152\\215\\203\\SUB\\231e\\243\\243\\254\\b\\SIP\\222\\NAK\\140<\\143kIK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\";s\\143C2\\246\\USSp+\\SUB\\244\\STX!\\172\\183\\&1a\\226\\196K\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182O6\\191\\DC1^$\\173T\\ETXB\\n\\212|\"","tag":"AbiBytesDynamic"},{"contents":"\"Ic\\184F\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169P\\ESC\\188\\174[\\193\\158BN\\229\\191\\134\\223B\\EOT\\SOH\\185Gr\\SI\\ETX\\t\\200GB\\146\\152\\175)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN55\\203\\242\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\145\\136\\216\\219\\218eO\\210\\154\\157\\176\\156\\CANf%>\\222\\162\\200\\r\\185\\153T\\150\\164n\\243T^p\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\232H\\ETXj\\131f\\NAK\\178e&l&\\234\\192E+\\162\\247\\231X\\131\\&7\\128l\\176j\\208\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\SYN1\\STXu&k1^Pw?v5\\159\\DC4\\ACK\\168\\189\\228\\208MA\\DC4\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\172\\250\\174\\194\\SYNH<\\217\\227)!\\214\\165=*N[\\207\\204\\199\\253\\b8\\248\\a\\201\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\fa\\168\\DC1\\GS\\155T\\251\\157\\225n\\252z\\SO\\223u\\175\\188\\162C\\b\\GS\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\222\\141\\245;\\152\\198\\170I\\251\\163\\137\\233H\\194\\177\\135\\211J\\DEL2\\199J\\239aU\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\161\\158\\213\\187\\227\\153:\\140\\128\\151d\\210\\211\\138\\165O\\NULjA\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213H\\190t\\239\\DC4\\ACKX|\\DC2\\165\\SUB\\234)w\\194\\t\\219\\&6\\b\\181]n\\181\\212\\&0\\154\\137\\251J\\251\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"XUkGl\\SO\\204,\\160ma\\134&\\a\\231^=\\159\\&9\\209/\\132K\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\134\\206L\\171\\139\\206E \\188w:#3\\234\\&7W\\210l\\139$y\\145_\\234C\\251\\181\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\139\\209E\\200\\ETB\\155\\237:\"","tag":"AbiBytesDynamic"},{"contents":"\"x2\\157kuj\\DC2G!C\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\DC3\\245\\163\\136a<\\144\\167\\b\\SO\\139\\ETB>/AbW\\184Z \\196\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\250\\206o\\157\\172r\\179\\150Y\\221h}s\\182\\209^J\\230-\\245\\226u\\167\\242B7\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4`\\161a?\\GSO|dkn\\ENQH\\246\\255I\\SIL;\\214sV`\\138\\251\\133\\245/j\\251\"","tag":"AbiBytesDynamic"},{"contents":"\";\\153*\\157byWU]\\DLE=@\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\193\\245$\\253B\\225\\246\\152\\222!\\205\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\DC2/\\a\\132\\203\\141:\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\153\\193\\173\\209\\182\\USt\\183\\184[6\\170c\\159P\\251\\US\\a\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\190\\188\\179n^\\a\\\\R\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247B\\f\\146\\208y\\196\\128\\FSgC{~\\154\\133\\DLE\\146\\138\\242M&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\ESCY\\251\\DC3\\SI;\\214\\209\\227\\251\\242\\&3]\\131\\179\\&2\\171o*\\DC4\\229pG\\200\\ESC\\188\\ENQ\\r\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"<MC\\232_n\\208\\233\\&9\\175\\235\\184)I\\243qj\\DC1E\\167`t\\208(\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\249Zz<C\\DC4\\243\\251\\199\\&1M\\149\\208\\227\\&9\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\207,\\228D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\235\\RSF\\b\\t\\225\\&2\\162CZ\\207\\142\\237_Kz\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\ETB\\136y\\154\\be\\ESC\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\ENQ\\163\\EOT\\210\\252\\250\\STXP\\245\\181r=\\249L\\215\\205\\139\\STX7\\211\\ENQ\\182\\184\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146uc\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\a\\198\\163{\\ETX\\241}P\\219\\SOH\\174^[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\&6\\188$\\143\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\a\\ETXTi\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\178\\173\\161\\238\\228\\245\\201\\215\\bGWW\\188?,\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vR\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197C\\ETB\\253\\237 =\\132\\206\\180\\181U\\177g\\fe53q\\133\\183\\206\\184\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\180c\\234\\187|\\234\\212\\FS_\\188,c\\146i7\\230\\129D\\SI\\SYN\\FS\\174\\160\\169\\198\\&3\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189{0\\212\\222\\250\\tw{e\\152\\227\\v]\\169\\&3\\ENQ\\ETXS\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\169\\DLE\\139{K\\167\\201N\\180Z\\168\\220\\161\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\f:\\161\\175\\&8+\\STX52Q9U\\235\\190H\\190X\\136I\\ESC\\176\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\225\\244\\248[\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\EOT\\DEL$\\171\\187W\\237\\DEL\\EOT\\238\\&5P,\\139\\150\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154c\\178\\ENQ\\168\\148*~\\143=H\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\210\\245\\225\\225\\&7\\227\\249\\DC4\\b\\177\\151#\\223^\\204\\252\\158\\248j\\SOd\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\206\\145\\NUL^\\211B;\\239Z}\\149\\251\\248\\GS\\226Y\\GS\\SI1H\\SI\\204\\ETB\\135\\&0\\173f\\244\\254\\DC1\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\240\\132\\na\\250\\ACK\\155|\\DC4\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"h\\182\\170\\252\\186e\\192\\171\\213\\129\\230=\\212\\129Is\\158x\\213\\165W\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\167{\\US\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\DC4Ik\\213\\154\\136}\\254\\195CH\\135\\145\\187\\196\\208\\248\\&9\\197\\150\\158\\175\\154t\\154\\EOT\\204\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142C\\232\\146\\143;\\247-\\174\\189\\210\\207\\209\\150\\144\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\NAK\\129\\183x\\148x\\131V\\169V\\236]\\224\\133\\186\\131K\\233\\243\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\167\\159.o\\137NO\\149r\\\"d\\239\\242\\212\\194\\a\\189\\SYN\\177A\\f\\239\\235p\\219hXEW\\185\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\214>%\\ETBc\\137\\DEL5\\170\\232_\\ETX`(\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\".\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\188\\204\\224i\\200R=\\202'\\DLEHbWv\\232Fm\\241\\200\\202n\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\\"\\194b\\216\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"*\\253\\214\\150\\140\\227\\136\\178-\\SOH\\131]0Dy\\195\\200h\\fj\\205N\\242\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\230KK\\226\\191\\157\\166\\182-I@\\221,\\197\\NUL\\187*\\143C#x\\202<\\ETXz\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Baw\\DC1\\213\\220O\\221t7\\CAN\\148|\\201\\233\\DEL\\177\\SOH\\195w\\144\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\209\\159\\230\\\"&\\192\\214\\vX>\\221\\181\\247\\&1}\\185\\251\\251\\192\\141\\150\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\190!\\175\\188}Q\\228\\159\\f\\139\\208\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\136F\\202;\\133\\162\\199\\CANm\\167\\227\\153\\154{\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBj\\204.\\220~F\\SOHe3\\151\\&8f\\250\\171OP\\199\\236\\176\\246]\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\ETX\\247\\195\\SUB\\155\\164\\138\\130\\162\\STXR\\214%\\208\\222\\236\\132}\\140\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\&7\\170\\EOT\\243ZfCLU \\181\\145\\222\\167\\137\\139\\172\\230\\165<F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\155\\ENQ\\ng\\CAN\\133,N4\\223\\&0\\166 \\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235^\\146n\\182\\\\\\157\\154\\192\\226\\220\\201\\DC1\\ETBD\\186\\128\\a)MG\\145T\\198\\192_\\a\\251\\205Y\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\")\\211\\234\\167\\189$\\161\\234\\206\\ESC\\SIk\\206\\219<\\STX\\216\\234\\252l\"","tag":"AbiBytesDynamic"},{"contents":"\"D)\\225\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\134\\194\\EOT?\\220{\\ENQi\\135\\DC1`\\189\\172R\\229\\v\\241\\190\\253\\DC4#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"GA\\STX\\ESC}\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\218i\\131\\SUB\\252\\EOT\\212\\b%\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\FS]\\DC1k\\192\\187,\\169\\129\\166i\\163/\\201\\231\\227\\RS\\EOT\\227\\f\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN3\\158\\216\\&5|\\192\\191|\\205d\\FS\\162\\129\\135F\\133\\200k\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\189\\233q\\DEL7;\\246\\&7\\DC22\\NULF\\149\\175\\138l0\\177\\218\\254dWa\\166h\\227\\157\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"/^\\177\\131k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\147\\ETB\\179\\155\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\219a\\212\\164\\253\\156\\173\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"ug\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"Hq\\151\\181\\254U\\129\\146\\169\\190\\247\\NUL\\145d\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\RSm+\\141D\\180]!\\136\\164+\\192\\RS\\227pz\\SUBE]\\230_\\219\\225\\a\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\223\\219\\229\\CAN5l\\163\\&3V\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\FS eA5\\159\\134\\\"C,Qs\\245{W\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\nJ_\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\252dQ\\220\\234xR\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"ot\\CAN1}\\144\\191A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\146M\\223\\254|\\237\\&0\\157\\149\\224y\\179\\196\\240J\\229\\206\\143\\170\\233\\198\\f\\214\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\ESC\\236\\181_\\227\\234^<K\\198\\236\\213l\\SO\\246\\247\\148\\209\\146cr\\RS\\232\\v\\\\f+[\\144^\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"mhPj\\187\\151\\167\\158\\SUB,'[\\SI\\173&\\151\\205\\251I\\146/\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\191E\\166\\220\\183\\165\\212\\ETX\\SO\\173+\\SYN\\141H\\128\\180\\201\\252\\t\\193\\182\\147\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\165\\137\\r\\231=\\252_`\\206\\174\\&8Su\\130\\174;\\173\\153\\210\\\\\\218\\229F\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\229D\\248\\133\\231\\240SJ\\245\\246\\227\\155\\ACK/+\\237\\235\\211e\\ACKdFo\\167\\167\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237%\\214\\139\\SUB\\244\\SI\\189\\239\\193\\251\\SOH\\153\\201\\195\\148\\147V\\154\\DC1\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\241#f\\134\\158\\DC2\\152\\128`\\ESC`\\232\\US\\193Jz\\170\\144\\163k\\178\\180yfO\\211\\237\\189\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"AC\\221\\166\\138\\\"\\205%\\180e\\234\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\204\\177\\GS\\140\\211\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\182\\197!\\190\\197\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201t\\218\\157\\157\\243\\255\\146\\255\\176\\189\\205\\131\\&0\\154\\194\\220\\130\\227\\n\\192\\173\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\177\\193\\192\\168>\\176\\164p\\138\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\179\\253\\&9\\v\\213\\193\\156\\230\\129\\&5\\CAN\\SUB\\150|Y\\190\\155\\137\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"{`m\\162\\129\\237\\234\\ETX\\185\\136Q\\a\\223\\SO\\128\\n\\233$:\\242}\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\163\\NAK\\155\\243\\225r\\251\\&1,J\\194:U\\221\\132\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159R'\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"s;\\185x\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\245\\NUL\\172Q\\249!\\200I\\160\\189\\132\\&9\\182\\aPY\\207Y\\223t\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156l\\STX \\DC3\\173\\136\\157\\247}K\\230\\160\\213\\169\\232>\\249T\\213Tqa\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\248?>\\DC4\\160\\163\\204\\170z\\\"\\\\\\130\\208\\129x\\FS\\a4G\\ESC\\214\\&1\\243 \\167w\\212\\188#\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\130\\DC3w\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\179a\\132\\249\\&6[\\151?\\153\\250\\193\\CAN\\201\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"x \\EOT\\237\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"wp\\221\\208\\255\\206|\\DC3\\212/\\r\\134\\211\\162\\\"\\230\\184\\t\\160\\222\\135\\226\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"cN\\142\\221\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK`=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148#&\\vUB\\168\\SYN\\219!\\229d.=K9\\210=\\254l\\212\\155=\\RS\\b\\DC1%\\251)\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\134\\198\\\\-jb\\r\\189\\200\\148^\\198\\162\\230\\240\\228~\\140\\fX\\236\\182\\200\\161d\\253\\134\\191)\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"TR9\\f\\n\\231\\255\\242\\US\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SOH\\217G\\225\\130\\206\\181\\234Z\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\186U=\\193\\152E\\167\\176\\194\\128\\195C\\209\\240#bJ\\227\\US\\130C\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\175\\226 \\SO\\204\\180\\241\\214j\\189g!\\EOT; \\US\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\199\\207\\194\\r\\142\\197\\SUB\\\"S\\ETX+S\\130m\\250\\f\\172Y\\150?\\136\\223\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209g3\\228\\&5\\ETB\\255~~\\230\\r5\\ENQ\\161\\140\\185\\155I,\\193\\185\\167\\DC4\\247\\STX\\153+\\233\\192\\169d\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\ETB\\168\\187*\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIK>\\205\\142\\ETB\\152JP/\\173/\\219\\215\\154\\SO\\199\\NAK\\vJ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"s}\\178K[6\\EOT\\218G\\US\\150\\132\\216\\172\\132\\134\\&2~\\188\\203hQ%\\221\\\"X\\209\\244\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\206\\224\\155P\\216\\154:\\217h\\193L\\140\\180\\220\\&3\\246\\212c\\ESC>\\ACKN\\b\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\196\\186\\162qx{A\\254\\f\\130\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"nI\\179\\138y\\ACKO\\238\\197\\173\\223cuC\\ETB\\209\\239\\\"\\181\\SYN\\149\\b\\153\\212KM\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\153\\217\\&9\\134\\253\\242\\RS+?\\a\\134-\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\DLEK\\r\\194sz\\181\\STX\\142A\\206%:\\136T\\170\\250\\134\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"A3\\235\\247\\139\\DC1\\249\\135\\253)\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKU\\194\\211\\&2\\233L\\228\\223\\150$B\\STX\\EOT\\139^e\\207*\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"kK\\177\\131{\\189\\179\\NUL\\169\\EM\\ACK\\219^\\167i\\134Q\\132\\209.l\\204\\184\\235\\&0\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248+\\229\\221\\&66\\171\\NUL\\227$\\230\\166\\NULM\\201\\224f\\131(\\248:\\169\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\159\\181\\195j5\\247\\226\\248_>E2\\200\\t\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176&\\NULb\\\"F\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\212\\158\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\129\\EM`\\241\\224\\199\\152\\209`\\178T\\179\\187\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\175\\US\\196D\\US*\\133}\\176\\DC3\\235/\\n\\253`\\145\\&6\\229c\\179[&T\\207\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\231b\\166\\159\\204\\216\\&7_l\\198\\216c\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n<]\\135\\237\\163\\168\\184\\254\\196\\135\\150\\202\\SYN\\219\\229\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\181\\191\\161B+\\235\\&7\\175l9+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149h\\248\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\238\\187z\\159\\226\\246\\213Gb\\234*\\191(g\\151\\159&\\DLE\\163\\202\\192\\178\\&3\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4:o\\NAK ?\\229\\STXNC\\174)\\169\\254w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240I\\222\\SYN\\177\\143\\145\\181\\151\\238\\210\\ETB\\231\\228-\\239\\243Y\\DC1\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150f8\\166\\SOH\\bt)8$\\248\\DC2\\156\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\155&\\204^\\128l\\RS\\f9\\DC2\\134\\\\\\140\\232t\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248Y\\254\\&9\\251\\RS-[\\b\\204\\175j\\179\\230#f_\\DC3\\223e\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176O\\216\\229\\157\\162\\DEL~\\157t\\171\\153\\204\\212\\162\\139\\163\\159c\\211\\221 c\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"x?\\EOT\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166(\\238|\\136@\\142\\\"\\178D`\\222Z\\142\\173\\133\\253nq\\SO\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\158\\182\\234`\\197h\\207[[D\\165,\\152\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"n(L7\\235\\208J4\\193o\\230F\\136x\\ESC\\236\\148\\196S\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v'\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\228\\202\\210\\&67\\EM\\182\\182o\\155\\219\\142\\142\\245\\a\\164\\CANwu<\\201\\SUB\\195\\203\\228\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"2\\207\\SUBH\\EM{\\SO7\\235Z\\195\\161f0\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\184\\DC2\\191\\205KL\\251M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\219\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\255\\197%\\180\\247\\&1\\ETB\\163\\&7\\217\\155\\206S1\\EOT\\SO\\229\\212\\158Qv\\172\\180\\ETX2\\SYN(/\\n\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\221[`|\\234\\149\\DEL\\243-x\\184u=\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\229\\247\\SYN\\CAN\\214\\240\\196\\GS\\170\\142TL\\174\\SO\\215\\179\\f\\ETX'\\212\\184\\217*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209r\\NULY\\ETB\\210\\170:\\219\\NULbgY\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249z\\254\\n\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\160\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\202U\\t\\194\\185\\191\\SOHm\\239\\185+\\191\\167\\DC41\\STX_k\\DC3~\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\155iA\\183\\251\\242\\r}g\\188\\138\\150Y\\141;7\\215hPZV%\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\":\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198x\\129x_\\DEL*w\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196z\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS,\\US\\219\\141tp\\202\\131gMU\\t\\151`K\\135\\SOH\\165\\175\\b\\US\\DC1\\193\\a\\131\\231k\\203\\240+\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"Cw\\DC1j\\211\\194\\r!\\185x\\244zGem\\r\\174\\176\\247kH\\209\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173Wy\\233y8\\STXa\\237H<v\\226S\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185/\\169u\\v1\\252h\\241\\135>c[\\231\\SOH\\176\\\"\\152\\153o\\234\\153\\129Gx0\\207\\144M2\"","tag":"AbiBytesDynamic"},{"contents":"\"!x\\195\\248V&\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\131\\198\\165\\232\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\210\\186B\\DLE\\163\\224\\176\\143\\135a\\175,|\\158\\243\\242y}\\162\\201zbC\\172\\255\\v,\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\253b\\241\\188\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\&3\\152\\161\\146\\STX4\\213\\145\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\178\\\"\\132\\234\\CANc\\198\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"<\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\226\\&1\\202\\235>C\\t{8\\ESC\\DC4\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\184,\\242\\\"eR\\189F\\234\\131\\ETB\\a\\191\\194\\139\\183\\198b!\\211\\132\\226$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQZ\\248\\\"\\237\\&1\\167\\US\\218\\159\\201\\184\\149\\229n#\\ETB\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190b\\143\\DC3\\ACK\\163J\\196\\249\\181\\246(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\&2&\\248\\RS\\149\\167\\154`[!\\208\\133+w\\218M\\199\\SOH\\SYN\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\174\\140iz5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\219\\DC4\\145e\\190d6\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"hM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\253\\ESC\\198\\a}\\DC4\\225\\184\\&8\\250F\\214T\\217p\\144<Vg\\US\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"+s\\v\\158g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226=l\\247u\\145\\165\\250\\250\\149R\\182R\\245X\\245F\\NULV\\222Q\\133\\&8\\248c\\207\\192v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\166\\251*X(}\\128\\f\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBA\\213\\139m_\\145\\192:\\200)h\\252k\\134\\158{\\200\\240J\\ACKGR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK2\\207\\b\\186\\238\\245\\218\\&2S\\\\J\\228\\229m\\223\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144/\\209L\\STX\\255\\250\\161j\\245o~`\\209l7\\183\\214\\246\\219\\216R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1C\\FSYZ\\206@U\\133\\174\\231\\ENQ\\FS\\205\\216\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173{\\199g\\ACK\\192[\\132\\&5\\174\\130\\DELW\\143\\165\\138\\f\\CAN\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"+5\\204z\\159\\191\\250\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"}b\\208[\\137i\\242\\221?\\215x7\\248x\\DC1i\\189\\197\\200I\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\166\\200yS:\\226\\200\\SYN\\192\\239\\ETX\\254uI|\\242\\202\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\168\\188\\ESCG\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"FB\\129Vs\\234K%(\\141!\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\218i\\203%\\200\\237Z<MTL\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172-\\DELo\\137\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\&2\\SIc\\194\\206\\SOH\\ETX\\252\\131'\\183\\221\\SUBv<\\209\\210&2VZq\\210\\&6\\207\\155}\\236\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\CAN\\149y\\218V`?d\\214\\249\\165\\204*\\196\\193SB\\235\\170\\131\\167\\136\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\175vd\\220\\166\\\\\\171\\152\\159\\239V}\\135(`\\215\\165\\&6\\170\\203x\\238%4xiziN]\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\DEL\\\"\\183\\217\\ENQ\\254\\&0\\173>\\239\\231\\208\\135\\DLE7 6\\149d4E\\223\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\227\\242\\165\\181\\130\\236\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\r#)J\\245\\USo\\DEL\\234\\159\\203i\\177\\a1\\STX\\152EY\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\133\\t.302\\DC4q\\\\{\\248\\213\\216\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"8J\\253\\211q_\\231\\255XI\\DC3\\209\\225\\239\\171\\a\\207\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\tlM\\237i\\SIp\\SOH\\195\\143\\222\\a\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\\"[0\\239#\\EOT\\208\\252\\230]U\\142'\\155\\SYN\\185\\220gN\\212\\143\\229\\249T\\254\\FS\\217kzP\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\187\\222V\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\EM\\201B\\US\\169\\148xy\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\",\\230\\\\\\200\\253\\171%\\US_5[\\154\\181\\187\\184\\255\\190\\172\\153\\160\\205M\\170\\191W\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\SUB\\190O\\134\\174J\\231I\\209\\234\\255\\179\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254^\\157/\\231b#\\233L+\\185\\183\\&6\\247\\249\\223\\235\\&5\\128\\204\\191\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\188~\\EM\\230\\203\\216\\148\\210*\\197\\\"\\181\\185Qu\\249\\NUL(\\154\\176G\\253s\\n\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\249l\\NUL\\164\\180\\236\\RS\\208\\245\\140XgT7\\NAK\\\\5\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\STX\\169*\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\253'xc4c\\166Uy\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\203\\205\\254\\ENQ\\240Kd\\DLEJ\\144\\133\\208\\129\\ACKQ\\160\\245\\180\\178\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199J\\138\\234\\&9\\219U[\\170\\221\\184\\a\\188^\\196\\144|k\\174\\217\"","tag":"AbiBytesDynamic"},{"contents":"\",\\218\\&9\\238k<\\235\\145p^8#ow\\238\\137\\248\\SI\\212\\182\\179X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\181B\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\225B+m\\r\\145\\189\\164\\151io\\131\\207\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\133\\146\\196\\SOH\\224x{\\STXKBdZ\\136\\242\\US=\\176\\181npj\\157?,}\\162\\226\\177\\EM\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214)\\ETX,a\\247O\\253\\133\\a\\160V\\236\\166\\SUB\\213\\177\\&0\\240\\164\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\206*\\b\\DC2\\230\\215\\a\\141\\165\\177\\NAK\\b\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213Nh&\\234\\\\\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\225XU\\220\\152M!\\183\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\STX\\135\\192\\159\\235\\184\\217\\STX\\188\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\131\\DC1wl\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\172\\&6\\239\\148!\\211\\176\\167:\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\181;}\\132\\162\\178\\187\\225\\128\\141&\\SOHF\\132\\230 \\135\\184\\188)*\\DC3sX\\142k\\213RU\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\189\\189\\200\\&1\\145X\\137\\197f\\161i\\EM\\228\\US\\247\\234\\224\\223\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\234\\DC1\\167\\179\\&7\\149\\130\\\\\\250g\\144\\148\\251\\141\\147\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQb,\\249\\US\\140s\\\"\\200X<'\\133d\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172p\\161\\150\\140}\\227dAY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226$\\252\\SOH\\r\\200\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\DEL\\DELv\\201\\187ZR0=\\142?W\\227\\EOTK~\\141\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\r\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\238\\167\\\\\\245/\\137\\\\\\131\\NAK\\182\\207\\&4\\200\\247\\196\\195^M\\209\\ETB\\175b]\\249\\131;\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\133H@\\244\\236\\241A\\185\\192Nf\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\&6\\154\\ETXd\\171\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"Af/\\242\\CANY\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCr\\b\\229\\165n\\171\\136p\\155K\\250\\184\\197\\231\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\201\\154\\tn`\\211!G!3\\130gZ\\170\\207\\209)\\168\\176d\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\228F\\218\\DC4J\\239\\250\\rG%j0\\DC1\\193\\GSq@\\224mEX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\134L\"","tag":"AbiBytesDynamic"},{"contents":"\"`*y\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\US\\140Dvl.f\\ETX \\172\\158\\a\\213\\205\\157\\SYN\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"f~\\242\\ENQ\\215\\175\\159\\ESCMz?\\162\\206p2\\159\\\"ir\\175\\200+\\193\\189\\160>\\229\\254\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\251\\145\\215InO\\183)^\\205\\129a\\202\\187\\\"\\229\\v.\\213\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\206*\\r\\165\\144\\&1K\\147\\ETB\\ESC\\225\\150`y \"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\&8\\r\\192\\240\\216\\&2\\185e\\195l&\\243L]\\152\\195g\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN2\\137~\\192\\a\\155r\\v\\146\\130\\226.\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\188\\CAN\\183\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"90781870919589377101920857445960019975647933648693412785449413158301161086367"],"tag":"AbiUInt"},{"contents":[256,"42351986193850066857390990470587966402827121330077566721472087381373863054946"],"tag":"AbiUInt"},{"contents":[256,"9002"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062333"],"tag":"AbiUInt"},{"contents":[256,"855"],"tag":"AbiUInt"},{"contents":[256,"124"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858880"],"tag":"AbiUInt"},{"contents":[256,"86400"],"tag":"AbiUInt"},{"contents":[256,"40005698459428091611001108090644027551299187769259441332449420786823782998425"],"tag":"AbiUInt"},{"contents":[256,"50903796690673538624258656953571383271868346032309503032905608891107443253022"],"tag":"AbiUInt"},{"contents":[256,"50903796690673538624258656953571383271868346032309503032905608891107443253022"],"tag":"AbiUInt"},{"contents":[256,"50903796690673538624258656953571383271868346032309503032905608891107443253022"],"tag":"AbiUInt"},{"contents":[256,"50903796690673538624258656953571383271868346032309503032905608891107443253022"],"tag":"AbiUInt"},{"contents":[256,"50903796690673538624258656953571383271868346032309503032905608891107443253022"],"tag":"AbiUInt"},{"contents":[256,"50903796690673538624258656953571383271868346032309503032905608891107443253022"],"tag":"AbiUInt"},{"contents":[256,"50903796690673538624258656953571383271868346032309503032905608891107443253022"],"tag":"AbiUInt"},{"contents":[256,"50903796690673538624258656953571383271868346032309503032905608891107443253022"],"tag":"AbiUInt"},{"contents":[256,"50903796690673538624258656953571383271868346032309503032905608891107443253022"],"tag":"AbiUInt"},{"contents":[256,"50903796690673538624258656953571383271868346032309503032905608891107443253022"],"tag":"AbiUInt"},{"contents":[256,"65167649550874541595135882996668728790602307800098005374463220901736791917785"],"tag":"AbiUInt"},{"contents":[256,"93249412230358372585712313522739567448905152887968500794516688110796508452903"],"tag":"AbiUInt"},{"contents":[256,"402"],"tag":"AbiUInt"},{"contents":[256,"105"],"tag":"AbiUInt"},{"contents":[256,"902"],"tag":"AbiUInt"},{"contents":[256,"26871075720042204656325477693274942061888465435570643877091332096567131193913"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222593"],"tag":"AbiUInt"},{"contents":[256,"11893546595462776104229946975349831906205145415110018208180537323319705894947"],"tag":"AbiUInt"},{"contents":[256,"78854666156995465990877749906042599891316126980123493252264161998628372981758"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222591"],"tag":"AbiUInt"},{"contents":[256,"15"],"tag":"AbiUInt"},{"contents":[256,"96431943686275009689505811334244874038717678697361549602571675981651287669728"],"tag":"AbiUInt"},{"contents":[256,"108026170467960180805407652289714893736044927264218039074511361102192909634309"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"83837347501189502147970798667683142990868775873556345945504019655618912383242"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"74619979872152747468625826904235207252561653163143577300465659580161140291445"],"tag":"AbiUInt"},{"contents":[256,"37393404616592513700693140296321918974955015832934198458037331583472579625161"],"tag":"AbiUInt"},{"contents":[256,"80143427806108536649228413982221000458204979150109789091063400862827777253318"],"tag":"AbiUInt"},{"contents":[256,"35"],"tag":"AbiUInt"},{"contents":[256,"64222780976536874997438204422887332119105350801152612911732364200484878305504"],"tag":"AbiUInt"},{"contents":[256,"4670962311834711938494657620265995017724393599482031003006627211102229335236"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639882"],"tag":"AbiUInt"},{"contents":[256,"46193045401164008782455282158186536051207255011860925491258270528885281209570"],"tag":"AbiUInt"},{"contents":[256,"816"],"tag":"AbiUInt"},{"contents":[256,"16924031545629425366752398803920233931207129081405682540362348983817220835846"],"tag":"AbiUInt"},{"contents":[256,"37"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639939"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"36216901405492202762979129042278871628162841000125729402811584349504996499660"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639830"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639939"],"tag":"AbiUInt"},{"contents":[256,"39"],"tag":"AbiUInt"},{"contents":[256,"53956189302584579737406188769666285924924732523022548092947384814636130544564"],"tag":"AbiUInt"},{"contents":[256,"65"],"tag":"AbiUInt"},{"contents":[256,"82509707060410166702264321250466953499457964630265939850368255208321538851913"],"tag":"AbiUInt"},{"contents":[256,"75775447729243183424739576579358268417891692092410434590851782481167127723321"],"tag":"AbiUInt"},{"contents":[256,"105"],"tag":"AbiUInt"},{"contents":[256,"105"],"tag":"AbiUInt"},{"contents":[256,"105"],"tag":"AbiUInt"},{"contents":[256,"105"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639933"],"tag":"AbiUInt"},{"contents":[256,"500"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639798"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417343"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639818"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629937"],"tag":"AbiUInt"},{"contents":[256,"107941173687445608540769943780423875879061064022193284759146959946175662122300"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639438"],"tag":"AbiUInt"},{"contents":[256,"26"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892768"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639801"],"tag":"AbiUInt"},{"contents":[256,"60071332925394056135902402471378617691935987311568511506881629286578046107155"],"tag":"AbiUInt"},{"contents":[256,"9003"],"tag":"AbiUInt"},{"contents":[256,"33352635087158632360218586789621319011830412713640851848466740336203620647573"],"tag":"AbiUInt"},{"contents":[256,"14764081454864164308742933513452099836221327153710207195491803353661288948105"],"tag":"AbiUInt"},{"contents":[256,"14764081454864164308742933513452099836221327153710207195491803353661288948105"],"tag":"AbiUInt"},{"contents":[256,"14764081454864164308742933513452099836221327153710207195491803353661288948105"],"tag":"AbiUInt"},{"contents":[256,"14764081454864164308742933513452099836221327153710207195491803353661288948105"],"tag":"AbiUInt"},{"contents":[256,"14764081454864164308742933513452099836221327153710207195491803353661288948105"],"tag":"AbiUInt"},{"contents":[256,"14764081454864164308742933513452099836221327153710207195491803353661288948105"],"tag":"AbiUInt"},{"contents":[256,"14764081454864164308742933513452099836221327153710207195491803353661288948105"],"tag":"AbiUInt"},{"contents":[256,"14764081454864164308742933513452099836221327153710207195491803353661288948105"],"tag":"AbiUInt"},{"contents":[256,"14764081454864164308742933513452099836221327153710207195491803353661288948105"],"tag":"AbiUInt"},{"contents":[256,"14764081454864164308742933513452099836221327153710207195491803353661288948105"],"tag":"AbiUInt"},{"contents":[256,"14764081454864164308742933513452099836221327153710207195491803353661288948105"],"tag":"AbiUInt"},{"contents":[256,"47223898334944119018712894323960680159186132410049491713145719003448179261688"],"tag":"AbiUInt"},{"contents":[256,"73370420186178546379569725847109435340248107878974688152450888994010922586679"],"tag":"AbiUInt"},{"contents":[256,"4820221798283482791291476956032107229595117087457680281646340637163675"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"67919307910033606251745700202350205221270849427878253937361146880481663144847"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211779"],"tag":"AbiUInt"},{"contents":[256,"604803"],"tag":"AbiUInt"},{"contents":[256,"364"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634932"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428161"],"tag":"AbiUInt"},{"contents":[256,"77403117809482407701834855411828143255820577847851281120889218314194658105925"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"57278975924242927716285988539960213196526978933964545243742236950379167530159"],"tag":"AbiUInt"},{"contents":[256,"95"],"tag":"AbiUInt"},{"contents":[256,"53491771849032621632951130607412184288069052940590122172748217358827114266392"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"8056776757483886478722352574569710755217752116051578170191979677576134827398"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639438"],"tag":"AbiUInt"},{"contents":[256,"122"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629933"],"tag":"AbiUInt"},{"contents":[256,"82269772590945531285978125111395725933894631646790962121153163102541838322717"],"tag":"AbiUInt"},{"contents":[256,"60822783491728958176540011163748320691406689285622756206905491054133687903140"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d2","0x0000000000000000000000000000000000000000000000000000000000001277"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"48752351142306511226420075787410640688444927514764381610982135341806300891215"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000673dd","0x0000000000000000000000000000000000000000000000000000000000001357"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052402","0x0000000000000000000000000000000000000000000000000000000000001cc4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]