[{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe6","0x000000000000000000000000000000000000000000000000000000000000e347"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639913"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eace","0x000000000000000000000000000000000000000000000000000000000000231e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"110296465656373140692734642013600097617874669236591572192479272622787267622455"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781053"],"tag":"AbiUInt"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff9","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"29994278834133359303438152224255914920700582712865249104880608487250176944153"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4b","0x0000000000000000000000000000000000000000000000000000000000001394"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"86402"],"tag":"AbiUInt"},{"contents":[256,"65330583689270207157467049341609507230947724542004221429728048641945231640544"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3b","0x0000000000000000000000000000000000000000000000000000000000000385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"91005240169847120421530311765818735103497658334346825411794400357588641777422"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf2","0x000000000000000000000000000000000000000000000000000000000000b446"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084276","0x00000000000000000000000000000000000000000000000000000000000085e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa3","0x00000000000000000000000000000000000000000000000000000000000009d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"62696726910731070093213087569155473875907080886653766267576788184891631999629"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba7","0x0000000000000000000000000000000000000000000000000000000000001355"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"96757076123343570502638589999040503895679298437085835910436479748511336829096"],"tag":"AbiUInt"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e8","0x000000000000000000000000000000000000000000000000000000000000129f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000382","0x0000000000000000000000000000000000000000000000000000000000000009"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"36091225700749497428440576526893973384508378307755415507222772246057236375934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a80","0x000000000000000000000000000000000000000000000000000000000000defe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"235"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x000000000000000000000000000000000000000000000000000000000000922b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x000000000000000000000000000000000000000000000000000000000000d0cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[256,"87"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e05","0x000000000000000000000000000000000000000000000000000000000000005d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"134245937034915732913016058831626480655"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59a","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"136"],"tag":"AbiUInt"},{"contents":[256,"63794488185336966039390018294878120728390219156378786835640224923154264678977"],"tag":"AbiUInt"},{"contents":[256,"506"],"tag":"AbiUInt"},{"contents":[256,"30"],"tag":"AbiUInt"},{"contents":[256,"49611227388322071997312052156751835316755426217433970729710042861190115975655"],"tag":"AbiUInt"},{"contents":[256,"56772977667785531457437002289583037766705342264727919902505579610553423226017"],"tag":"AbiUInt"},{"contents":[256,"6866408397179500688323381229093061617072992691287445210178740912482186703940"],"tag":"AbiUInt"},{"contents":[256,"26371563011230988073750434305838234611425579584782865948659591616584452546811"],"tag":"AbiUInt"},{"contents":[256,"60176605344111683369821703470560123088778614705790396884809144164167819075969"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"},{"contents":[256,"74315841269616996832770789501056759475309333169554840165087825162405867230000"],"tag":"AbiUInt"},{"contents":[256,"9002"],"tag":"AbiUInt"},{"contents":[256,"153"],"tag":"AbiUInt"},{"contents":[256,"108455864370362057047571099229007785644671039698847247968825421090914862587670"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609601"],"tag":"AbiUInt"},{"contents":[256,"47305954289708024293816899418825267062347849790191615078252072956870479406765"],"tag":"AbiUInt"},{"contents":[256,"79776180959348416897534777133607531973038912728990724112225436542251949982353"],"tag":"AbiUInt"},{"contents":[256,"30043173081742248630293524796589421796199153955671865096316326194512520123522"],"tag":"AbiUInt"},{"contents":[256,"112109136341230777646801708495097617232603719438104106971509631933050204970784"],"tag":"AbiUInt"},{"contents":[256,"15688455980021860040690358861620729814049018794689677839623611568705752289952"],"tag":"AbiUInt"},{"contents":[256,"32"],"tag":"AbiUInt"},{"contents":[256,"58024592590135352567545301218838875453273892145125316353348632409834567047115"],"tag":"AbiUInt"},{"contents":[256,"99999998"],"tag":"AbiUInt"},{"contents":[256,"31435522834930361234043908"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"34225304449249102870652415686754046230318298178256465027039103521203567986211"],"tag":"AbiUInt"},{"contents":[256,"25779528917048287189214945627658005776776695931510177679907934371225625450670"],"tag":"AbiUInt"},{"contents":[256,"31862416589927309353648009552326887566365654473533428618821958545320280621416"],"tag":"AbiUInt"},{"contents":[256,"40330924270244088993265210217859304979783165345035853642477662895165632774066"],"tag":"AbiUInt"},{"contents":[256,"110626202862361665088867325602622999523334948996680585015739291668785389223521"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"56022246160132300017832649976479932900957667873871161455114477789875974490210"],"tag":"AbiUInt"},{"contents":[256,"5003"],"tag":"AbiUInt"},{"contents":[256,"66964677968490256608702986316630612246040605070435985008722115403689258751544"],"tag":"AbiUInt"},{"contents":[256,"100641732077834933998293680117209397215615633194326699595521431731306292122928"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"93162397558560274316202025349110745355901616763752376977167941441132249024458"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"},{"contents":[256,"95729561605445558970162054332866155296450913630485363803368443167604735898752"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639836"],"tag":"AbiUInt"},{"contents":[256,"50016082847855841602587738994774480267005439783477602612036883830429564175515"],"tag":"AbiUInt"},{"contents":[256,"41006817364061160325677695626626576940224873135203154082734252953881942115107"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"6404164348166950260708498201055553213551282588379"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"77148335893896341860693505815522099748930443030008665092777200023370332991157"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab50","0x000000000000000000000000000000000000000000000000000000000000c062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000003a38d9132ca4bd336"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"\"q\\158\\135\\192\\213\\130\\DC2\\DC4\\DC4\\DC4w\\\"E\\249\\129\\US\"","tag":"AbiString"},{"contents":"\"Invalid percentageeeeeee\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"31310635560223089103677512234008768553572515432195013280862594266290208426634"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731852"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"84590813484974172184963323200722471933125220827112923748954081204809364154748"],"tag":"AbiUInt"},{"contents":[256,"102210211922615856169254528665290272398984102309894975556101724563988688363216"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa2","0x000000000000000000000000000000000000000000000000000000000000133e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"37842951156195115894334172551558253788666358369240390292736856667083799666648"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028caf","0x000000000000000000000000000000000000000000000000000000000000004a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"8"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000150a7","0x0000000000000000000000000000000000000000000000000000000000003f7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb43","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"58212538869362460595794085698993120758079039769316019344587928223628947164210"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba7","0x0000000000000000000000000000000000000000000000000000000000000590"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfb","0x0000000000000000000000000000000000000000000000000000000000007e51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"62962208611648567873083354569043101697225174758424419976580607831927022983463"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0f","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"73316875731711528845103453727422742398459270080379095221067368290710216512863"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea17","0x00000000000000000000000000000000000000000000000000000000000097bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4e","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270d","0x000000000000000000000000000000000000000000000000000000000000e349"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"89340251442974617595518491158837506414264996807922743352974711671277949406406"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34f","0x000000000000000000000000000000000000000000000000000000000000d8d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000012","0x000000000000000000000000000000000000000000000000000000000000b556"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"362"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639831"],"tag":"AbiUInt"},{"contents":[256,"35089144552044758103591174172564822280181527221060916223726562082662897368814"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x0000000000000000000000000000000000000000000000000000000000008191"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"238"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bde","0x000000000000000000000000000000000000000000000000000000000000316d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230V\\138u\\153\\218\\ETB\\252\\226\\&5~\\152\\196\\SUB2\\252\\211Y+\\178P\\165jv\\248\\158\\137r-\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\208\\180;B!\\134\\221\\NUL\\253V\\\"\\250~\\138p\\DC4\\166\\130\\180\\CAN\\207h\\158;b\\221G$\\NAK\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\b\\219\\&0i]\\236s\\139\\249\\171DvqI\\155\\250\\b\\190F\\243\\245q\\209\\138\\&1\\193W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203K\\200\\249$\\178\\169\\218Q\\230\\f\\ETB\\202\\192\\158?+\\235*\\221\\215\\223@\\189\\146\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229LM]\\176\\216\\163\\247QN>\\ESC@\\130%~\\157\\155PM\\STX\\250K\\231\\145{!\\147\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\228\\175\\223$\\207\\&1\\232U \\136?\\207\\ENQ\\r\\132d\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\146\\253\\255H\\171\\&4i\\141[\\129\\SUB\\242<\\188\\184\\185:\\SUB\\US\\ETX\\145\\SUBQ\\196\\165\\226\\198\\158Y\\191\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\161l(\\210\\140\\t\\151\\138b\\146VdG\\210\\197\\DELL\\132\\&6U\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173E~s\\\\\\140\\246\\230\\DLE\\DC4~\\178\\152w\\178\\ETB\\153V\\145O\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\224\\141?\\218V\\132\\146\\174\\156\\DC4s\\SYN\\202H\\DLE\\225\\198\\&9\\DC26\\ACKVZ\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129[\\SYN)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222+\\DC1\\189\\245\\227A\\185~\\240@\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\FS\\181\\199\\DELi\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\208\\229\\201^mz)\\230\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\229)vY\\193\\141\\&4\\151\\149{\\252Q\\140\\t\\FSF\\204\\&8\\215\\183\\216h\\NUL\\248[\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\247\\175\\215\\212\\242\\252\\128W\\154\\ENQ\\200Tm\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131MH\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\216r\\163tu~%\\215\\249M3\\208\\n\\ENQ\\242W3{\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\134jNQ;\\253\\227h{\\ACK\\194\\DLET\\DC1Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\186\\152QM-\\208\\255\\163\\ETB5\\\"\\CAN\\139\\CAN\\ETB^B\\154\\186|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\244\\245\\&0\\164\\143a\\173\\SYN]\\r\\190M}sL\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\222bw\\148\\185\\239\\142\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELx\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\196\\227iUFf?\\228_T\\219\\132\\202`\\229\\174\\245\\147L\\DC2\\253;\\173PE3\\CAN\\243\\201\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\176to\\NUL\\132\\165\\250(\\128\\&5\\222\\166\\155\\209%\\r\\250\\129\\SO\\145B81\\245\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\&4\\232\\&5A\\ESC\\FS\\212\\193\\205\\144j\\242\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\242\\178O2\\164\\231h\\242\\SUB\\193w4v\\221\\201]a\\190\\153\\DLE\\128\\235\\154\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\232\\b\\157\\135P\\143\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\190&\\243R\\a(\\228vfl:$\\129\\145\\216\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"V\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"{\\RS\\166\\159\\194]\\222w\\190\\DEL-\\186\\234\\SUB\\187\\DLE*\\239\\191\\209\\&5\\245\\193\\SUB\\GS\\212\\&1\\b1\\248\\194x\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\142\\DC3\\ETXq\\182Y N\\138x\\231/\\210T\\154\\241\\bI\\149\\217\\179\\164\\211\\v!\\FS\\166\\&4\\CAN\\187y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\CAN\\134\\207\\133\\237\\ENQ\\ESC\\ETX\\ETB9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\206h\\235\\229\\224\\195\\146\\251g\\t\\254\\155\\180*\\152\\RS\\227\\139S\\194\\141\\175\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\CAN\\186\\172\\204\\&6\\239-\\201W\\225|8\\CAN22\\191c\\USb4\\133\\132\\200N\\222\\STX\\233\\201\\128;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234qM\\128\\140h\\255]\\143\\176;\\168\\203\\246Za\\217!\\t\\ACK\\167[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140,C!\\156v\\SI!\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\250\\ENQ\\180X\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!\\240\\&5>G\\201k\\CANn9\\170\\181\\STX;/\\186f\\214\\254jTj\\230\\171D\\136\\242\\164\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\149\\183\\175s\\150A\\NAK\\255\\DEL'$#&\\134\\142\\155;\\\\\\139\\EM\\221\\159YS\\163\\202\\f\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\151\\141\\156:,#Y\\197 \\ETB\\CAN\\228\\&3Y\\DC2\\216Dm\\204\\208\\148\\191\\203\\SYN\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248?\\192O\\135o\\132\\r/\\224\\&4w\\176\\&0\\RSD\\215\\187\\190)\\179n\\207\\ACK\\172\\207:J\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\228\\146MsY|\\207\\225\\140\\NUL\\DEL\\247\\&6}\\224\\250\\DEL\\244\\178Ek\\DC4\\SO\\150\\193\\131d\\146D!\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"WM\\222\\v\\226$\\232tg\\248\\DC33\\191\\EM\\164Ng#\\202\\138\\SYNT<9\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250}:\\222\\175\\&2\\174\\192R\\148\\144\\173iH\\147\\164\\248\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245|\\b\\184j@\\165@O\\STXS\\247\\\\3V\\ETBf\\DC1p\\231\\232P\\188Z\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"L(\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\139\\189AF\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMk`2\\b{3\\206\\250VcR\\146r{\\138\\141\\147w<\\255=\\144\\204&\\157\\180qd\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170Q\\241\\160\\254>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\162\\171D\\DC3\\206\\163\\146\\ACK\\176]\\206a\\198\\242q\\191\\184\\&6\\205\\DC4=\\160k\\r\\134\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\\142\\224\\254\\212\\144z\\acr\\219\\a\\238-E\\253\\154\\148^\\157\\DC4\\252\\SYN7g\\236&\\155\\217\\138\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\232\\140\\217t\\225\\199:\\EOT\\164\\247}\\244\\157\\173K\\169Y\\158\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\239\\159\\192\\165\\167\\174\\198F\\237\\176l\\254E\\250WW`\\173\\191\\178\\172\\t[u\\181\\152\\222\\190\\138/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\236W\\249\\DEL\\213.W\\165\\FS\\EOT\\SYNF\\225\\243\\EM\\244\\187\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\151\\SYN\\215e0+\\156\\SOH\\f\\ETB\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"c\\162\\145\\217B\\ETB\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\227\\&3\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t&h\\163\\186\\239\\183C\\135z\\211B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\141\\129T\\135\\167\\176\\EOT:\\ESC\\185`\\143c`MWB\\NAKVL\\136\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\235\\202\\&4Q\\183o\\162o'\\184\\223\\DC3S\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\167hH\\RS\\177\\FS\\159S\\172F%\\ETB\\210T\\198\\rN?\\n\\224m8\\173\\194\\209\\SI\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177R\\137\\179\\216\\&4\\134pGq\\173Z\\196L\\233\\189\\176\\STXH\\235'\\GS\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206h\\182\\175\\f\\SO\\136G-0\\DLE\\230u!T\\183\\DEL\\139\\130]{mG\\185-\\153\\n\\191\\&6\\DC4]@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\199\\vp\\143\\176\\202\\DC2h|\\201\\215\\191\\186\\153\\178b\\EM\\134i\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\US\\SUBw\\DC4L\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223R\\186\\140):-\\176\\147\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\DC3I8\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\US\\ENQ\\147\\150B\\173\\CAN\\187G\\225\\&8\\167S\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\168L\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\224\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\ESCK\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168J)S-\\133c\\\"\\SOH\\RS9\\NAK\\180\\164b\\RS\\215\\173\\&8\\245\\190\\243\\251#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"m\\131\\145\\156n\\156\\245\\234_4\\STX\\152A\\\\\\173\\134`S\\255\\DC4\\170\\243\\158\\155\\n\\185O\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\233$:\\ETX\\170!\\157\\SYN\\206\\226\\168>\\DC4$\\GS-m\\135g\\226\\223`\\ETB\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\157\\188C[\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"K3_,\\148G8\\169\\&2Hx\\240\\170\\&8\\139\\NAKgU\\155k\\221-\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"Te\\211\\ESCh#\\DLE\\171\\211\\157>M\\205\\234V7\\214\\170\\189\\158\\230\\176^\\136T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\180\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"^v\\230\\238!\\141\\DC4l.-\\129\\159w\\162% &\\166:'/X\\162\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\181\\227\\150\\247\\NUL5\\154k\\242\\&9t\\187<{v\\195\\204\\140{9\\154\\a\\\"\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"4*\\133\\EMWl\\135\\157s\\231\\206\\209\\217,i\\255-\\134#~\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\n[\\193\\212\\GS\\233\\196\\193\\154\\DC2{a\\243F\\208\\206O\\182b\\221\\&4\\223\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137e\\221\\DC4\\148\\165\\156X\\NAK\\238u\\190@(\\DC3{\\204\\203\\159\\217\\DLEi\\148Q\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\195hC\\188\\136T\\203*EK\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\\"\\207\\186\\254\\&0C\\DC2\\187\\210\\221\\215\\231\\130I\\169\\174\\233N\\CANbU\\NULj\\224J\\212\\&7\\248\\241\\EMe_\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1g6\\150i_\\SUB\\159\\202\\206\\255\\170\\210\\173\\222q*\\142\\146\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165CF\\200K9\\147\\251P\\226WWP\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"6\\SO\\171\\180\\189\\142\\153Ua\\\"\\253\\192\\175\\243\\249 \\FSx\\227\\248\\DLE\\244\\ETX\\165\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186c\\150\\147%\\182\\136\\243\\&3\\162S\\209\\195\\CAN\\220\\DC4\\DC3I\\168\\SOH\\ACK6;vw\\179\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\180zD=f\\193j\\246\\241\\138\\SOHY\\147\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\208}\\238\\219M\\246\\210\\ESCv\\167h8+\\177]\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\NAKb\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\176\\161\\210\\129\\DC1\\a\\129+\\201\\147r4\\182\\135\\t\\222\\198\\139\\157\\179\\\\\\231\\152%G\\251\\251%0\"","tag":"AbiBytesDynamic"},{"contents":"\"FA\\137\\130\\213\\ACK\\249@\\134\\219\\131\\249\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\195v\\207\\ENQ\\253\\t\\132\\135\\223\\249/\\201\\246\\SUB\\253\\NAK\\v\\204\\209\\180\"","tag":"AbiBytesDynamic"},{"contents":"\":B8\\210\\243\\133\\230\\&4_;\\213\\STX\\182\\151\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\&3,\\188\\133\\SI\\223\\194\\DLE\\242\\153Uj\\136!\\185:\\NUL1\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\",\\ENQ{\\RS;\\250\\225^\\SUB\\168\"","tag":"AbiBytesDynamic"},{"contents":"\";h@YL[\\190\\247\\214_\\202\\\"\\165\\212\\235\\168\\170\\234=\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\175\\r^\\170\\192\\186\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"/3\\b*\\216>\\228\\254\\169\\212\\237\\135f/\\217\\164'~\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\226\\151\\230\\171?\\154\\247\\250\\159zi\"","tag":"AbiBytesDynamic"},{"contents":"\"Xn\\217\\132\\146\\205\\223\\239\\SOH\\192_\\150<\\169\\221\\148\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\190b\\168\\178\\128#\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"({1r\\152g\\168\\182aX\\144\\243\\DC2_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183b\\134\\174<\\199]\\229\\a\\164\\226tl\\186\\255a\\251&\\218\\223}I\\174\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"l\\129\\vt\\180{Z,\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\199<\\134\\226\\239\\160\\252T\\195l\\215k\\134e\\166e\\239\\172X`\"","tag":"AbiBytesDynamic"},{"contents":"\"/!N\\233h\\146~*J\\167\\\\\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\206\\217\\DC20\\132\\230\\SUB5\\236\\249\\b\\195q\\242%\\ETB\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\196\\154\\243\\154\\218\\142\\ENQa\\EOT\\156\\NUL\\167\\231\\183\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205e\\192\\195.\\153%\\DC3\\226\\135\\DEL p\\SYN\\SOH\\184o\\188\\237\\197!\\DEL\\186\\211\\174[''\\128\\159\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"8z\\238\\235\\164b\\254\\208R\\137{\\SOH'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1=\\140nO\\162#\\208Qr\\180)\\185\\158X\\135\\134\\254A\\252\\177\\192\\211\\203\\248.\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"9\\251\\210\\211\\ESC\\165\\227\\143\\253\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\223\\204\\157%\\162\\138\\244hw\\212\\177,\\186\\139-_*\\159V\\246\\189\\FS\\223\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\134\\&5\\183\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229Nc\\136\\182\\&2\\152\\164\\FS\\139\\148\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\\"6\\SOH\\202iUi\\194\\185\\134\\179\\219\\192\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\252\\132\\&4$\\155\\186\\215%]O\\149\\246t\\207\\200\\176\\128g\\217\\NAK$4i\\212~\\169\\254\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\208\\r#\\246p\\194|\\143\\ACK\\NAK\\241\\SYN\\220m\\150y\\ETB\\173\\138t\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\148\\186\\SO\\208X\\169E\\133\\164Bt\\249\\195\\145\\145\\199\\159\\149\\SUB\\138@\\199\\173\\128\\154\\205\\DEL\\133c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171(f@\\128tl\\168y\\196\\143\\224\\bx\\143\\DC2\\252\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\236J\\196\\147O\\\\\\199fg'\\GS\\129>l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\139|\\219\\186\\152\\&1\\211\\163\\rU\\214\\SYN\\213_\\234?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\244\\196)\\137\\238\\&0\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\156\"","tag":"AbiBytesDynamic"},{"contents":"\",\\147\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\164\\ENQ\\DC2\\232\\168\\190\\161\\154\\255\\CAN\\DC1\\ESCA1\\157\\215\\143\\194\\255\\251B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\&9;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\186a\\187{\\SYN\\161.\\154\\241A\\241\\138\\180Oy\\158>)$\\237-\\184G\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152c\\202\\206\\181\\194\\185\\253Qz\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"9F\\USjx\\167p\\178E\\RS\\200\\DC3\\131\\234\\EOTM\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179s\\213\\153\\177*o\\229\\US\\b\\238\\235O\\182\\194;\\199[\\ACK\\194gx\\168q\\241\\222\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\206\\145o\\251rw4%d\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\":N)h\\DC2\\172\\186q\\202\\&5_\\v\\242\\239*\\161t\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220?1hlU\\248\\202;X\\155P\\EOT^\\NAKq\\133^\\ETX\\DC1\\157N\\238\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\238\\130_\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\159'\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200y\\249~\\154\\195\\r\\142CK6]\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"N1\\135\\237\\204\\218%w\\237\\b%d\\206\\DEL\\DEL\\198\\173n'\\247\\230_\\146'\\208\\252J\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"[U\\f\\162\\222\\197\\rR\\220\\159\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\138\\189&U!\\217\\&2\\168x\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN c\\187\\226\\198w\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\ACKS\\249\\ETXf\\246\\229\\&9}\\ENQ\\\\\\163\\215\\144h\\173\\&6\\190\\SOH\\NAK~\\ESC\\135x\\\\O\\\"\\253\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\204\\156\\218\\216[\\160Sa \\154\\254\\131{\\219\\231p!\\181./}A\\149\\164<\\231\\252\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130C\\149\\&6\\189\\199@/\\141\\235\\&5j\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\141\\186vs,\\176\\198+\\177\\225\\242\\DC4N\\201\\211N\\207\\132L\\161\\194'\\206\\229Y\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"4U\\244gl\\236,%k\\193\\208\\DC3\\215\\184\\231f\\254q\\RS;\\227_\\229\\213\\224\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\226\\&6\\ENQ\\173$\\215Vjh\\180\\187`\\153\\131Hg\\SO\\199\\227\\155\"","tag":"AbiBytesDynamic"},{"contents":"\">m\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\175\\132i\\135\\195\\253<\\178\\182zq<z\\190{\\SYNi6kQ\\216\\235\\177\\222+>\\136\\171\\202\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\222Td\\189\\&6\\DC2\\185\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\181\\237-\\244+\\SYN\\248J]w\\187\\233\\243-\\239\\149\\171\\CAN\\201\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"tj\\136\"","tag":"AbiBytesDynamic"},{"contents":"\" 6\\237\\&6?n#\\176\\228I\\184\\240Iq\\ETB\\174\\179w/\\n\\155c\\230w'\\NUL\\149\\133\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\SYN\\CAN!\\223\\DLE\\142>\\214N%\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\189\\140\\219\\164\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191 }\\154\\GS\\250zzck\\229\\155\\239\\146\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS6\\164@\\143\\173\\DC4\\US\\240N\\145d\\146\\&6\\236\\ENQ\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\181p\\231~>\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\178\\168E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133d\\136\\159~\\203\\207\\DC1&c\\229\\221\\219G\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181v6L|\\203n\\DLEA\\200g\\159*\\174g\\146\\225\\ENQ\\249\\137;G\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\223fK \\205\\152\\188f\\221\\EOTc\\RS~6\\144<\\171\\220\\155h\\248Kg:\\253\\142\\150e\\179\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\237\\129*T{\\198\\201\\166\\167\\&2\\253\\&9\\154!K\\250\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"r#\\246\\188 \\190\\235x&\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\">%5\\b\\143\\178:\\ENQX\\164\\165F\\135\\193\\170\\&6\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\";\\200:s@\\171\\163\\rR\\ENQ\\209\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"*q\\245\\153\\ENQiR\\171\\209\\223\\236\\&0\\145~\\EMuB\\241\\144\\180\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\206\\&3&5\\218\\131\\&1&\\194\\230\\166\\250\\199\\DC4\\DC3\\222\\159\\178\\NUL\\223),\"","tag":"AbiBytesDynamic"},{"contents":"\"c\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\191\\EOT\\171>\\132\\SYNJ\\SYN\\227i~r\\SYN\\r\\147\\221\\&3\\215\\140\\218\\205\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\150O\\140\\252\\166\\238\\205{\\217v\\131\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214{\\153\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\240\\&6\\232\\SYN\\153\\DLE\\154\\RSP\\174\\247\\NUL\\\"/\\192\\n\\185\\156\\194ii\\167\\164V\\187j\\137\\199(\"","tag":"AbiBytesDynamic"},{"contents":"\"Jv\\203\\198yp)\\r7?\\DC3\\240\\129\\182\\RS3\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\201\\DLE\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\SI\\243\\189i\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237x\\\"f\\140\\244\\209\\SUB\\183 H\\134\\157L7\\US\\246\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"Va\\DEL\\200\\253\\216\\189[\\214\\218\\130\\b_p\\135\\155\\139\\192\\212u\\179\\191\\157\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\":\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245,\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"xpx\\DC3\\161\\189\\214\\162\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"2a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162T\"","tag":"AbiBytesDynamic"},{"contents":"\"U-\\180\\139P\\NUL%\\226\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\DC4\\162\\237[\\162`\\ESC\\156\\ETXYm\\SI+\\228cB/\\191\\146;]l\\249l\\206\\208(\\\\\\151\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\180\\226Yd\\DC3\\246$By\\161Q\\214D*XNi\\RS\\243\\172L\\220K\\133\\238\\249x\\160\\225Q!\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\205-F\\169\\b8\\161%\\185T\\191t\\236\\235M\\155\\138\\&9\\229\\196\\EM\\RS\\225\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\163z\\EOT6Xa\\238\\222S\\146\\244io\\168F9\\168\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\186\\157\\211\\225\\SOH\\v0\\157DE\\221.\\\\k\\152-1)\\213\\228\\r\\162\\142\\150\\254F$]}i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\EM\\GS\\164\\ENQ`\\a\\a\\r\\137\\204\\EOT0!\\ACK>\\157\\234\\&6\\137\\169\\181\\231v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\134\\211\\252\\DC2\\v\\181\\232\\NUL\\226\\152\\201\\167\\&2B2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\137\\249\\227t4>\\224\\&9\\231\\168e\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"vd\\166\\&8-m/\\\\\\212\\ETX\\SUB\\240<\\195\\194\\154\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\SUBp}\\bM\\157\\218\\184\\ESC\\255\\&5\\218\\208\\187\\250\\217\\146)\\140A\\236\\207\\184M\\210\\153\\215\\SUB\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\&3e\\141|7\\176=\\ETX\\247\\146\\193\\152\\173\\204\\153\\215)\\160.&n\\185\\182<\\141\\216c\\ETBw\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\165k\\GS}\\146\\211]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\136\\155\\244\\250\\&5\\229M\"","tag":"AbiBytesDynamic"},{"contents":"\"g>$\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\250\\226\\233JL}\\236\\227\\154\\134\\147\\159*\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\\"\\168\\242\\ENQ\\168\\DC1\\166\\218\\&1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\208\\149\\f\\131\\198\\202\\133N\\229\\238\\210\\218\\SOHh\\168\\157I\\250R\\130R\\158\\247\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\196\\169\\221;\\243\\NUL\\217\\r\\NAK\\253\\212ea\\\\Ii\\177G\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\",\\245\\ESC\\211 \\185\\&2\\160\\205\\253_\\232a4\\210^\\161Vv\\232\\144'\\\"\\170\\143mQY\\238\\STX\\170\\187\"","tag":"AbiBytesDynamic"},{"contents":"\")\\212=\\147J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\192L9\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\DC3q\\191B\\DC1\\162\\EOT\\131\\\\U\\DC1V\\152\\ENQ\\SOH\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v2*2\\198\\n2\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214,X\\172\\&1\\f\\154D\\181O\\175\\211\\&8\\154\\231%r\\210\\136\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\179y\\r\\SUB\\191Y!NO\\213\\EM\\158{\\154\\130E\\165\\158\\189jU\\234j\\f\\132D\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\DC1\\DC4`\\153\\&5\\203\\129\\138.\\\\m\\147\\218|\\177Ey\\233\\135\\199zW\\166\\153`\\195Wlf\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\r\\EM\\165\\155\\144\\252l\\169\\177v1\\v*jl\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\ESC\\189\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\143\\247\\160\\133\\&3\\173\\SOHw\\145\\163\\139\\v\\135s\\131\\162\\246\\239\\DC3\\199\\205\\199\\DC2\\ENQ\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215*\\176]dB\\184\\192\\192\\167\\ETB\\f\\ACK\\205\\131X\\223\\244\\196Y\\167c~\\128\\NAK\\FS^\\180\\242\\247\\236_\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\196nB\\SOH\\181\\188\\167\\173\\211X\\DC4\\158f\\ACK\\214\\196\\nnOY\\136\\182\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"318"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639938"],"tag":"AbiUInt"},{"contents":[256,"784"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"30212746556231775775107708330960831112962544609426758943763353419087732473591"],"tag":"AbiUInt"},{"contents":[256,"100170411428056894198136174330898274613661654717890731177039065499136211698344"],"tag":"AbiUInt"},{"contents":[256,"4302707506424980237422678059077462612296528809909607756913522825907293942024"],"tag":"AbiUInt"},{"contents":[256,"102210148841363727213982295482501507111828867737270172137283800642487005958164"],"tag":"AbiUInt"},{"contents":[256,"37260256498284331713162"],"tag":"AbiUInt"},{"contents":[256,"76425410975741761770880406983211877813385687195441673348691976218704552597801"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635933"],"tag":"AbiUInt"},{"contents":[256,"12400502395769886445646392050320142288046637855914363000342853252734289919045"],"tag":"AbiUInt"},{"contents":[256,"718"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428158"],"tag":"AbiUInt"},{"contents":[256,"113002171300498966823231597082266671604973886494665728441404392155492952606087"],"tag":"AbiUInt"},{"contents":[256,"86400"],"tag":"AbiUInt"},{"contents":[256,"58387636447982413363465534651267840635418685308426814527688415159525706246496"],"tag":"AbiUInt"},{"contents":[256,"108244222990030948282476663901256834540808266060817899743664765682062747868697"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639938"],"tag":"AbiUInt"},{"contents":[256,"44978734600498726895527131841376986685316919352858151407289306999232321609243"],"tag":"AbiUInt"},{"contents":[256,"231"],"tag":"AbiUInt"},{"contents":[256,"112299190009705490171549043615468475174944726420664336285730850943117347031011"],"tag":"AbiUInt"},{"contents":[256,"521"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639926"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"72520617102381342330467875022309094177728291181323460423528533825367324456655"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781055"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639910"],"tag":"AbiUInt"},{"contents":[256,"8"],"tag":"AbiUInt"},{"contents":[256,"93699495350735343575549817728438863386266605416889289509176057992143606046146"],"tag":"AbiUInt"},{"contents":[256,"67708207077006816313174272204266184696686527421786468231464142132336189603635"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"14354241286772444866706988516572137587752680284021831316732496256572322162830"],"tag":"AbiUInt"},{"contents":[256,"25680828368470692724686297767934672555577551593021772773394202766187764"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908086"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636336"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011519"],"tag":"AbiUInt"},{"contents":[256,"2949365232707619032951281929771790906660062349346266687018450596922588917821"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639817"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062339"],"tag":"AbiUInt"},{"contents":[256,"14649294614196885175497724695277372553624174471995010949216523696440673966853"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892768"],"tag":"AbiUInt"},{"contents":[256,"32802242715109937765208903549534654156283202811940737067524244398175518745156"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639878"],"tag":"AbiUInt"},{"contents":[256,"98"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"82"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630937"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062338"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639433"],"tag":"AbiUInt"},{"contents":[256,"100977103924686600547092938440898688862384979167894209160518604727677818685137"],"tag":"AbiUInt"},{"contents":[256,"79618002373132171817922072511191422462549401170753139943260660738698710774084"],"tag":"AbiUInt"},{"contents":[256,"112148941507081373003016941281969371563251858446540351104014478604498778231566"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781052"],"tag":"AbiUInt"},{"contents":[256,"133"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"74564587143599894367962557095895801638597096291490081598268730139814854224095"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"9003"],"tag":"AbiUInt"},{"contents":[256,"37186689546351474320947042291329670170680605837297592922642040926099114352399"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892771"],"tag":"AbiUInt"},{"contents":[256,"105268121101397371095465320775487412925593665625610352638448203875696556384849"],"tag":"AbiUInt"},{"contents":[256,"82434519949098596661904810143166294335660753827223895837090061165294336209500"],"tag":"AbiUInt"},{"contents":[256,"490"],"tag":"AbiUInt"},{"contents":[256,"1001"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"89240839735871603209137279797428044466602789235206174711030093391971323823419"],"tag":"AbiUInt"},{"contents":[256,"88163729551287336987764094487372147252993600221650432929238544737777835374797"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132607"],"tag":"AbiUInt"},{"contents":[256,"17100533946693012483716117814458429164596517102351986900039154425264626480758"],"tag":"AbiUInt"},{"contents":[256,"3999"],"tag":"AbiUInt"},{"contents":[256,"217"],"tag":"AbiUInt"},{"contents":[256,"50462427426221645324809163180163456731272152047714582380416439309425176367275"],"tag":"AbiUInt"},{"contents":[256,"101"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637933"],"tag":"AbiUInt"},{"contents":[256,"89397673220056266526470792413268241067287630232840614479875748983325706050562"],"tag":"AbiUInt"},{"contents":[256,"81273122336683422514866481554380389838066270304808223376356010420927705714093"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634934"],"tag":"AbiUInt"},{"contents":[256,"105567225895062446042826045814863021034292851743058366232055868650882986768266"],"tag":"AbiUInt"},{"contents":[256,"946"],"tag":"AbiUInt"},{"contents":[256,"88650795117477829001642892327525584356998844222214111561444883740243188395762"],"tag":"AbiUInt"},{"contents":[256,"89608601030722362464041870728673761510805761707964292109426004746395520988584"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"84299950012444391655736318361415334979111134874368738710095031955511763508494"],"tag":"AbiUInt"},{"contents":[256,"40998308437671978893199403971306678591864039146443519043755331440665165487181"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551616"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"1589830648580224979216660114373624705901511622634993218443770740577443259828"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639683"],"tag":"AbiUInt"},{"contents":[256,"49044973172537997035735429080205412782117285795438125643163920868964305980203"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628418"],"tag":"AbiUInt"},{"contents":[256,"108285198812426865844662610814197862509303387798019266763403422986725665489828"],"tag":"AbiUInt"},{"contents":[256,"110713634156990481198378135493887388461683001992804903948404434786045285421726"],"tag":"AbiUInt"},{"contents":[256,"219"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577599"],"tag":"AbiUInt"},{"contents":[256,"65611393721108756160341631851211281874828684086614283759078720486834422488026"],"tag":"AbiUInt"},{"contents":[256,"112901694421879927776422839975215002883542971582250277714636137723743901123196"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639865"],"tag":"AbiUInt"},{"contents":[256,"62673821859821409469658739422413341476473369587381234476079035300306037756976"],"tag":"AbiUInt"},{"contents":[256,"96151790285684416689842664288399505047381104154863683650019006922430021730221"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858879"],"tag":"AbiUInt"},{"contents":[256,"58"],"tag":"AbiUInt"},{"contents":[256,"110721084995849793247979173480223152920957558721728093769360281519821467922036"],"tag":"AbiUInt"},{"contents":[256,"95469781939482563483675729907546500235349324398705926261725273878805290636364"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639831"],"tag":"AbiUInt"},{"contents":[256,"121"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088320"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639797"],"tag":"AbiUInt"},{"contents":[256,"39"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e8","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"29"],"tag":"AbiUInt"},{"contents":[8,"210"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000adc5","0x0000000000000000000000000000000000000000000000000000000000004352"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec4","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb34","0x0000000000000000000000000000000000000000000000000000000000000032"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"87560868293167692078481391253782129289431141237994998472348712194486705157231"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ca32","0x00000000000000000000000000000000000000000000000000000000000095b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"LFUr\\189\\206\\170\\147\\223H?\\242\\231t_\\144\\v\\SYN\\DC1\\213\\179\\SYN\\218\\&5r\\250\\175\\139\\236\\159\\175\\183\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000094ab","0x0000000000000000000000000000000000000000000000000000000000007630"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e952","0x0000000000000000000000000000000000000000000000000000000000000011"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"98160187956480784000845527270378188049799773457831898547490150594852153753425"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008345","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c1","0x0000000000000000000000000000000000000000000000000000000000000061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"14932843607697471828191908230534122263722113927269844327349105315191969837644"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030cef","0x00000000000000000000000000000000000000000000000000000000000095e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"83696473405016787880939897615140903816743587297723044947472350892809914338128"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052402","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"75058443354598823647519913757182480729565617987877205792992263519082047681798"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055776","0x0000000000000000000000000000000000000000000000000000000000000bcf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb3","0x0000000000000000000000000000000000000000000000000000000000007630"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222594"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000006a","0x000000000000000000000000000000000000000000000000000000000000136f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4d","0x0000000000000000000000000000000000000000000000000000000000007e4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"997"],"tag":"AbiUInt"},{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"780"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062339"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x000000000000000000000000000000000000000000000000000000000000653d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a0f1","0x0000000000000000000000000000000000000000000000000000000000002320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x0000000000000000000000000000000000000000000000000000000000005b8d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x0000000000000000000000000000000000000000000000000000000000009aa5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"11261053937193971536134092192030241011466692260879314569980623812459004974272"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd39","0x000000000000000000000000000000000000000000000000000000000000000e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"S\\SYNg\\193\\253\\207Ln\\152\\190\\150\\196\\209\\189\\US\\171\\223\\139\\138\\167\\191m\\220\\145|\\238G\\215tP\\DEL\\255\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003d","0x000000000000000000000000000000000000000000000000000000000000a5f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b2da","0x0000000000000000000000000000000000000000000000000000000000000904"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"59079158009230147887018870281065981614765121666518867809907433476390491812248"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f97","0x0000000000000000000000000000000000000000000000000000000000001475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"55503800407460553412070297620411860084590601960461392860895039968092652017078"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae1","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000585d","0x000000000000000000000000000000000000000000000000000000000000b0cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe7","0x00000000000000000000000000000000000000000000000000000000000026ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000024","0x000000000000000000000000000000000000000000000000000000000000135a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"@y\\ETX\\212\\145\\136\\237\\235\\131\\129c8\\215\\183\\234\\171N\\187*\\200\\SOK\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\221PwA\\236\\214\\190 F\\241\\204\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\238\\215W\\147Z,\\185f\\199\\238&\\255\\241\\STX\\213\\155\\183VrAC_\\237\\230\\243\\205Z\\NAK\\b\\144\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\STX\\216\\243\\161\\164\\221tG1\\DLE\\135\"","tag":"AbiBytesDynamic"},{"contents":"\":r\\al\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\SYN\\165\\&7\\165\\191\\188F\\185g\\ESC\\128\\238\\145\\220HG?\\ETB\\169\\172\\250\\209\\219\\146(\\251\\137\\157E\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\131\\245HK\\247\\251\\&1^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\254l\\160\\SI\\154\\179<\\bh\\192\\NUL\\252\\134\\ENQ]\\179\\&6-P'\\187\\&7\\173]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238X\\225\\DC4H@o*\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\253!\\220\\179+\\221\\143*z\\214aDX.\\250Z\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\162\\128I\\173\\136\\237\\225\\DC3~\\142\\147\\&9\\248\\163\\129H\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\151\\254A8\\171\\182\\209\\245\\DLEV\\154\\165;\\161s\\152|rF\\129\\133\\207\\164\\176}\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\201v\\236\\247**\\150\\244\\b\\192\\194\\DC3\\151\\208\\252,\\188l\\209\\179\\249\\212?Kil\\196\\248\\NAK\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\214u\\173\\199g\\144\\254\\SIJ\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\&4^\\248l\\200W\\USj\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177CD\\252nTMT\\208\\EM\\142\\183\\163\\226\\170l\\187\\159\\SOH\\239L\\DC2\\242\\231i\\158\\197^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146g\\217}7D\\141=*\\139V!\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"o3\\191\\205\\149\\147\\217\\149\\144\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\177Y\\ENQ?N\\180\\CAN\\153\\182\\208\\200\\227\\NULg*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\200\\178\\145\\255\\194Z\\232\\149\\235\\141\\149cY\\177\\235\\183\\139P\\165\\206}S\\233\\233!\\242\\228V\\r\\236C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\SI\\129\\166\\143\\254}\\200i\\ETX(\\139\\\\\\233B\\206>\\236\\207\\158\\210]E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\233G\\244\\v\\SYN\\218\\143\\166\\SYN\\t\\207:\\DEL\\172\\254\\180\\131h\\243\\209\\SO\\v5\\227T\\GS\\v\\nN\\231\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\157\\207{\\196\\253\\202\\188?\\231\\146\\211\\184\\203\\GS\\175d\"","tag":"AbiBytesDynamic"},{"contents":"\"rM\\146J\\239\\135:\\ETB U_\\ENQ\\229G\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\193\\232P\\200\\140\\191\\138\\170\\&3\\180\\137(\\158c\\188\\226\\DC3\\232\\143}\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\247R\\196\\135%\\215Rl\\134\\137\\&1\\201h\\244\\212\\133)\\180\\189Yu\\\"\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\183S\\EM\\226r\\152y>\\163m\\b_\\221\\203q0\\190\\&8\\ETX\\133\\142\\150c\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\201H\\ENQ\\ACK\\ENQ\\223\\238\\&0\\208d\\147\\rwe\\252\\v\\STX\\177\\204\\&5NuEy\\249\\b\\136\\245\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\172o\\v\\204\\235\\235k)\\143\\NAK\\230E\\175k\\196\\vV\\CAND\\218\\159\\&2\\195\\197\\238\\188\\252\\180\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"P]\\STXP\\251]\\233\\221\\243\\&8\\SI\\179\\214\\131:3\\220L\\202\\207\\t\\211\\128\\&9N\\161\\DLE\\210\\SOHG}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\214\\193\\&5}\\254Y\\v\\241\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\143.w\\222*\\155:\\208yc\\178\\\\\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\251\\139\\253\\147?PF=\\244%x-\\186\\217\\234 \\SO\\ACK\\171q\\213\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\DC3\\244\\156A\\254f\\SI\\152\\183\\226>Fe\\n6\\170$Y\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"{\\201\\167\\173\\133\\230\\128\\192.\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150y\\165\\171\\189\\215\\178\\GSgjw\\DC3\\232\\237\\164\\193?h\\184\\131\\219\\US\\134\\DC1\\143\\250$\\130$\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"p'\\145\\170\\138\\249;\\STX\\136\\158!\\ENQy\\DLEVp\\205\\255c4\\145%e\\EOT\\235 Z\\133r7C)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\175\\193\\137\\210w\\DC3\\EM\\NAK\\136\\194\\226\\254\\189\\240c\\178&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\205\\231\\208\\166\\156\\160\\ENQ\\237\\149\\161\\129l\\SI\\210\\190\\160\\f\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Wy\\254$\\245e\\199\\EM\\172\\240\\142\\145\\248\\210\\232\\n\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\162\\242\\ENQ\\232w7\\DC4B\\198\\SYN\\235Jy%\\GSya\\190u\\SI\\234\\137\\v\\v\\203\\DC4q\\169k{\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\FSg\\251\\185\\&0\\v\\224\\b\\225\\171J\\166\\ESC\\218\\145\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189y\\196\\202\\208bN\\NUL\\169\\247\\201\\245N\\201z\\DC2\\160\\SO\\143.\\138b\\216\\181\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\\"\\193\\177\\158\\&4@Zb`\\229\\131]\\DC3-\\163\\214o)\\EOT\\185\\211P03{\\t\\197ut\\233O\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\207\\EOT\\194d\\b\\SO.\\182\\166\\228\\189\\139c\\194\\235\\189\\221\\r\\206N\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\195/N\\221\\216\\203\\162;\\248\\NUL5\\254+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170VR(2!\\134\\249\\155[.L{\\130!\\243\\218\\219\\&4\\207z\\b\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\208Z\\190\\DC1\\180\\173\\&0]m\"","tag":"AbiBytesDynamic"},{"contents":"\"E[T\\USst\\151\\167\\DC2\\140\\239;'^!Y\\178\\224\\214\\161\\&1\\tk\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\CAN:\\SI\\SUB\\150\\181\\241\\217!\\rw\\ETB\\SOH\\185\\DC1\\229\\247\\192e\\210\\fxA\\203\\160\\DC4\\236\\136\\200\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\134\\249\\&1\\186\\192\\NULN}\\ETX\\ACK\\189e\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\209\\nH\\231\\145^B\\b\\SO)\\194\\219\\rX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\226\\ACKO\\131rS\\229\\251\\211\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\138G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168M\\199\\DC1\\220\\222\\160\\ESCM]\\233\\DLE\\243\\226\\128\\v\\139\\143\\207\\212-\\233\\244l\\210\\168\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\129\\255P\\220\\&7\\160!\\FS\\203bJ\\241\\EM\\255#\\168\\217\\153\\n\\162\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"%\\141&\\180)U}\\141\\178\\208\\246'\\197\\165\\n\\232\\153\\210\\214p\\217\\201\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\145\\t$\\209\\EM\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\177\\193@\\171\\204\\128\\&52\\157\\&7\\223m\\140\\GS\\231%\\130m\\145Sa\\155\\221\\135\\223\\162\\SOH8\"","tag":"AbiBytesDynamic"},{"contents":"\"d5K\\249\\&7|\\218\\213\\179_D\\227\\149\\186C\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\ENQ]\\250\\223b\\182\\201G\\182\\234\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"XBe\\240\\183\\f\\148\\ETB\\157{s\\128\\167\\227C\\204\\193\\162\\182I\\v\\220\\242j\\v\\ETX\\CAN\\145n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\\\\\199N\\156\\249\\a\\178\\156\\SO\\139\\DC1\\144\\250Ya\\200\\\\\\146-\\231\\233\\CAN\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\&3\\231\\205\\252\\236\\144\\185<>\\155mG\\DC3\\157\\216\\SI\\145\\162\\ETB}\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\237q\\245\\166\\NAK\\137\\194E\\201]$\\FS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\206\"","tag":"AbiBytesDynamic"},{"contents":"\",\\170\\134\\253\\141\\229b\\v\\142\\197\\236j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\227\\NAK\\147\\\\\\184\\253\\133\\129\\145\\DC4\\148\\v\\220\\178!\\221\\189\\SI\\174N\\141a\\147I\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195GR\\131`\\US\\184f&\\241\\244\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\ETXj\"","tag":"AbiBytesDynamic"},{"contents":"\"aG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3w\\150y\\DLE\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236x\\132^V\\178\\236f\\246\\226\\162\\210\\ENQ\\SO@\\215\\215\\252\\230\\154m\\146j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\157j\\213\\134\\145\\132\\\"Lx\\RS\\EOT\\a\\DC1\\DC4V\\b!\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\198\\139\\198\\205\\SO\\157\\243\\\"\\149\\191|\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE?\\182}\\rn\\134\\159m%|\\226\\210\\232\\183?#\\204\\252\\SYN0\\140\\RS\\EOT\\DELL;\\ETX\\NUL8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193z\\137C\\US\\136\\US\\ETX\\240x\\SYNzT]\\DLE\\179\\177\\149\\131\\ENQ\\177\\t\\241\\251\\192\\156\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\169\\f\\205Io\\SYN@\\162\\248\\129\\136C\\250\\213\\148=\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\208\\141%rx\\FS\\\"\\244\\254\\246\\136O\\CAN\\252\\b\\175\\250z\\242YN\\189\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141R\\164\\234\\184\\143\\163;\\n\\149K\\168T\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\170\\NAK\\ESC\\a \"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\156|\\150\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"rq5\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\236\\148\\173\\183J\\166.\\NULS,$\\130\\242\\162\\217\\157\\216\\205]\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GCf\\DC4'}\\GSi)\\n\\229\\193\\201\\221H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\157\\187\\US`\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"%wR\\143\\170-\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\156%T\\131\\226\\239\\181gs\\172\\148t\\145\\204t\\b\\148\\254\\131Z\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"q+\\v*\\201\\152\\230*e\\208>\\161\\\\b\\ENQ?\\138>\\189\\aM\\184\\241\\157\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\216\\166\\&1\\238\\\")H\\243\\243\\234\\152y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\ENQ\\158\\249\\212^\\ETX\\247M\\v\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\STX\\146\\GS\\235\\DEL\\214\\DLE\\132\\187L\\240\\&5*/\\175\\184\\151\\CAN*\\GS\\228C\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"We\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"yz\\244\\137\\181\\219NsE\\173\\NAK\\236\\235v.\\155\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"S>qF\\GSP\\191j\\185\\223E\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\188\\226W0/\\176c\\EOT\\165\\149\\248O\\213*\\222McqCs\\148\\162\\SUB\\176u\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\217\\156\\209t\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\235\\201\\206\\226*\\205\\&8aP\\222#\\206\\214\\194:\\180\\&6\\DC1\\228Q t\\254\\212?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\159N\\241iF\\177\\225\\137\\150\\CAN\\235X\\212\\165\\197T\\166\\231\\179\\190\\204i\\231~=\\156\\181\\161:\\197\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192)\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\NAK\\173\\175\\216\\203\\250\\DC3\\r\\205\\182\\252\\253f[*\\166\\168\\157\\196\\205\\185\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\203\\153\\ENQ\\SUB\\251\\FS\\ACK;\\SUB\\182\\246\\221\\187)(\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"3T\\156\\183\\201\\141\\&4<d\\152\\SO\\192\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\131\\202\\250`\\186\\DC4\\249{\\224\\168[\\145\\253\\aN\"","tag":"AbiBytesDynamic"},{"contents":"\"N F<\\136b6\\165A\\145Ps\\134\\169\\253:h4\\182\\246#a\\252\\160\\242(o\\241\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\166\\230%T(\\216\\NUL\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193B$\\239k\\159\\216l\\ACK\\SUB\\129_Li\\242\\163\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\193\\134\\rn\\155\\247\\190N\\140\\DC20}J\\SYN\\199}u\\223\\&5\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\139<6\\159\\DC2S\\207Y{\\146\\184\\205\\178\\SOH\\180\\174\\DC2\\228\\165\\NUL\\222h\\ENQ\\t\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\208\\236\\ENQ\\182\\133\\191\\255\\187\\141\\aRT\\254|\\SOH\\246\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\159V=\\235\\142\\r\\ESC\\207\\136\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217A\\ETX\\214f^\\188\\167\\176\\178\\ACK\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\DC3\\240T\\174{rQ?\\207\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\184\\179\\ACKu\\DC23\\SO\\USv\\187\\142\\140-\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\207\\143\\SYNb6_W\\201L\\173\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173@\\186\\249F7\\231!\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\172\\165\\203\\255\\163\\&7\\SUB\\\\M\\202\\238MY\\251s\\168\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\152xv\\246/)\\129\\\\\\195P\\204-\\128\\146&%`\"","tag":"AbiBytesDynamic"},{"contents":"\"nI\\ETB\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\&7\\vt-\\ETXd\\GSm\\185\\142C\\232o\\193j'\\172\\&2[\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"B8WA\\148*\\129%\\160\\v\\160:BC%Z\\207\\249\\169)W\\150\\223\\255\\168l\\211/_\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\ESC_\\145 \\ETB-i\"","tag":"AbiBytesDynamic"},{"contents":"\"C=[\\NUL\\134\\241\\141\\241]\\164\\220L\\242\\204%\\178B\\158\\181\\DC4\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\201\\b\\195x\\157D\\147A\\171$\\203TkG\\164\\199\\202\\225\\218\\128r\\236\\143\\184qQ\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\150\\182\\\"\\EOT)\\DC2\\187\\235\\245\\\"\\143\\153S\\204\\149\\133\\152pi\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"WJ\\211>\\196\\n\\166t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US4\\235\\234\\139\\179\\151\\GS\\194\\230%f\\199\\189X\\184)\\NUL9\\193\\220\\f'\\148=\\180aJ\\245\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"F,\\165'\\179T$\\182\\200\\240\\CAN\\238\\&4\\210\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\140\\ETB\\225\\249\\177_\\129\\DC1w\\191\\202\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\EMC\\158~ \\254\\247,\\SI\\221\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\137\\135C+\\245V\\130&\\150\\170\\142\\EMv\\166\\&9\\GS\\ETX\\174\\215\\129\\b\\237\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\133\\&7\\131aI\\219\\174\\202\\SO\\170\\168\\180s\\FSq\\194\\241[m\\CAN\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\&7gy\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153:F\\SI\\216xd\\215\\164\\203\\223-g\\178y\\SIS\\170\\144\\SYNQ\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160F\\216\\DLE\\210j\\246\\150\\SUBd\\226G\\178\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\236\\232sH\\241\\198\\192\\139YX\\r\\130\\225\\254/\\238,\\DC3\\NUL_\\159T\\177I\\FS\\241J\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\238\\229\\241B\\ETX\\236\\209>I\\205,\\209x\\NULI\\231N\\DC1\\128-\\188\\252\\\\\\177\\139bk\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\175\\&3\\143\\EM\\234\\218\\208\\176c\\\"\\221\\158\\203\\233\\230\\183\\170\\240#\\\\\\233j\\EOT&\\185\\US\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"~\\SOH\\178o\\133h\\193\\137&o\\224\\DLE\\141\\NUL\\184\\141\\168\\242\\\\\\243c1\\198{C!P\\214\\162s\\149\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\136Z\\a3\\167B\\186x\\223\\212\\162\\187\\158\\248\\131\\149/Z\\215yH\\157\\158g\\180-?=\\160,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\239m\\246\\232e\\166\\170\\203n\\DC4\\SO#\\245\\143\\177\\SUB\\\"\\198\\247\\&7\\138\\bq\\RS*\\195zo\\255\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\242\\138\\b\\205d\\129\\128\\216\\233Y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\182[\\224\\194\\208\\226\\160g\\190\\228\\137\\248\\ESC#\\166\\179=oL\\r/O\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\245(\\NUL_\\198\\138\\153 \\137H\\ETB\\245\\187`\\139\\218\\\"\\247]\\134\\131\\ACK`\\175\\147\\173\\SOH\\rC\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\207\\150\\186\\242\\249#\\139%]m\\146\\130\\ACK\\ETX\\143\\218\\&4\\130\\158\\&2\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\FS\\164\\248l\\ENQ\\205\\CAN\\158 \\183\\140\\212\\ETX\\167\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\218\\162\\166\\225\\132p\\223r\\217\\181\\211\\DEL\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"e85\\168\\197\\225\\156\\161\\SO/\\DEL0\\239tD\\a\\175\\155?;\\131W\\255C:m\\230M\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\221\\223\\180\\133\\146\\247(*\\ETBN\\231\\152\\&7\\180]N%\\NAK\\173A\\224\\EM\\224:\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\203E\\NAKxSi\\146\\235D\\226\\128\\243.\\243\\NUL\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"p\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\203[^u\\234\\&0\\128`\\142\\255\\171{\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\204\\246\\185\\DC2\\ni<O\\DC4\\200\\232\\RSR{L\\239\\163~9$\\168\\ENQ\\168\\180\\227\\154\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\206\\&3\\232\\178\\132\\GS8\\174\\193\\160L\\182\\DLE\\255\\168\\197\\\\\\203\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"+{\\232\\SOH\\ACK\\213\"","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":"\"\\137S\\130,\\DC4\\203\\198@%\\244\\173B\\218\\222YhEY\\a]=\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\207k\\148\\217\\187\\&4\\237<\\133\\DC1\\138d\\DC2\\216\\237\\SUB\\182\\182=\\247[\\130F\\ETB\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\215F\\223\\142(r$)\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\250\\213\\149\\&42.+a\\213h\\SOH4\\155\\202\\215\\205.\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\193\\196;\\SO\\183\\214\\222\\191\\145\\219Md[{5\\135\\234A:,J\\197\\237\\144\\233\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4r\\251\\DC4\\209\\&5\\198:\\221w\\DC1\\162rd\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222k\\ESC \\219\\239\\STX\\168\\156\\216\\136\\220\\\\\\253\\240\\135\\vH\\135\\238\\b3\\SUBp\\161-`\\DEL\\175\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\232e\\152G\\133\\157\\US\\r\\165\\203\\n\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"}\\160\\FS\\217\\211A\\146\\t\\196\\164\\RS\\t\\163\\134Q\\182\\234\\NAK\\239\\231\\214\\199\\243\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\fo|\\t\\241\\218d\\DLE\\241\\b\\FS\\164\\155\\242\\nZwc\\170\\207\\\"\\173aB\\136\\239\\135\\229B\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\DEL\\238\\&77*-\\188|\\172\\DC2t\\GSMt\\149\\199{3\\255s\\182\\172\\241\\151\\152\\192-\\252\\221\\139\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\215\\167\\233d\\133\\168M@\\228\\161a\\233\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"qf\\178\\177\\&9\\197\\SYN|P\\193\\171\\212c\\157:iMV\\172\\203\\STXJ\\228-\\156\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"U\\240\\SYN1\\EM\\SObK\\198a@k\\169\\130W\\139ih\\137%}\\188\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\215\\154H\\208\\151eL\\214\\t\\180\\209\\185\\240\\254&\\130\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\197\\a~\\252\\165\\NAK\\172\\&9^\\DC1\\196@\\135\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\161D\\237j\\EM\\SI2\\133@\\152\\201\\201\\167T\\191\\DC2\\131\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144Q*\\RSR\\210\\182\\DC3\\142\\&9J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188d\\136\\241\\190\\241W4\\206\\177\\RSm\\221\\SYNnd\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\224\\227\\155N\\225\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203 \\253\\245\\NUL\\SUB\\159D\\166\\236h\\240\\214\\209\\151\\203\\233\\226\\133\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\n\\FS\\RS\\165\\186D\\ETB*\\195\\238\\149\\184#\\201\\GS\\NUL\\163t\\242s\\ETB\\SUB\\141\\187l1\\156\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133&\\177,!\\241\\DC2z\\169cW\\212A\\FS\\240\\b\\231\\DC4*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\153J\\224V\\146\\217@\\199Y\\SYN\\US\\230\\\\nL(\\151\\183\\204\\DC3X\\151i\\225\\201\\&0\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\174\\137\\FS)\\211z\\203\\213\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"899804905475606996794727606325"],"tag":"AbiUInt"},{"contents":[256,"100728182514744460936481724433503017783607015518312579518947084863049025795241"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222591"],"tag":"AbiUInt"},{"contents":[256,"39424834156553854178384123778598664732271929638693585898989087357916309499206"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551616"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"20681939872761899813905863236521971851254367792035738075649772337263144323406"],"tag":"AbiUInt"},{"contents":[256,"74454733940059016789674881100982587695690026859972912169961458017919567410752"],"tag":"AbiUInt"},{"contents":[256,"73182320991293093841560419695193641989835765416606207579032131214533102623974"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"},{"contents":[256,"71605216381081219989157679743987268374083683136611525474376939611924598163507"],"tag":"AbiUInt"},{"contents":[256,"21265590101124358649676108357266612230636246372674954007369351912495860495855"],"tag":"AbiUInt"},{"contents":[256,"30342698182235257682442606219029012928717904171426780503587677222617215098039"],"tag":"AbiUInt"},{"contents":[256,"10142404908252132183205815419052502861033866569889046398167344735719694513291"],"tag":"AbiUInt"},{"contents":[256,"82126973424871850227585175179986722417900208805823565109139279547214480730440"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088320"],"tag":"AbiUInt"},{"contents":[256,"93759102736831683802735822482554704112857758246575693367460856245152962860781"],"tag":"AbiUInt"},{"contents":[256,"114798702178740806884735160628318624245377080406356878997627706110503349109605"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689600"],"tag":"AbiUInt"},{"contents":[256,"28250056715400158286443085348941089048510630917403986317510366553173959021775"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"93534834729258207094834069142075648856180986741953297210916958789174346824712"],"tag":"AbiUInt"},{"contents":[256,"3600"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011517"],"tag":"AbiUInt"},{"contents":[256,"97048525869870315531097364515684356238929219514756780222641279100309840714740"],"tag":"AbiUInt"},{"contents":[256,"85813296741639408428211552887007111862753739168408719592896407279280118458624"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"},{"contents":[256,"44463291818310106765167205575815582206888545454900118617343933294926073479924"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"13353396666776705457422362516402670512881412667712177908213191529830055564725"],"tag":"AbiUInt"},{"contents":[256,"231"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"8904046553994357227267657728489627728383838139609174853854668493100681297085"],"tag":"AbiUInt"},{"contents":[256,"9177709857002608630783282571287510092131352241396195780213818128103734128873"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"56053199908581230767977268582515886128940164484333704489822672043530424899032"],"tag":"AbiUInt"},{"contents":[256,"10020736164888566479701378353687087542750634994122300355286740163154817173364"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747167"],"tag":"AbiUInt"},{"contents":[256,"33492902820929901252637447310497256389090608214777249235091115938163797770274"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639938"],"tag":"AbiUInt"},{"contents":[256,"903"],"tag":"AbiUInt"},{"contents":[256,"67124653513561986265080010149277256358139816155402049276711290314925165670524"],"tag":"AbiUInt"},{"contents":[256,"604798"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892767"],"tag":"AbiUInt"},{"contents":[256,"188"],"tag":"AbiUInt"},{"contents":[256,"104865548346309651219855341203250145582668986444005202091083202900587443785610"],"tag":"AbiUInt"},{"contents":[256,"96054099967063773580308453486547183238222582134960988110139517339917134215575"],"tag":"AbiUInt"},{"contents":[256,"15955511999299915264469913335157147591057957705209112755572078979939679584857"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639437"],"tag":"AbiUInt"},{"contents":[256,"65639954111983691763328563869684176754237282257023196461787523279100709968072"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781055"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639871"],"tag":"AbiUInt"},{"contents":[256,"93662561649810172939145959883632848777205157161111421191452467778494215843022"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639897"],"tag":"AbiUInt"},{"contents":[256,"67465661564679735122478599017150763303205165847684048"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629933"],"tag":"AbiUInt"},{"contents":[256,"82006133620090313780058692658534041633650790407561093598564471321508072164566"],"tag":"AbiUInt"},{"contents":[256,"15579888070140900448778290691850431043701792273427201360035453322371029230561"],"tag":"AbiUInt"},{"contents":[256,"110068399672431446032150707450067276334784626885037803010202823634103932283535"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950338"],"tag":"AbiUInt"},{"contents":[256,"229"],"tag":"AbiUInt"},{"contents":[256,"756"],"tag":"AbiUInt"},{"contents":[256,"311286866825233330156657820264092707"],"tag":"AbiUInt"},{"contents":[256,"50710753726812088439688117688995676528353744030366524460786278158340072206470"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639921"],"tag":"AbiUInt"},{"contents":[256,"109544327919154623268377425153500720163570074064247192964110832815592894411549"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"2093426476015814896198123141445959256063388406733321979915853708233506918382"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"49432540967506486747207825664414044382700651593578303360484144456585374279647"],"tag":"AbiUInt"},{"contents":[256,"301"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428157"],"tag":"AbiUInt"},{"contents":[256,"604798"],"tag":"AbiUInt"},{"contents":[256,"282220597364636861662644215408244405"],"tag":"AbiUInt"},{"contents":[256,"49172874344382149731711405519833942613354196191600449204629786732646247124509"],"tag":"AbiUInt"},{"contents":[256,"590"],"tag":"AbiUInt"},{"contents":[256,"12066666701079100568841557076024915659494280823652635487505852781910647062854"],"tag":"AbiUInt"},{"contents":[256,"9003"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892766"],"tag":"AbiUInt"},{"contents":[256,"1313373042"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4c","0x000000000000000000000000000000000000000000000000000000000000d8f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639682"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fa","0x0000000000000000000000000000000000000000000000000000000000007117"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"111016250706715007890225667994280285523972909521075928082540778544110781847636"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e701","0x0000000000000000000000000000000000000000000000000000000000000076"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabc","0x0000000000000000000000000000000000000000000000000000000000006149"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"32841042805310003248327258986289932255755608408299348479668741961406316865680"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a2ce","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"110600511371875836491529283832088789663824203791298573125969561610112844904371"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e956","0x000000000000000000000000000000000000000000000000000000000000002e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"509"],"tag":"AbiUInt"},{"contents":[256,"43788582562506771438370598926367335335732505542644001489691938692681969789993"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe8","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c2","0x000000000000000000000000000000000000000000000000000000000000000b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":[256,"87792510843534328756629608544454239888960254448825236813563551575373284895871"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb28","0x000000000000000000000000000000000000000000000000000000000000c064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052401","0x000000000000000000000000000000000000000000000000000000000000692d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fc","0x0000000000000000000000000000000000000000000000000000000000001368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"102065921710080617388601069418606967518717083694863378776107592601938552759765"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf4","0x000000000000000000000000000000000000000000000000000000000000139a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"57425848846218520492434706366053870096154049127719745695651300366023016213229"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e5fa","0x00000000000000000000000000000000000000000000000000000000000016d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0f","0x0000000000000000000000000000000000000000000000000000000000000fb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"19"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e761","0x0000000000000000000000000000000000000000000000000000000000005c8e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639842"],"tag":"AbiUInt"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008345","0x000000000000000000000000000000000000000000000000000000000000135b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"9600922128428480152813824797901636212480152010868927228078865188317299043137"],"tag":"AbiUInt"},{"contents":"0xC082D5F54430e6Cd6Dfc7D409dcE2F2fA9330698","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb25","0x00000000000000000000000000000000000000000000000000000000000035d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[256,"21348714673189661861025321241472886167937243709968733060395283292167679019106"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bd20","0x000000000000000000000000000000000000000000000000000000000000006b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000013a28","0x00000000000000000000000000000000000000000000000000000000000036b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"4000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x000000000000000000000000000000000000000000000000000000000000136b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab50","0x0000000000000000000000000000000000000000000000000000000000000051"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639936"],"tag":"AbiUInt"},{"contents":[256,"91056738785171046339788794083520274279417196117463852598831559406361871225189"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x00000000000000000000000000000000000000000000000000000000000012a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"110"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063720","0x0000000000000000000000000000000000000000000000000000000000000fa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639683"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000468d1","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"57512704865090487423665884259451403006446712040266757369138832323151083770093"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x0000000000000000000000000000000000000000000000000000000000002711"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"300"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f8ef","0x00000000000000000000000000000000000000000000000000000000000099db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"\"burned less than requested beyondlto erance\"","tag":"AbiString"},{"contents":"\"\\DC3?\\250\\140\\174\\SOH\\SOH\\SOH\\191\\254\\SO\\174U\\ESCe\\ETBZE\\ETB\\155\\206\\DLEIS@\\197\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"25"],"tag":"AbiUInt"},{"contents":[256,"55766279549323496501961183889373814832719702733363360727433414702304979387001"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"79306240116216691392760301440109391801243669739272832020679809451437576504889"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa0","0x000000000000000000000000000000000000000000000000000000000000ad10"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007abb4","0x000000000000000000000000000000000000000000000000000000000000004b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e353","0x00000000000000000000000000000000000000000000000000000000000066e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadd","0x0000000000000000000000000000000000000000000000000000000000002605"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"52842337013321831027761079353167322769799240409324559265569970552695695856764"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x0000000000000000000000000000000000000000000000000000000000001272"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"48713142049339437756262205125340290196277551282622070965719476051209342573047"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa0","0x0000000000000000000000000000000000000000000000000000000000000400"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"1529014225"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042463","0x0000000000000000000000000000000000000000000000000000000000008197"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"85500154854614400217588530053486484884379868128451575719591506706992413629957"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001389","0x0000000000000000000000000000000000000000000000000000000000009ff1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"H\\NULGH_PPS_DISPERSION\\NUL\\NULI\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NULC\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c9","0x00000000000000000000000000000000000000000000000000000000000013ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"78412373059568761309193934932408948353267086953995361884701793950694673772163"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34e","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"1528575700"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b2f5","0x00000000000000000000000000000000000000000000000000000000000095bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"81991807078818136944590349484239235397507887702886397363403623572196744081787"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4c","0x00000000000000000000000000000000000000000000000000000000000007c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"3396508396725624374790648102651682878120337937480034217055971128781001784031"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc30","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffc","0x000000000000000000000000000000000000000000000000000000000000653c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"299"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb18","0x0000000000000000000000000000000000000000000000000000000000000fbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]