[{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"37567836684810055885020733513068441410052825490173045638203390805048368097909"],"tag":"AbiUInt"},{"contents":[256,"86986388308117684248844317977336254397198140766128382814504289633479228245076"],"tag":"AbiUInt"},{"contents":[256,"102241149543891971573589904774848981357859243662192218734095988671363170478788"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"10284593644240847322968411932218441285043652380914338831604893284057764378993"],"tag":"AbiUInt"},{"contents":[256,"105227604066459205614418839456430236075597029245204669517785096039967776988676"],"tag":"AbiUInt"},{"contents":[256,"101369995929657238622045816879709020689414595999911248874090291595023616481093"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634937"],"tag":"AbiUInt"},{"contents":[256,"33501320665070527066229288413699622221791860568105601846892703189906518073332"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637935"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551618"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639936"],"tag":"AbiUInt"},{"contents":[256,"3999"],"tag":"AbiUInt"},{"contents":[256,"596"],"tag":"AbiUInt"},{"contents":[256,"38"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"11273675998915505246041981250957273989280214439551518413968901482329605247047"],"tag":"AbiUInt"},{"contents":[256,"348"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639829"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635936"],"tag":"AbiUInt"},{"contents":[256,"77792330406755974148928002377024877708295138479503974266363957079912171012958"],"tag":"AbiUInt"},{"contents":[256,"79523273678146643097872152994337303408492256764523414356000992484659102104500"],"tag":"AbiUInt"},{"contents":[256,"1313373042"],"tag":"AbiUInt"},{"contents":[256,"69142184188533802994133528338891538038027427304912067900280992058111034757653"],"tag":"AbiUInt"},{"contents":[256,"11735954458026308883263747912806262317416301219083059528410452349910750197"],"tag":"AbiUInt"},{"contents":[256,"94782187379334413475174038330747592689048938871097991091741131442578378229062"],"tag":"AbiUInt"},{"contents":[256,"54116758207917961173926371313538583353062039480888688757499814835560721302157"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747165"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551614"],"tag":"AbiUInt"},{"contents":[256,"72257859815177402820991344501913937645128505865387479448612827049336712089928"],"tag":"AbiUInt"},{"contents":[256,"16992134124206326389927077835205973390830581335613928346631011817376939959553"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e950","0x0000000000000000000000000000000000000000000000000000000000000048"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000005279eb0559eb094b8"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138a","0x0000000000000000000000000000000000000000000000000000000000000043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"42974707246648167596743242612794846442676882808880006752818299471755449688539"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d464","0x0000000000000000000000000000000000000000000000000000000000000231"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"96156223979898789632904133809568393791985439366610167989118260283304841916326"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x0000000000000000000000000000000000000000000000000000000000000025"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"138"],"tag":"AbiUInt"},{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":[8,"10"],"tag":"AbiUInt"},{"contents":[8,"236"],"tag":"AbiUInt"},{"contents":[8,"103"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"39"],"tag":"AbiUInt"},{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[8,"137"],"tag":"AbiUInt"},{"contents":[8,"10"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[8,"42"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000189e3","0x0000000000000000000000000000000000000000000000000000000000008ba8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"128"],"tag":"AbiUInt"},{"contents":[8,"67"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000a","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"100761994272225143282085304770705319799231144080721822925268167284971161034848"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000065","0x0000000000000000000000000000000000000000000000000000000000003feb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055775","0x00000000000000000000000000000000000000000000000000000000000026c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"34779586643392068731198595204182551473066670532820814768493481190281279654223"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e13","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517f","0x0000000000000000000000000000000000000000000000000000000000006149"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e10","0x0000000000000000000000000000000000000000000000000000000000006ddf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639869"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e376","0x000000000000000000000000000000000000000000000000000000000000138c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068609","0x0000000000000000000000000000000000000000000000000000000000001316"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000091e7a","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":[256,"88016392451186498540124696063563143425860326084034380861093324232564810454288"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000752f5","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052403","0x00000000000000000000000000000000000000000000000000000000000009d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ea","0x0000000000000000000000000000000000000000000000000000000000007660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639901"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2b","0x0000000000000000000000000000000000000000000000000000000000001020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"2001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf69","0x0000000000000000000000000000000000000000000000000000000000004f13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"77105923909373959425562887928517507185392427799492993989450657868948428139507"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000066","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"2798779063020927462328143306135124575"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf6","0x00000000000000000000000000000000000000000000000000000000000003e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"75231911505822944539990560264901331070122335464324859400219726121862756277031"],"tag":"AbiUInt"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000057","0x0000000000000000000000000000000000000000000000000000000000000067"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002711","0x000000000000000000000000000000000000000000000000000000000000008a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"63076798125366624430402600009676419168795170157406687844396156888874736224990"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c8","0x00000000000000000000000000000000000000000000000000000000000012a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\191x#\\DLE\\182C\\236\\STX\\199\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165|\\197/\\149X\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"fQ\\139\\r\\229\\STX~=\\205\\178b\\185\\197~P+\\191\\183\\STX\\194SN\\DEL\\215\\DLE\\237\\r,\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1;\\211\\ENQ\\181\\190\\243\\237\\SIC\\179AY1\\186\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\195\\234n\\244A3\\SOH\\253DOs\\ACK\\199\\189\\151\\195)=#\\a\\165\\157\\180M\\141\\184\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\128O\\219p\\227H\\ETB<\\DC4\\161\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\204@\\r\\182Zo\\250\\142O\\162\\230\\197\\189g\\US\\128\\230`\\151_\\ETXY\\249G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129a\\239\\f#\\178NB\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223o\\179y\\245\\165?\\164+\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXi\\136e8pY<\\173\\v\\230\\EOT\\151\\ETX\\198\\195DN\\158\\&3\\224P\\226*\\158\\b\\238\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\244\\236\\207\\254\\176/5\\184_\\US\\ETXF\\ESCf&\\142\\206\\248\\200t\\r\\245q\\182mg\\f00\\153\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"}\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152l\\132gwR*\\191\\DC3G\\177\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\244u\\ACK{>\\201\\SIQ\\153\\&0\\220[\\195\\&6\\t\\144\\&1\\v\\195n\\214\\186\\DC2u\\219\\215\\&8\\147N\\242R\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\ETX0W\\DC3@\\159\\203\\227\\230\\147\\171>1s\\164\\f\\131\\176<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"5\\DEL\\RS\\207p\\204\\\"\\173m\\DLE\\SIS\\187\\213\\US\\179\\SOH\\128\\187\\173\\DC2\\250(\\189M\\239\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\244\\DC4\\242\\150@\\138>\\208Tt5\\253\\RS\\255n\\ESCw\\136\\253\\183\\255m%\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\177\\185b\\147\\175\\194\\217\\GS\\136\\138\\153^D\\249\\a\\aC\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\129n\\SO\\a\\177,\\165\\145&YZ#\\187\\153\\223b\\215\\161\\169c\\135W4\\CAN\\231,\\164\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\232\\214\\245\\191\\205_\\197~\\167wS\\129x\\DC3?\\229\\DC1W\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"a\\157\\GS{\\185\\&0p\\n\\252\\248Ju\\161\\163\\198\\178\\\"\\200\\&3&\\132\\r*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\196,I\\EM\\169\\\"P\\153w2\\233qr\\198\\&1e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205^}(o\\140A\\231g\\167\\228C\\DELd\\142w\\198\\131\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"tP\\USi39\\236\\SYN\\219\\144\\171W\\225^\\156*l\\165\\bn\\157\\246\\226\\\"\\185\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227V\\226\\&1C\\211\\176\\186\\206\\183Vi\\180`)^P\\DLElZ\\181\\175\\160PX\\159\\212\\143&\\230b_\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205z\\152\\DC1\\210\\FS\\160\\&6\\DLE\\211^\\SUB\\184\\162S\\SUB\\a\\216\\165\\224^\\176\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169;&\\237Un\\164\\158\\158\\139\\&2\\EOTY'\\206\\245|OI\\205\\141\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128I\\SUB{$\\FS=T\\167)\\180\\147Y\\153\\237m\\189N\\227z\\220\\231r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248om\\DC1\\209p\\210u\\SOH.'`\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138#\\128\\\"\\208[U\\223\\RS\\197n\\200\\255\\174j\\171\\249\\171*1\\206\\144(+\\ETB\\DC1r\\ACK\\141R&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141R\\211T\\167\\226\\248\\219\\199\\142\\185-g\\223 \\197\\FS\\134\\147&\\153 \\SO\\216\\145\\162}\\220\\236\\NAK\\215N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\246jq\\230\\251#\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\234\\187\\202lA\\ACK\\189\\&2~\\131\\139v\\ACK\\141,1fKV\\184\\EOT1[\\201\\245\\DC4=RX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197|C\\220\\&9\\t\\222\\ACK}\\216\\233%xy\\136)\\STX\\DC2\\188\\241\\&94,I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\US9\\142r`+\\142\\227W\\251\\243oB1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\205\\NULNHx\\173\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\244z\\\"\\161HP\\167'\\DEL\\DLE#~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\130\\183K\\173\\228\\DC1@\\DEL\\DC1l\\208\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\223\\144\\182!\\188\\251q\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141x\\157\\rj\\DC3\\233\\\"\\175\\183\\253\\235Y&\\163\\217?\\195\\250\\202\\199\\228\\DLE@\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"Ke\\223\\189\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\175l\\ETX\\185%&\\n\\FS+\\198\\f\\155 \\247B\\v\\216\\135\\198\\NAKW\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\".\\220\\&61\\t\\252\\NAK\\146f\\179\\132\\188p\\169I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198!\\241\\169\\185\\v\\US\\162\\139p\\128\\255\\252\\206\\195\\197\\252\\217\\192R\"","tag":"AbiBytesDynamic"},{"contents":"\"OY\\238\\231\\213\\221\\&9\\215\\230\\194\\&7\\\"L\\189\\173\\204\\156\\156\\SUB\\EOT'%\\170 R\\239(\\214\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\242\\212\\245oN\\211=\\220\\188\\205\\162;@_\\\"\\209\\128\\240j\\EOT\\208\\&19\\CAN\\128\\202\\SYNX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\206C\\186C\\209'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185IZ\\220fK\\214j\\221M\\184\\235\\n\\139\\200f~\\ETX\\140@\\ACK\\247\\SI\\ETX\\172t\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\246\\217\\GS\\241V\\CANq\\185\\249\\220\\t\\229\\233\\226\\178\\251\\200\\202\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\ENQ\\194\\215\\152Q\\NAK\\173\\EOT\\198\\174\\131pK\\SUB\\229\\223\\&2\\DEL\\180\\&1gA\\247Sm\\210\\165{\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\145\\158E\\135\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\225ST\\148\\229\\206=\\EM\\186e~\\169\\177\\179\\157%\\144\\239\\214\\v\\241\\RS\\199Y\\252~t\\221\\225\\193H\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"fW\\201JeHv\\152\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\164F\\230 \\210\\ACKjM\\180N\\157O[\\136\\245\\157\\234Z\\160\\199\\SOH|w\\205\\236\\SO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXTQ\\138\\195\\200\\252\\RS\\192_e\\150r\\220\\GS\\165\\238\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\NULg\\136U\\134\\132\\216IjR\\174ad\\185\\133\\248\\SOH\\198\\CAN'\\153a\\f5\\DC1\\ESC\\138\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB!\\188\\135\\DC2\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238&\\254\\195Dc\\254\\142'\\196\\&7\\253\\220\\186;\\143\\221\\199\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\190\\231\\217'\\b\\227P\\210c\\135\\220\\CAN\\250\\a\\137\\138r\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\193\\ETB+7^\\230\\141\\128\\DLE\\190\\224\\208\\214\\137\\131\\212\\145\\184\\184\\146`^R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142*\\252x\\213`)\\181|\\168hS\\151\\186\\&0G\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\164\\&1~\\170|XN\\193xt\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"+\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160p\\218T\\171<\"","tag":"AbiBytesDynamic"},{"contents":"\"32\\204\\206\\128\\130\\197\\b\\146\\197:6J\\DC2\\223\\CAN\\189\\143\\221b\\200DyI\\132\\247\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\224a\\192?\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\143 +\\224\\176\\&6\\140\\230tP\\208\\233\\\\7iZ\\DLEs?\\250\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\RS\\174-}',\\223\\133\\DEL*\\t\\248>\\166\\146\\218\\141[\\186.\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\CANd2\\SOHN\\228\\b:j\\r\\233y\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225k\\f\\156m\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\186J\\209\\ETXv\\219$\\145:\\DC3\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155@\\167O\\137'\\EOTA\\219ECk\\195\\240\\140\\135\\220\\184\\151_\\173\\253\\137\\249\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"fM\\GSb1A\\198L\\175\\157\\\"\\ESC\\ESC~\\DC2\\183\\129\\242\\173\\187\\171\\DC1R\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\148\\153\\206\\144\\207p,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\224G(\\204\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTH\\152h\\201\\208U\\154u\\162\\234\\b3g'\\177\\205\\205AM\\144V\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\134\\198I\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\232\\188;\\\"\\STX\\STX\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182)\\152\\242!eo\\231\\129\\241\\202\\225\\171\\DELU2\\148\\\\\\164\\229/\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"?;\\184\\NAK\\169\\168\\&4\\ETB\\EM\\148\\DC1\\134\\129\\233\\214\\f3\\129\\186\\232\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\140\\212\\216\\132\\&2\\214}\\RS\\145g\\247\\175\\158\\ENQH6I?^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\232Uo\\190\\ETB\\145\\154\\254\\SUB\\168\\129]\\195\\155O\\194:9\\244+V\\245=r\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\233L\\134\\EM%\\134g\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\241\\213b/\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\EOT\\ETB\\NAKN\\134\\248\\&7\\165P[^Y\\160Ic\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\195\\192\\156\\v\\253N\\128$\\140+\\221\\238\\\\\\221G\\DC2X\\238s\\230\\140\\135\\187\\DC191\\243\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNz\\251\\145\\&0\\CANa\\235\\143,-\\179Uk\\226\\199;\\\"7\\191\\243\\180\\188M\\204\\DLEA\\142\\168SH\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"59\\144\\231g\\184\\180\\EOT\\140\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\163\\187\\v\\v\\192\\235\\144\\190o\\208f#\\DC1\\SUB\\178\\235\\130n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248<\"","tag":"AbiBytesDynamic"},{"contents":"\"mN \\140\\140\\177\\174\\227\\DLE\\202\\238+\\USp\\194\\232\\183x\\180\\DLE\\195V\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227\\225\\DC1\\EM~\\174\\139\\255/\\153<\\223\\176\\165\\155~h\\135\\SO\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\132\\193Wx\\194\\DC4/i\\195\\205\\211\\181o\\DEL\\ETX\\176\\244\\184(\\ETXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\196\\SUB\\221\\167\\DC1\\149\\234\\SO'\\144\\179 Q\\218Ro\\242DL\\207\\160\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Or\\254\\169\\226\\GS\\148\\243^\\131\\SO\\202\\151\\NUL\\146I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199?D;\\139\\223\\186\\&7\\184\\181\\199YKE\\198W\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\192\\&7\\129)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\">\\138t\\238\\164\\133\\212\\181\\251\\a\\ETX\\240\\&7\\164Z=\\248H\\128T_\\227L\\a3f\"","tag":"AbiBytesDynamic"},{"contents":"\">:a\\\"\\168gWJ\"","tag":"AbiBytesDynamic"},{"contents":"\"'+Wh@\\218\\177\\139\\237\\FSf$\\222\\149\\130\\DC1\\NUL*:\"","tag":"AbiBytesDynamic"},{"contents":"\"rN\\221Y\\210\\158\\247\\&7\\RS7\\146\\203\\165_Z\\244yG\\151D\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\161^\\226\\184+8{\\USL\\143\\180;,B\\247#\\193\\SOH\\EM\\234\\132Sq\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221q]<{s_\\164\\140\\195A\\DLE\\223\\US2\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\149c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240.\\t\\191\\208\\143\\tgF\\232\\159\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANR\\ENQ\\252\\206\\217\\ACK\\139)\\139\\195\\217\\134!m0\\\\]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243>\\135_\\209f\\241T|\\rx\\156\\134\\208Y\\203l\\183\\165\\SOH\\RSO\\143\\240^\\254\\178\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\rHu\\169\\\"C\\n\\214\\244/)PD\\160\\190G\\SYN\\ACKa\\140\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224'\\166\\GS\\DC2\\v\\t\\ESC\\255\\178\\163\\229\\&7^\\241\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249g;\\201Txe\\227`\\197\\236\\DC1\\247\\170\\DEL\\229\\221\\227\\ETB\\166k\\NUL\\DLE\\188\\204\\146X\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\212s\\244\\170\\r\\f\\157MF\\150Z\\166f\\CAN\\241\\163\\181\\145}B\\149\\GS:\\202\\140\\228\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178O\\SO\\183}p*\\188\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"hL\\223\\176D-Fq\\229\\252\\174\\&5\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165h\\191\\&3\\196\\153\\a\\221\\188\\189\\220\\154\\&4\\139=ef\\221\\163\\209\\233\\219\\CAN\\217\\181B4i$[\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\182\\DLE\\152\\128\\&9\\\"\\166d\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\US\\232Y|\\163\\228\\143\\NAK\\143C\\186q\\r\\179o\\144m\\174\\179%$\"","tag":"AbiBytesDynamic"},{"contents":"\"?p\\190\\NAKsR\\131G\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\\"\\154\\209\\SO8\\NUL\\213F\\199\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\US$B\\244Y\\235O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\\"\\245=\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\147\\136\\246&\\EOTZ\\EMa\\166\\136\\243pYs\\205\\239\\185\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239,\\176,\\240\\145\\227\\210G}(,\\a\\254\\197\\129\\164~W\\aM\\251\\222\\198\\248\\253\\134\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\240\\141\\FS\\EM\\196K\\250\\at\\146`\\174(\\151\\v\\SYN\\151N\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\190\\148\\ETX\\243\\243\\193p\\133\\&12Y&\\241A\\130P\\EOTO\\246\\244\\155\\180\\151\\247\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\231\\222\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\239\\SO9kSix\\247\\224o\\143|x8\\222U\\ETB>\\DC3\\196C7\\CAN\\181\\249+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\196\\166j4\\201\\149\\US\\244\\a7|\\151(=\\209hR\\a\\246\\244\\213\\129\\CANT\\228\\175\\ESC#\\188\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143=\\b\\220\\192t\\178&CNE\\ETB\\227^\\143\\241;\\\\\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\RS\\242;.\\255\\178\\SUB\\136\\236\\&3\\\"<9=\\ACK@l\\159\\174g\\244\\231\\f\\145\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\SYN\\170\\228\\150\\DLE\\193\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241?\\166X\\151\\172\\SYN\\240\\&4+\\247\\186s\\152xj\\186\\186\\204i\\239q\\191\\188\\nO\\189\\159\\159\\219V\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"-=\\183\\&7\\242\\197_jr\\234\\DLE\\\\\\207\\142\\NUL(\\224\\187U\\253\\246\\200<'CBG_wf\\ACKO\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\196\\ETX%\\132$Ez\\189\\STX\\215\\209S\\202\\r\\152\\204\\131=\\139JY\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\186\\183\\ETBC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\NUL]\\176\\238\\163\\212\\134h\\225\\200,v\\156W\\DC1\\137\\151\\251\\146\\147R\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\":\\221\\153\\177\\139\\&6H\\180\\176P_2\\EMb\\175M\\DELv\\202\\GS\\224\\252\\246\\131\\158\\216\\254\\ETX\\234\\205\\136\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190Z\\DLE\\174\\154\\194\\166\\ETBs\\214\\224\\139]\\173\\226;.IiFD\\143\\244\\231\\FSH\\ACK\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\217\\182\\245\\165\\t\\210\\140\\159\\189\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\248\\192\\DLE\\197\\209yW\\219\\193\\132Q\\215\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\237>\\238{\\219\\145\\&5\\165\\249\\t\\146\\173\\185\\&7w@\\151\\RS\\DC3&\\129\\252\\155Q\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXE\\253\\250\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\173\\174n\\r\\246\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\v\\ESCb\\ESC\\NUL\\234\\170t\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\US\\133\\219\\\\\\175\\159\\210q\\177\\NUL\\187<\\218\\187zd\\173\\134\\177\\224\\&6\\175\\140\\n\\139\\207\\152&-\\161\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\206\\141\\197m\\188\\SO\\157\\203\\211\\&1Y\\STXs5\\205a\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\193;>X\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\" \\141\\ACKkN\\188V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\nM\\169P`<\\139Y\\237\\219e0\\140\\&4\\131\\&7\\253\\233\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"<}\\187\\181\\246X\\144f\\219C\\132iD\\236\\181\\130\\223Y\\214\\134\\161\\141\\149\\203h\\165!$\\194\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140g@\\131+l\\n<\\197M\\175\\166\\&4\\158\\ETBz]\\156\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"E\\185\\SO\\156\\134\\STX\\DC4\\129\\223\\193{U\\232k\\189\\196r\\228\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\174\\168`\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235O\\145~\\193\\130H5\\171\\&3k\\CANKk.L!\\137\\DC1h%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\131\\152}\\156\\148\\b(\\199\\236\\ESC\\230*\\193\\148/\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\228\\156\\140\\&1C\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219O\\220\\178p\\186~\\171On\\ENQ\\182;wUKf\\248jV\\162R\\209\\218\\188|\\203\\210\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\171|4W\\138\\197\\\"\\NUL\\202\\204U\\ETB\\170J\\t\\173~\\235\\223\\137\\FS\\154:d\\141\\189\\191D\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\216p\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\224\\f\\f,\\191\\133\\171\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\169\\135\\255\\tP\\232e\\172\\RSa\\ETXLyT\\246'g/\\213sX\\251\\218\\221\\196;\\188L\\142@\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199o\\199\\153SH\\181?\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\FSu\\236\\USnF\\225\\169\\182\\187\\207\\SUB\\223\\152H\\201\\213\\NUL\\217\\RS\\152\\205\\&1\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148Hv|h\\SOH\\DC2\\135\\252\\v[\\170\\157V\\130\\254\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\164\\158*'HX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DEL\\163\\154\\&30\\254\\188\\175\\154\\195p]#\\157\\255\\182\\SI\\202U]\\162\\&5\\130\\131\\236H\\161\\240\\&2[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\223\\215\\167\\CAN~&l:R1\\188\\FS,ve\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\241{o\\SOHBW\\240E=\\DC3\\199F6\\194y\\DC4\\rw\\191d\\RS(\\134\\182\\&1&1\\212\\160\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253j\\DC1&\\220W\\215X\\135\\236\\149z\\248\\204\\152u\\238]a\\187V\\143/\\173\\USS5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\&3\\140\\180\\204\\197q\\DC4\\254\\160\\187Rn\\225+\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\206\\135*\\157U\\ENQ\\SYN\\150\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\CAN\\245k\\DC4O\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\202\\197%\\246\\225\\146\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\CAN\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\250!\\141\\165\\255\\233\\205\\160\\163\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"f\\DC4\\159rB\\230K\\232\\190\\159\\174\\&3c\\140\\198{>\\141\\239\\ENQ\\v>\\183\\147\\DC1\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\187\\146\\NUL\\STX\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\206mH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\SO\\197]\\241\\165\\SOH}\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\DC1\\183\\CAN8\\175\\237\\ETX\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\213v\\193(\\153s\\f\\200\\FSR,\\251j\\183\\243\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\211\\186a\\140\\133z95x?\\241s-0\\147ab^\\166\\n$\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\NULRa\\147G\\231c)\\DLE\\132g\\240[\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\r\\EOTmb\\255\\166qT\\181\\136n\\RSH\\156d\\232\\175M\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"309485009821345068724781058"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639924"],"tag":"AbiUInt"},{"contents":[256,"75624461771022530071828781209828731338840088378132922848673118115029511365806"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"34"],"tag":"AbiUInt"},{"contents":[256,"115284773817775331682627791364927253761402597129851805048317772801911936947565"],"tag":"AbiUInt"},{"contents":[256,"41790897588154942139927652201521523311"],"tag":"AbiUInt"},{"contents":[256,"908"],"tag":"AbiUInt"},{"contents":[256,"93277501848098959737888692789990358588420027787399150797573480554583743543137"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"1527265847"],"tag":"AbiUInt"},{"contents":[256,"44953896251567349764564530255926750369130405431765919702864655237181885212218"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731851"],"tag":"AbiUInt"},{"contents":[256,"95921447971426757908748936783291986807296559430353618300567671746795586057727"],"tag":"AbiUInt"},{"contents":[256,"103127232991600901914952907922968349231954181709575797378874440044760187107350"],"tag":"AbiUInt"},{"contents":[256,"70"],"tag":"AbiUInt"},{"contents":[256,"138"],"tag":"AbiUInt"},{"contents":[256,"779"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"33927983956420364191023312547852221026346622102937981417470521929060739510087"],"tag":"AbiUInt"},{"contents":[256,"1528503823"],"tag":"AbiUInt"},{"contents":[256,"102"],"tag":"AbiUInt"},{"contents":[256,"7493011146450013594766440031824996253057234004379140752774416055327517894244"],"tag":"AbiUInt"},{"contents":[256,"412678978292636138272562850244113929495219531443915141717753294643158765327"],"tag":"AbiUInt"},{"contents":[256,"75380707888940431101462341348259076879660561915337111721472874313014864015875"],"tag":"AbiUInt"},{"contents":[256,"2"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639869"],"tag":"AbiUInt"},{"contents":[256,"330"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639856"],"tag":"AbiUInt"},{"contents":[256,"113007721762119636620174340458352654557174647907003292090625656223225254882438"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637935"],"tag":"AbiUInt"},{"contents":[256,"115442784347353922732012935162420986508041738862509734365170168044823935294031"],"tag":"AbiUInt"},{"contents":[256,"2561798207717083862209336967570916135359792251755806367679570614481532852128"],"tag":"AbiUInt"},{"contents":[256,"107843695124318621912024457925328595164936309863233215286646987513714447980875"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639433"],"tag":"AbiUInt"},{"contents":[256,"90153144099018814803560310994240953595942855905063085602576476640840365014133"],"tag":"AbiUInt"},{"contents":[256,"36392531001360141970658010270765952185535504251518809805085030362124212609226"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731853"],"tag":"AbiUInt"},{"contents":[256,"111135452030321496820397080599649669386565677438885048206254048620169341750028"],"tag":"AbiUInt"},{"contents":[256,"3999"],"tag":"AbiUInt"},{"contents":[256,"14580323444374446687644665234077265013498778125778579421534526510803075446843"],"tag":"AbiUInt"},{"contents":[256,"100838319969797335524494574486417788620404360726742999756267197663830179367743"],"tag":"AbiUInt"},{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"349"],"tag":"AbiUInt"},{"contents":[256,"113"],"tag":"AbiUInt"},{"contents":[256,"63087180788071761996577986324896817051839049617046463864531541130531536872501"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634938"],"tag":"AbiUInt"},{"contents":[256,"11145756133143910899388933626140740600061368691469156171643560902432820919402"],"tag":"AbiUInt"},{"contents":[256,"79045244378491463575290058687854666583635220615431229046985204197934102381454"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"113462750850567886791376709097976280621034810053190168107678877544200370814756"],"tag":"AbiUInt"},{"contents":[256,"728"],"tag":"AbiUInt"},{"contents":[256,"44684091982340059180278566749185510272685076546350994180605964497893451326122"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"38203148874258756190409630079361920407781234177381047682012970164095560814254"],"tag":"AbiUInt"},{"contents":[256,"41655387101680693857502769734341522490238756284779843857359766637465511967438"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639866"],"tag":"AbiUInt"},{"contents":[256,"32225748142045273666027033926317465728907704787273108812711829727923834134867"],"tag":"AbiUInt"},{"contents":[256,"105024993419111220401135881450940798892523089684099295281048914035724781417838"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553539"],"tag":"AbiUInt"},{"contents":[256,"10004"],"tag":"AbiUInt"},{"contents":[256,"38179287804120402639619360274664293402099844487896919879866860898777329451741"],"tag":"AbiUInt"},{"contents":[256,"1533407697"],"tag":"AbiUInt"},{"contents":[256,"70716320263127240910805605354259086754091554929441231497153991560430672007790"],"tag":"AbiUInt"},{"contents":[256,"497"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"61490001231971099328322777563923917790530354489628389647070273789320011443128"],"tag":"AbiUInt"},{"contents":[256,"65"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747166"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"59064594743725474027760315452960054368933694623957645948737528693541546629634"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"62"],"tag":"AbiUInt"},{"contents":[256,"1001"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035138"],"tag":"AbiUInt"},{"contents":[256,"105899183930801174873937227935401665559680122345084232226482786571599791132355"],"tag":"AbiUInt"},{"contents":[256,"14731919451073258331625759869011471203530364024307408049351633087551655628757"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000001"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628419"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639878"],"tag":"AbiUInt"},{"contents":[256,"106160649449137513543205565013741742778946549014394660365114310386327945732011"],"tag":"AbiUInt"},{"contents":[256,"10421189221579608391329589662652998304412789453267744318511267051476761955918"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ffff","0x0000000000000000000000000000000000000000000000000000000000008ffb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"hook.execution.state\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077258","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"181"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x000000000000000000000000000000000000000000000000000000000000a292"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x0000000000000000000000000000000000000000000000000000000000008ffb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639879"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5f","0x000000000000000000000000000000000000000000000000000000000000ea96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e1b3","0x0000000000000000000000000000000000000000000000000000000000000102"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000000000000000000000000000000000131b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"93808689153654627315801665419322876897386821599081982460596904525596806038069"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c8","0x0000000000000000000000000000000000000000000000000000000000000bd1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"920"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e956","0x0000000000000000000000000000000000000000000000000000000000000027"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000386","0x0000000000000000000000000000000000000000000000000000000000003c08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9d","0x0000000000000000000000000000000000000000000000000000000000009abf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"97264472255801507295368599961314526898617028305450524784003192122942744380084"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000725af","0x000000000000000000000000000000000000000000000000000000000000005e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a723","0x0000000000000000000000000000000000000000000000000000000000001315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"97948407686740043664068031701557311396225382752746978162017842910925451692794"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x00000000000000000000000000000000000000000000000000000000000012ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae0","0x00000000000000000000000000000000000000000000000000000000000095ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"281127852391359353311401566"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000054","0x000000000000000000000000000000000000000000000000000000000000133e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"71684342294123873994601161935002265443791027142722874781525991750134706595454"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d3","0x0000000000000000000000000000000000000000000000000000000000001397"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"46"],"tag":"AbiUInt"},{"contents":[8,"120"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae0","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eade","0x0000000000000000000000000000000000000000000000000000000000000519"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"72"],"tag":"AbiUInt"},{"contents":[8,"4"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d828","0x0000000000000000000000000000000000000000000000000000000000003c07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"},{"contents":[256,"4023684824636463891127028512896883617052862081188366664738677654533532450937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e9b4","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001a","0x0000000000000000000000000000000000000000000000000000000000000bce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"81227165162122501419705433942785497382036323755164719907917454479683322112694"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007cf","0x000000000000000000000000000000000000000000000000000000000000b446"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[256,"101"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ac2","0x0000000000000000000000000000000000000000000000000000000000000024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"13"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae2","0x00000000000000000000000000000000000000000000000000000000000021a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"38"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e0","0x000000000000000000000000000000000000000000000000000000000000003a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"61992689994132812023394206472139583835765519705735148152411689979654610009322"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000256bb","0x0000000000000000000000000000000000000000000000000000000000008ec8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb17","0x0000000000000000000000000000000000000000000000000000000000000fb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b011","0x0000000000000000000000000000000000000000000000000000000000003f81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c433","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf0","0x000000000000000000000000000000000000000000000000000000000000daea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":[256,"28941672514555399178263584968931732472618608786819675054528335993309653409596"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe7","0x0000000000000000000000000000000000000000000000000000000000009dd7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"94430444127907147968991920653955290376477475790937512846187566620702431750081"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000103ef","0x0000000000000000000000000000000000000000000000000000000000001328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639680"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x00000000000000000000000000000000000000000000000000000000000095bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115533643635599580332392426420457822446679943539525732332371444881981680653056"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"10384463003783623433905358721723900301857368491121749341267554322661773679054"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b3","0x0000000000000000000000000000000000000000000000000000000000000041"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"74971998505180281693254630654934115779467377668701136850492196373527020463591"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4a","0x0000000000000000000000000000000000000000000000000000000000003032"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"24746669133211148920928940734155684994610189711349125362633618037578588600700"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaff","0x000000000000000000000000000000000000000000000000000000000000a9ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":[8,"201"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae6","0x0000000000000000000000000000000000000000000000000000000000000380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":[256,"497"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077258","0x0000000000000000000000000000000000000000000000000000000000007118"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892765"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092c88","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf4","0x000000000000000000000000000000000000000000000000000000000000000d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000041","0x0000000000000000000000000000000000000000000000000000000000000024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"104"],"tag":"AbiUInt"},{"contents":[8,"245"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000386","0x0000000000000000000000000000000000000000000000000000000000000052"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\SYN\\188K\\170Z\\177(\\CAN\\220\\SI\\\"\\171\\187\\177\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSb\\252D\\251\\135\\STX\\188\\165Z0\\193\\228\\186\\245J!\\215ly\\r\\214\\225\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"uo[\\DC2\\136s\\189\\209\\149\\&2\\fZ\\227\\164`\\196yH\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEL\\248WH\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\",\\173\\218\\135\\SOH\\144\\&6\\175\\GS\\143a\\137\\253#.\\254\\199\\242\\210\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\142\\202\\133\\136\\134\\227\\150\\129\\192r\\ETX\\EM\\159\\255X\\135\\184\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\243\\181\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\198\\248\\158\\225S-\\222\\&1t\\a\\233\\134l!aC\\SUB\\149\\250\\132\\153\\172\\RSM\\209\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\221y<$\\167\\DC4\\211\\239\\207\\196\\SYN\\168\\237\\189[Qaw\\183\\173\\241i\\244\\244qz3\\188\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\201\\224\\241\\DC4<\\237\\DC1\\246\\179e\\214\\156\\195^\\205\\a\\141\\t\\190\\129\\130-\\140(\\133\\255 \"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1613777390939415323050618634368017272541094246349079466892971224952617068400"],"tag":"AbiUInt"},{"contents":[256,"301"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"2000000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"64751755161585093170582400547377164564833632102517631958147930194277733545264"],"tag":"AbiUInt"},{"contents":[256,"97612833707469233052316185645516907539593566671304759474558686767143282013826"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639637"],"tag":"AbiUInt"},{"contents":[256,"102426282671051990151289499379985947841201758659407188536251252360482406125693"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"},{"contents":[256,"10645983776086135787506129293005874895689921159569235684347158676991207506333"],"tag":"AbiUInt"},{"contents":[256,"100000002"],"tag":"AbiUInt"},{"contents":[256,"89748375163689396624805793988492141366350472556964854145099255683362062361663"],"tag":"AbiUInt"},{"contents":[256,"87218978587260444974389595154129081819700134685954882666169991402317694995884"],"tag":"AbiUInt"},{"contents":[256,"121"],"tag":"AbiUInt"},{"contents":[256,"1082928478951169746426074628488887868403913856862519906227482881174866948549"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"101689482906409439430807441108832447285908108738743821569233958911133635622617"],"tag":"AbiUInt"},{"contents":[256,"24073144756904421367191642849508054275969691932770413599294751700531936201704"],"tag":"AbiUInt"},{"contents":[256,"27927610588625849595957006281443506169269831163699589729772803939559641987435"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639831"],"tag":"AbiUInt"},{"contents":[256,"113200603707141421207680350828864836300284975636305979972201906936320820934586"],"tag":"AbiUInt"},{"contents":[256,"75836611070341677421701336264119039359654736775843868561030496797992291156042"],"tag":"AbiUInt"},{"contents":[256,"47122611970636207948650265262227263182539937316544647379244314983362702911389"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"contents":32,"tag":"AbiBytesType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"SUPER_ASSET_FACTORY\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"w\\vi\\164\\STX\\DLE:\\140\\156\\207\\199`\\DC4\\193\\fo\\132\\225=\\139\\248\\187\\&7\\217\\156oC\\219\\161W\\239\\&4\""],"tag":"AbiBytes"},{"contents":[32,"\"MockERC5115Tester\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"contents":32,"tag":"AbiBytesType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\DC3\\133\\178\\247\\130`\\220\\209DN\\159\\RS\\\\\\SOH\\249m\\238\\246\\173\\137\\165\\130qj\\DC4Z\\162\\SOH\\ACK\\173\\ETX\\193\""],"tag":"AbiBytes"},{"contents":[32,"\"toUint256_outOfBounds\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\NAKTAxk]\\248\\214\\NUL\\172~\\217\\239\\143\\GS\\SI\\225\\140\\164c\\153\\DC1~\\226\\fk\\233\\166$\\f8\\202\""],"tag":"AbiBytes"},{"contents":[32,"\"!!! canary assertion\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"zEMH\\235\\240\\EOT\\202\\206\\NULy\\141\\\"\\169 \\SOHC\\ACKAss\\250=\\STX\\NUL5\\245\\158=\\185\\238\\215\""],"tag":"AbiBytes"},{"contents":[32,"\"M7540\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"TREASURY\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Q\\158\\156\\226\\188F.\\201{M\\160\\133\\195%O\\b\\234\\&1\\NAK\\188\\233\\220o\\250\\136T~i\\DLE\\177\\157\\203\""],"tag":"AbiBytes"},{"contents":[32,"\"BANK_MANAGER_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\136*\\169\\252\\193\\DLE\\DC3bK\\t\\227]k\\238\\vT$\\234\\225\\&0\\230C\\130\\252\\134R291)c2\""],"tag":"AbiBytes"},{"contents":[32,"\"u\\172H\\153\\165\\226\\239\\214\\162P4\\242\\202.\\182\\ENQ\\139\\&0\\229\\253\\150\\161\\152\\233\\159\\205\\198\\RS\\231\\147\\141\\207\""],"tag":"AbiBytes"},{"contents":[32,"\"EIP712: Uninitialized\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f2","0x0000000000000000000000000000000000000000000000000000000000000fbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"26928277784862931465384756103326878282520217079830466088396072875008141835751"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb26","0x0000000000000000000000000000000000000000000000000000000000000079"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"503"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000007","0x00000000000000000000000000000000000000000000000000000000000073f0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe8","0x000000000000000000000000000000000000000000000000000000000000376f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"61371306940903785005059332371248354457819268136336449345796490533126943097622"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c7","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"231"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"238"],"tag":"AbiUInt"},{"contents":[8,"83"],"tag":"AbiUInt"},{"contents":[8,"35"],"tag":"AbiUInt"},{"contents":[8,"135"],"tag":"AbiUInt"},{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"88"],"tag":"AbiUInt"},{"contents":[8,"17"],"tag":"AbiUInt"},{"contents":[8,"105"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"14"],"tag":"AbiUInt"},{"contents":[8,"79"],"tag":"AbiUInt"},{"contents":[8,"145"],"tag":"AbiUInt"},{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[8,"215"],"tag":"AbiUInt"},{"contents":[8,"39"],"tag":"AbiUInt"},{"contents":[8,"182"],"tag":"AbiUInt"},{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[8,"199"],"tag":"AbiUInt"},{"contents":[8,"27"],"tag":"AbiUInt"},{"contents":[8,"82"],"tag":"AbiUInt"},{"contents":[8,"216"],"tag":"AbiUInt"},{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[8,"230"],"tag":"AbiUInt"},{"contents":[8,"55"],"tag":"AbiUInt"},{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"43"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"62"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x000000000000000000000000000000000000000000000000000000000000b0cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553539"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4a","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"302"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000218ce","0x0000000000000000000000000000000000000000000000000000000000006f6f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fc81","0x0000000000000000000000000000000000000000000000000000000000001338"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x000000000000000000000000000000000000000000000000000000000000000b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"28226468916752156984819822031530293321985394691572216464515094988640092978384"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59a","0x0000000000000000000000000000000000000000000000000000000000000102"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba5","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"30991020133341627408492200920291210"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ac2","0x0000000000000000000000000000000000000000000000000000000000002697"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021648","0x00000000000000000000000000000000000000000000000000000000000012b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe5","0x00000000000000000000000000000000000000000000000000000000000007d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"64323578642446308024014825293938773949991709019785420346278268248111743154804"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x000000000000000000000000000000000000000000000000000000000000ebcc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c821","0x000000000000000000000000000000000000000000000000000000000000001c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"267304484985307102323917504788539140327"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb15","0x000000000000000000000000000000000000000000000000000000000000614d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077258","0x00000000000000000000000000000000000000000000000000000000000079b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf8","0x0000000000000000000000000000000000000000000000000000000000001325"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a493","0x0000000000000000000000000000000000000000000000000000000000006625"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f7","0x0000000000000000000000000000000000000000000000000000000000004141"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270f","0x000000000000000000000000000000000000000000000000000000000000ca07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639850"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec6","0x0000000000000000000000000000000000000000000000000000000000008ffb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[8,"105"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b6a9","0x000000000000000000000000000000000000000000000000000000000000136e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3c","0x0000000000000000000000000000000000000000000000000000000000001320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"94689979172450824778647488732572861973834118044843409730301445043704585911446"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x000000000000000000000000000000000000000000000000000000000000e343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"192"],"tag":"AbiUInt"},{"contents":[256,"51818531875974559647478573795465749587430573140873877357324124638615391027122"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81e","0x0000000000000000000000000000000000000000000000000000000000009e98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000065","0x00000000000000000000000000000000000000000000000000000000000013ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e954","0x0000000000000000000000000000000000000000000000000000000000000793"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba4","0x000000000000000000000000000000000000000000000000000000000000a297"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x0000000000000000000000000000000000000000000000000000000000006a02"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"28797751313500188502108470014728032579369873984060988753508490296956800510379"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002db45","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]