@uniswap/universal-router/out/MaxInputAmount.t.sol/MaxInputAmountTest.json

Smart contracts for Universal Router

{"abi":[{"type":"function","name":"IS_TEST","inputs":[],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"function","name":"excludeArtifacts","inputs":[],"outputs":[{"name":"excludedArtifacts_","type":"string[]","internalType":"string[]"}],"stateMutability":"view"},{"type":"function","name":"excludeContracts","inputs":[],"outputs":[{"name":"excludedContracts_","type":"address[]","internalType":"address[]"}],"stateMutability":"view"},{"type":"function","name":"excludeSenders","inputs":[],"outputs":[{"name":"excludedSenders_","type":"address[]","internalType":"address[]"}],"stateMutability":"view"},{"type":"function","name":"failed","inputs":[],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"nonpayable"},{"type":"function","name":"targetArtifactSelectors","inputs":[],"outputs":[{"name":"targetedArtifactSelectors_","type":"tuple[]","internalType":"struct StdInvariant.FuzzSelector[]","components":[{"name":"addr","type":"address","internalType":"address"},{"name":"selectors","type":"bytes4[]","internalType":"bytes4[]"}]}],"stateMutability":"view"},{"type":"function","name":"targetArtifacts","inputs":[],"outputs":[{"name":"targetedArtifacts_","type":"string[]","internalType":"string[]"}],"stateMutability":"view"},{"type":"function","name":"targetContracts","inputs":[],"outputs":[{"name":"targetedContracts_","type":"address[]","internalType":"address[]"}],"stateMutability":"view"},{"type":"function","name":"targetSelectors","inputs":[],"outputs":[{"name":"targetedSelectors_","type":"tuple[]","internalType":"struct StdInvariant.FuzzSelector[]","components":[{"name":"addr","type":"address","internalType":"address"},{"name":"selectors","type":"bytes4[]","internalType":"bytes4[]"}]}],"stateMutability":"view"},{"type":"function","name":"targetSenders","inputs":[],"outputs":[{"name":"targetedSenders_","type":"address[]","internalType":"address[]"}],"stateMutability":"view"},{"type":"function","name":"test_fuzz_maxAmtIn_set_get","inputs":[{"name":"value1","type":"uint256","internalType":"uint256"},{"name":"value2","type":"uint256","internalType":"uint256"},{"name":"value3","type":"uint256","internalType":"uint256"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_maxAmtInSlot","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"event","name":"log","inputs":[{"name":"","type":"string","indexed":false,"internalType":"string"}],"anonymous":false},{"type":"event","name":"log_address","inputs":[{"name":"","type":"address","indexed":false,"internalType":"address"}],"anonymous":false},{"type":"event","name":"log_array","inputs":[{"name":"val","type":"uint256[]","indexed":false,"internalType":"uint256[]"}],"anonymous":false},{"type":"event","name":"log_array","inputs":[{"name":"val","type":"int256[]","indexed":false,"internalType":"int256[]"}],"anonymous":false},{"type":"event","name":"log_array","inputs":[{"name":"val","type":"address[]","indexed":false,"internalType":"address[]"}],"anonymous":false},{"type":"event","name":"log_bytes","inputs":[{"name":"","type":"bytes","indexed":false,"internalType":"bytes"}],"anonymous":false},{"type":"event","name":"log_bytes32","inputs":[{"name":"","type":"bytes32","indexed":false,"internalType":"bytes32"}],"anonymous":false},{"type":"event","name":"log_int","inputs":[{"name":"","type":"int256","indexed":false,"internalType":"int256"}],"anonymous":false},{"type":"event","name":"log_named_address","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"address","indexed":false,"internalType":"address"}],"anonymous":false},{"type":"event","name":"log_named_array","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"uint256[]","indexed":false,"internalType":"uint256[]"}],"anonymous":false},{"type":"event","name":"log_named_array","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"int256[]","indexed":false,"internalType":"int256[]"}],"anonymous":false},{"type":"event","name":"log_named_array","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"address[]","indexed":false,"internalType":"address[]"}],"anonymous":false},{"type":"event","name":"log_named_bytes","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"bytes","indexed":false,"internalType":"bytes"}],"anonymous":false},{"type":"event","name":"log_named_bytes32","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"bytes32","indexed":false,"internalType":"bytes32"}],"anonymous":false},{"type":"event","name":"log_named_decimal_int","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"int256","indexed":false,"internalType":"int256"},{"name":"decimals","type":"uint256","indexed":false,"internalType":"uint256"}],"anonymous":false},{"type":"event","name":"log_named_decimal_uint","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"uint256","indexed":false,"internalType":"uint256"},{"name":"decimals","type":"uint256","indexed":false,"internalType":"uint256"}],"anonymous":false},{"type":"event","name":"log_named_int","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"int256","indexed":false,"internalType":"int256"}],"anonymous":false},{"type":"event","name":"log_named_string","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"string","indexed":false,"internalType":"string"}],"anonymous":false},{"type":"event","name":"log_named_uint","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"uint256","indexed":false,"internalType":"uint256"}],"anonymous":false},{"type":"event","name":"log_string","inputs":[{"name":"","type":"string","indexed":false,"internalType":"string"}],"anonymous":false},{"type":"event","name":"log_uint","inputs":[{"name":"","type":"uint256","indexed":false,"internalType":"uint256"}],"anonymous":false},{"type":"event","name":"logs","inputs":[{"name":"","type":"bytes","indexed":false,"internalType":"bytes"}],"anonymous":false}],"bytecode":{"object":"0x60808060405234602d57600160ff195f5416175f55600160ff19600454161760045561154190816100328239f35b5f80fdfe6080806040526004361015610012575f80fd5b5f3560e01c9081631ed7831c14610c78575080633e5e3c2314610bd05780633f7286f414610b28578063424816de14610a2857806366d9a9a01461086457806385226c8114610700578063916a17c61461039e578063b5508aa91461020d578063ba414fa6146101cb578063c37538621461019b578063e20c9f71146100e35763fa7626d4146100a0575f80fd5b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57602060ff5f54166040519015158152f35b5f80fd5b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57604051806020600c54918281520190600c5f527fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7905f5b81811061016f5761016b8561015f81870382610f5c565b60405191829182610d1c565b0390f35b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610148565b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57005b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df576020610203611012565b6040519015158152f35b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df5760105461024781610f9d565b6102546040519182610f5c565b818152602081019160105f527f1b6847dc741a1b0cd08d278845f9d819d87b734759afb55fe2de5cb82a9ae672925f905b82821061029a576040518061016b8682610e61565b6040515f86548060011c90600181168015610394575b6020831081146103675782855290811561032657506001146102ef575b50600192826102e185946020940382610f5c565b815201950191019093610285565b5f888152602081209092505b818310610310575050810160200160016102cd565b60018160209254838688010152019201916102fb565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660208581019190915291151560051b84019091019150600190506102cd565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b91607f16916102b0565b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df576013546103d881610f9d565b6103e56040519182610f5c565b818152602081019160135f527f66de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a090925f905b82821061042b576040518061016b8682610d6b565b60405161043781610f13565b73ffffffffffffffffffffffffffffffffffffffff8654168152600186016040519081602082549182815201915f5260205f20905f915b81600784011061067957846001979460029794602097946104d1945491818110610645575b818110610611575b8181106105dd575b8181106105a9575b818110610575575b818110610541575b81811061050f575b106104e3575b500382610f5c565b83820152815201950191019093610416565b7fffffffff0000000000000000000000000000000000000000000000000000000016815286018d6104c9565b828a1b7fffffffff00000000000000000000000000000000000000000000000000000000168452928901928b016104c3565b92898c917fffffffff000000000000000000000000000000000000000000000000000000008560401b1681520193016104bb565b92898c917fffffffff000000000000000000000000000000000000000000000000000000008560601b1681520193016104b3565b92898c917fffffffff000000000000000000000000000000000000000000000000000000008560801b1681520193016104ab565b92898c917fffffffff000000000000000000000000000000000000000000000000000000008560a01b1681520193016104a3565b92898c917fffffffff000000000000000000000000000000000000000000000000000000008560c01b16815201930161049b565b92898c917fffffffff000000000000000000000000000000000000000000000000000000008560e01b168152019301610493565b9260016101006008927fffffffff000000000000000000000000000000000000000000000000000000008754818160e01b168352818160c01b166020840152818160a01b166040840152818160801b166060840152818160601b166080840152818160401b1660a0840152818160201b1660c08401521660e082015201940192019161046e565b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df5760115461073a81610f9d565b6107476040519182610f5c565b818152602081019160115f527f31ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c68925f905b82821061078d576040518061016b8682610e61565b6040515f86548060011c9060018116801561085a575b6020831081146103675782855290811561081957506001146107e2575b50600192826107d485946020940382610f5c565b815201950191019093610778565b5f888152602081209092505b818310610803575050810160200160016107c0565b60018160209254838688010152019201916107ee565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660208581019190915291151560051b84019091019150600190506107c0565b91607f16916107a3565b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df5760125461089e81610f9d565b6108ab6040519182610f5c565b818152602081019160125f527fbb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444925f905b8282106108f1576040518061016b8682610d6b565b6040516108fd81610f13565b73ffffffffffffffffffffffffffffffffffffffff8654168152600186016040519081602082549182815201915f5260205f20905f915b8160078401106109a1578460019794600297946020979461098f94549181811061064557818110610611578181106105dd578181106105a957818110610575578181106105415781811061050f57106104e357500382610f5c565b838201528152019501910190936108dc565b9260016101006008927fffffffff000000000000000000000000000000000000000000000000000000008754818160e01b168352818160c01b166020840152818160a01b166040840152818160801b166060840152818160601b166080840152818160401b1660a0840152818160201b1660c08401521660e0820152019401920191610934565b346100df5760607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57610ad9604435610a8f60243581600435817faf28d9864a81dfdf71cab65f4e5d79a0cf9b083905fb8971425e6cb581b3f6925c611150565b807faf28d9864a81dfdf71cab65f4e5d79a0cf9b083905fb8971425e6cb581b3f6925d7faf28d9864a81dfdf71cab65f4e5d79a0cf9b083905fb8971425e6cb581b3f6925c611296565b5f7faf28d9864a81dfdf71cab65f4e5d79a0cf9b083905fb8971425e6cb581b3f6925d610b267faf28d9864a81dfdf71cab65f4e5d79a0cf9b083905fb8971425e6cb581b3f6925c611150565b005b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57604051806020600e54918281520190600e5f527fbb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c3fd905f5b818110610ba45761016b8561015f81870382610f5c565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610b8d565b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57604051806020600f54918281520190600f5f527f8d1108e10bcb7c27dddfc02ed9d693a074039d026cf4ea4240b40f7d581ac802905f5b818110610c4c5761016b8561015f81870382610f5c565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610c35565b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57600d548082526020820190600d5f527fd7b6990105719101dabeb77144f2a3385c8033acd3af97e9423a695e81ad1eb5905f5b818110610cf05761016b8561015f81870382610f5c565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610cd9565b60206040818301928281528451809452019201905f5b818110610d3f5750505090565b825173ffffffffffffffffffffffffffffffffffffffff16845260209384019390920191600101610d32565b602081016020825282518091526040820190602060408260051b8501019401915f905b828210610d9d57505050505090565b9091929395947fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc087820301825284516020606081604085019373ffffffffffffffffffffffffffffffffffffffff81511686520151936040838201528451809452019201905f905b808210610e275750505060208060019296019201920190929195939495610d8e565b9091926020806001927fffffffff000000000000000000000000000000000000000000000000000000008751168152019401920190610e05565b602081016020825282518091526040820191602060408360051b8301019401925f915b838310610e9357505050505090565b909192939460208080837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc086600196030187527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f838c518051918291828752018686015e5f8582860101520116010197019301930191939290610e84565b6040810190811067ffffffffffffffff821117610f2f57604052565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff821117610f2f57604052565b67ffffffffffffffff8111610f2f5760051b60200190565b3d1561100d573d9067ffffffffffffffff8211610f2f576040519161100260207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8401160184610f5c565b82523d5f602084013e565b606090565b5f5460081c60ff161561102a5760ff5f5460081c1690565b5f737109709ecfa91a80626ff3989d68f67f5b1dd12d3b6110485790565b505f8060405160206111106004828401737109709ecfa91a80626ff3989d68f67f5b1dd12d81527f6661696c656400000000000000000000000000000000000000000000000000006040860152604085526110a4606086610f5c565b604051938491818301967f667f9d70000000000000000000000000000000000000000000000000000000008852518091602485015e8201018281018781525003017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282610f5c565b519082737109709ecfa91a80626ff3989d68f67f5b1dd12d5af150611133610fb5565b6020818051810103126100df576020015180151581036100df5790565b806111585750565b7fb2de2fbe801a0df6c0cbddfd448ba3c41d48a040ca35c56c8196ef0fcae721a8907f41304facd9323d75b11bcdd609cb38effffdb05710f7caf0e9b16c6d9d709f50608060405160208152602260208201527f4572726f723a2061203d3d2062206e6f7420736174697366696564205b75696e60408201527f745d0000000000000000000000000000000000000000000000000000000000006060820152a181604051604081528061123960408201604090600a81527f202045787065637465640000000000000000000000000000000000000000000060208201520190565b5f60208301520390a160405180916040825261128360408301604090600a81527f2020202041637475616c0000000000000000000000000000000000000000000060208201520190565b9060208301520390a16112946113cd565b565b8181036112a1575050565b7fb2de2fbe801a0df6c0cbddfd448ba3c41d48a040ca35c56c8196ef0fcae721a880927f41304facd9323d75b11bcdd609cb38effffdb05710f7caf0e9b16c6d9d709f50608060405160208152602260208201527f4572726f723a2061203d3d2062206e6f7420736174697366696564205b75696e60408201527f745d0000000000000000000000000000000000000000000000000000000000006060820152a160405180916040825261138360408301604090600a81527f202045787065637465640000000000000000000000000000000000000000000060208201520190565b9060208301520390a160405180916040825261128360408301604090600a81527f2020202041637475616c0000000000000000000000000000000000000000000060208201520190565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b611414575b6101007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff5f5416175f55565b5f8060405160206114e26004828401737109709ecfa91a80626ff3989d68f67f5b1dd12d81527f6661696c6564000000000000000000000000000000000000000000000000000060408601526001606086015260608552611476608086610f5c565b604051938491818301967f70ca10bb000000000000000000000000000000000000000000000000000000008852518091602485015e8201018281018781525003017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282610f5c565b519082737109709ecfa91a80626ff3989d68f67f5b1dd12d5af150611505610fb5565b506113e856fea26469706673582212203cd163fa4debe06b1e60c2add151a887f86518c09431a33bc6dbdbab8e72f51164736f6c634300081a0033","sourceMap":"172:710:143:-:0;;;;;;;1594:4:48;172:710:143;;1594:4:48;172:710:143;;;1594:4:48;172:710:143;1594:4:48;172:710:143;;3201:4:29;172:710:143;;;3201:4:29;172:710:143;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x6080806040526004361015610012575f80fd5b5f3560e01c9081631ed7831c14610c78575080633e5e3c2314610bd05780633f7286f414610b28578063424816de14610a2857806366d9a9a01461086457806385226c8114610700578063916a17c61461039e578063b5508aa91461020d578063ba414fa6146101cb578063c37538621461019b578063e20c9f71146100e35763fa7626d4146100a0575f80fd5b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57602060ff5f54166040519015158152f35b5f80fd5b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57604051806020600c54918281520190600c5f527fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7905f5b81811061016f5761016b8561015f81870382610f5c565b60405191829182610d1c565b0390f35b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610148565b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57005b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df576020610203611012565b6040519015158152f35b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df5760105461024781610f9d565b6102546040519182610f5c565b818152602081019160105f527f1b6847dc741a1b0cd08d278845f9d819d87b734759afb55fe2de5cb82a9ae672925f905b82821061029a576040518061016b8682610e61565b6040515f86548060011c90600181168015610394575b6020831081146103675782855290811561032657506001146102ef575b50600192826102e185946020940382610f5c565b815201950191019093610285565b5f888152602081209092505b818310610310575050810160200160016102cd565b60018160209254838688010152019201916102fb565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660208581019190915291151560051b84019091019150600190506102cd565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b91607f16916102b0565b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df576013546103d881610f9d565b6103e56040519182610f5c565b818152602081019160135f527f66de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a090925f905b82821061042b576040518061016b8682610d6b565b60405161043781610f13565b73ffffffffffffffffffffffffffffffffffffffff8654168152600186016040519081602082549182815201915f5260205f20905f915b81600784011061067957846001979460029794602097946104d1945491818110610645575b818110610611575b8181106105dd575b8181106105a9575b818110610575575b818110610541575b81811061050f575b106104e3575b500382610f5c565b83820152815201950191019093610416565b7fffffffff0000000000000000000000000000000000000000000000000000000016815286018d6104c9565b828a1b7fffffffff00000000000000000000000000000000000000000000000000000000168452928901928b016104c3565b92898c917fffffffff000000000000000000000000000000000000000000000000000000008560401b1681520193016104bb565b92898c917fffffffff000000000000000000000000000000000000000000000000000000008560601b1681520193016104b3565b92898c917fffffffff000000000000000000000000000000000000000000000000000000008560801b1681520193016104ab565b92898c917fffffffff000000000000000000000000000000000000000000000000000000008560a01b1681520193016104a3565b92898c917fffffffff000000000000000000000000000000000000000000000000000000008560c01b16815201930161049b565b92898c917fffffffff000000000000000000000000000000000000000000000000000000008560e01b168152019301610493565b9260016101006008927fffffffff000000000000000000000000000000000000000000000000000000008754818160e01b168352818160c01b166020840152818160a01b166040840152818160801b166060840152818160601b166080840152818160401b1660a0840152818160201b1660c08401521660e082015201940192019161046e565b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df5760115461073a81610f9d565b6107476040519182610f5c565b818152602081019160115f527f31ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c68925f905b82821061078d576040518061016b8682610e61565b6040515f86548060011c9060018116801561085a575b6020831081146103675782855290811561081957506001146107e2575b50600192826107d485946020940382610f5c565b815201950191019093610778565b5f888152602081209092505b818310610803575050810160200160016107c0565b60018160209254838688010152019201916107ee565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660208581019190915291151560051b84019091019150600190506107c0565b91607f16916107a3565b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df5760125461089e81610f9d565b6108ab6040519182610f5c565b818152602081019160125f527fbb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444925f905b8282106108f1576040518061016b8682610d6b565b6040516108fd81610f13565b73ffffffffffffffffffffffffffffffffffffffff8654168152600186016040519081602082549182815201915f5260205f20905f915b8160078401106109a1578460019794600297946020979461098f94549181811061064557818110610611578181106105dd578181106105a957818110610575578181106105415781811061050f57106104e357500382610f5c565b838201528152019501910190936108dc565b9260016101006008927fffffffff000000000000000000000000000000000000000000000000000000008754818160e01b168352818160c01b166020840152818160a01b166040840152818160801b166060840152818160601b166080840152818160401b1660a0840152818160201b1660c08401521660e0820152019401920191610934565b346100df5760607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57610ad9604435610a8f60243581600435817faf28d9864a81dfdf71cab65f4e5d79a0cf9b083905fb8971425e6cb581b3f6925c611150565b807faf28d9864a81dfdf71cab65f4e5d79a0cf9b083905fb8971425e6cb581b3f6925d7faf28d9864a81dfdf71cab65f4e5d79a0cf9b083905fb8971425e6cb581b3f6925c611296565b5f7faf28d9864a81dfdf71cab65f4e5d79a0cf9b083905fb8971425e6cb581b3f6925d610b267faf28d9864a81dfdf71cab65f4e5d79a0cf9b083905fb8971425e6cb581b3f6925c611150565b005b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57604051806020600e54918281520190600e5f527fbb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c3fd905f5b818110610ba45761016b8561015f81870382610f5c565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610b8d565b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57604051806020600f54918281520190600f5f527f8d1108e10bcb7c27dddfc02ed9d693a074039d026cf4ea4240b40f7d581ac802905f5b818110610c4c5761016b8561015f81870382610f5c565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610c35565b346100df575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100df57600d548082526020820190600d5f527fd7b6990105719101dabeb77144f2a3385c8033acd3af97e9423a695e81ad1eb5905f5b818110610cf05761016b8561015f81870382610f5c565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610cd9565b60206040818301928281528451809452019201905f5b818110610d3f5750505090565b825173ffffffffffffffffffffffffffffffffffffffff16845260209384019390920191600101610d32565b602081016020825282518091526040820190602060408260051b8501019401915f905b828210610d9d57505050505090565b9091929395947fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc087820301825284516020606081604085019373ffffffffffffffffffffffffffffffffffffffff81511686520151936040838201528451809452019201905f905b808210610e275750505060208060019296019201920190929195939495610d8e565b9091926020806001927fffffffff000000000000000000000000000000000000000000000000000000008751168152019401920190610e05565b602081016020825282518091526040820191602060408360051b8301019401925f915b838310610e9357505050505090565b909192939460208080837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc086600196030187527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f838c518051918291828752018686015e5f8582860101520116010197019301930191939290610e84565b6040810190811067ffffffffffffffff821117610f2f57604052565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff821117610f2f57604052565b67ffffffffffffffff8111610f2f5760051b60200190565b3d1561100d573d9067ffffffffffffffff8211610f2f576040519161100260207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8401160184610f5c565b82523d5f602084013e565b606090565b5f5460081c60ff161561102a5760ff5f5460081c1690565b5f737109709ecfa91a80626ff3989d68f67f5b1dd12d3b6110485790565b505f8060405160206111106004828401737109709ecfa91a80626ff3989d68f67f5b1dd12d81527f6661696c656400000000000000000000000000000000000000000000000000006040860152604085526110a4606086610f5c565b604051938491818301967f667f9d70000000000000000000000000000000000000000000000000000000008852518091602485015e8201018281018781525003017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282610f5c565b519082737109709ecfa91a80626ff3989d68f67f5b1dd12d5af150611133610fb5565b6020818051810103126100df576020015180151581036100df5790565b806111585750565b7fb2de2fbe801a0df6c0cbddfd448ba3c41d48a040ca35c56c8196ef0fcae721a8907f41304facd9323d75b11bcdd609cb38effffdb05710f7caf0e9b16c6d9d709f50608060405160208152602260208201527f4572726f723a2061203d3d2062206e6f7420736174697366696564205b75696e60408201527f745d0000000000000000000000000000000000000000000000000000000000006060820152a181604051604081528061123960408201604090600a81527f202045787065637465640000000000000000000000000000000000000000000060208201520190565b5f60208301520390a160405180916040825261128360408301604090600a81527f2020202041637475616c0000000000000000000000000000000000000000000060208201520190565b9060208301520390a16112946113cd565b565b8181036112a1575050565b7fb2de2fbe801a0df6c0cbddfd448ba3c41d48a040ca35c56c8196ef0fcae721a880927f41304facd9323d75b11bcdd609cb38effffdb05710f7caf0e9b16c6d9d709f50608060405160208152602260208201527f4572726f723a2061203d3d2062206e6f7420736174697366696564205b75696e60408201527f745d0000000000000000000000000000000000000000000000000000000000006060820152a160405180916040825261138360408301604090600a81527f202045787065637465640000000000000000000000000000000000000000000060208201520190565b9060208301520390a160405180916040825261128360408301604090600a81527f2020202041637475616c0000000000000000000000000000000000000000000060208201520190565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b611414575b6101007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff5f5416175f55565b5f8060405160206114e26004828401737109709ecfa91a80626ff3989d68f67f5b1dd12d81527f6661696c6564000000000000000000000000000000000000000000000000000060408601526001606086015260608552611476608086610f5c565b604051938491818301967f70ca10bb000000000000000000000000000000000000000000000000000000008852518091602485015e8201018281018781525003017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282610f5c565b519082737109709ecfa91a80626ff3989d68f67f5b1dd12d5af150611505610fb5565b506113e856fea26469706673582212203cd163fa4debe06b1e60c2add151a887f86518c09431a33bc6dbdbab8e72f51164736f6c634300081a0033","sourceMap":"172:710:143:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2130:18:32;172:710:143;;;;;;;2130:18:32;172:710:143;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;1982:18:32;172:710:143;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1982:18:32;172:710:143;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;172:710:143;;;;;;-1:-1:-1;;172:710:143;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;172:710:143;;-1:-1:-1;172:710:143;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2899:18:32;172:710:143;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2899:18:32;172:710:143;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2416:18:32;172:710:143;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2416:18:32;172:710:143;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;172:710:143;;;;;;-1:-1:-1;;172:710:143;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;172:710:143;;-1:-1:-1;172:710:143;;;;;;;;;;;;;;;;;;;;2592:26:32;172:710:143;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2592:26:32;172:710:143;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;596:6;172:710;;511:6;172:710;;511:6;172:710;;511:6;695:89:8;;315:33:143;:::i;:::-;526:88:8;695:89;526:88;695:89;;426:6:143;:::i;596:::-;172:710;695:89:8;526:88;645:33:143;695:89:8;;645:33:143;:::i;:::-;172:710;;;;;;;;;;;;;;;;2747:18:32;172:710:143;;;;;;;2747:18:32;172:710:143;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3040:16:32;172:710:143;;;;;;;3040:16:32;172:710:143;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2272:16:32;172:710:143;;;;;;;;2272:16:32;172:710:143;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;-1:-1:-1;172:710:143;;;;;-1:-1:-1;172:710:143;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;:::o;1671:64:48:-;;;;;;;;;;;;172:710:143;;;;1671:64:48;172:710:143;;;;;1671:64:48;172:710:143;;:::i;:::-;1671:64:48;;;-1:-1:-1;1671:64:48;;;;:::o;:::-;172:710:143;1671:64:48;:::o;1819:584::-;172:710:143;;;;;;;;;;;;;;;1896:14:48;:::o;1869:528::-;172:710:143;2939:104:48;;1980:374;;2367:19;:::o;1980:374::-;172:710:143;;;;;2196:43:48;2086:175;1671:64;2196:43;;;2939:104;172:710:143;;1671:64:48;172:710:143;1671:64:48;;;172:710:143;2196:43:48;;;172:710:143;2196:43:48;;:::i;:::-;172:710:143;;2086:175:48;;;;;;;172:710:143;;;;1671:64:48;;;;;172:710:143;;;;;;;;;;2086:175:48;;;2196:43;2086:175;;;;;;:::i;:::-;2047:232;;;2939:104;2047:232;;;;;:::i;:::-;2196:43;172:710:143;;;2312:27:48;;1671:64;;;;2196:43;2312:27;1671:64;172:710:143;;;1671:64:48;;;;2367:19;:::o;5202:262::-;5259:6;5255:203;;5202:262;:::o;5255:203::-;5346:31;172:710:143;5286:41:48;;172:710:143;;;;;;;;;;;;;;;;;;;;5286:41:48;172:710:143;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1671:64:48;5346:31;;;172:710:143;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1671:64:48;5396:31;;;;;:::i;:::-;5202:262::o;:::-;5259:6;;;5255:203;;5202:262;;:::o;5255:203::-;5346:31;172:710:143;;5286:41:48;;172:710:143;;;;;;;;;;;;;;;;;;;;5286:41:48;172:710:143;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1671:64:48;5346:31;;;172:710:143;;;;;;;;;;;;;;;;;;;;;;;;2410:424:48;2939:104;;2445:359;;2410:424;172:710:143;;-1:-1:-1;172:710:143;;;-1:-1:-1;172:710:143;2410:424:48:o;2445:359::-;-1:-1:-1;172:710:143;;;2645:67:48;2534:196;1671:64;2645:67;;;2939:104;172:710:143;;1671:64:48;172:710:143;;;1671:64:48;2705:4;172:710:143;;;1671:64:48;172:710:143;2645:67:48;;;;;;:::i;:::-;172:710:143;;2534:196:48;;;;;;;172:710:143;;;;1671:64:48;;;;;172:710:143;;;;;;;;;;2534:196:48;;;2645:67;2534:196;;;;;;:::i;:::-;2499:245;;;2939:104;2499:245;;;;;:::i;:::-;;2445:359;","linkReferences":{}},"methodIdentifiers":{"IS_TEST()":"fa7626d4","excludeArtifacts()":"b5508aa9","excludeContracts()":"e20c9f71","excludeSenders()":"1ed7831c","failed()":"ba414fa6","targetArtifactSelectors()":"66d9a9a0","targetArtifacts()":"85226c81","targetContracts()":"3f7286f4","targetSelectors()":"916a17c6","targetSenders()":"3e5e3c23","test_fuzz_maxAmtIn_set_get(uint256,uint256,uint256)":"424816de","test_maxAmtInSlot()":"c3753862"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.26+commit.8a97fa7a\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"name\":\"log\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"name\":\"log_address\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"uint256[]\",\"name\":\"val\",\"type\":\"uint256[]\"}],\"name\":\"log_array\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"int256[]\",\"name\":\"val\",\"type\":\"int256[]\"}],\"name\":\"log_array\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"address[]\",\"name\":\"val\",\"type\":\"address[]\"}],\"name\":\"log_array\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"bytes\",\"name\":\"\",\"type\":\"bytes\"}],\"name\":\"log_bytes\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"bytes32\",\"name\":\"\",\"type\":\"bytes32\"}],\"name\":\"log_bytes32\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"int256\",\"name\":\"\",\"type\":\"int256\"}],\"name\":\"log_int\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"key\",\"type\":\"string\"},{\"indexed\":false,\"internalType\":\"address\",\"name\":\"val\",\"type\":\"address\"}],\"name\":\"log_named_address\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"key\",\"type\":\"string\"},{\"indexed\":false,\"internalType\":\"uint256[]\",\"name\":\"val\",\"type\":\"uint256[]\"}],\"name\":\"log_named_array\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"key\",\"type\":\"string\"},{\"indexed\":false,\"internalType\":\"int256[]\",\"name\":\"val\",\"type\":\"int256[]\"}],\"name\":\"log_named_array\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"key\",\"type\":\"string\"},{\"indexed\":false,\"internalType\":\"address[]\",\"name\":\"val\",\"type\":\"address[]\"}],\"name\":\"log_named_array\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"key\",\"type\":\"string\"},{\"indexed\":false,\"internalType\":\"bytes\",\"name\":\"val\",\"type\":\"bytes\"}],\"name\":\"log_named_bytes\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"key\",\"type\":\"string\"},{\"indexed\":false,\"internalType\":\"bytes32\",\"name\":\"val\",\"type\":\"bytes32\"}],\"name\":\"log_named_bytes32\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"key\",\"type\":\"string\"},{\"indexed\":false,\"internalType\":\"int256\",\"name\":\"val\",\"type\":\"int256\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"decimals\",\"type\":\"uint256\"}],\"name\":\"log_named_decimal_int\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"key\",\"type\":\"string\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"val\",\"type\":\"uint256\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"decimals\",\"type\":\"uint256\"}],\"name\":\"log_named_decimal_uint\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"key\",\"type\":\"string\"},{\"indexed\":false,\"internalType\":\"int256\",\"name\":\"val\",\"type\":\"int256\"}],\"name\":\"log_named_int\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"key\",\"type\":\"string\"},{\"indexed\":false,\"internalType\":\"string\",\"name\":\"val\",\"type\":\"string\"}],\"name\":\"log_named_string\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"key\",\"type\":\"string\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"val\",\"type\":\"uint256\"}],\"name\":\"log_named_uint\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"name\":\"log_string\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"name\":\"log_uint\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"bytes\",\"name\":\"\",\"type\":\"bytes\"}],\"name\":\"logs\",\"type\":\"event\"},{\"inputs\":[],\"name\":\"IS_TEST\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"excludeArtifacts\",\"outputs\":[{\"internalType\":\"string[]\",\"name\":\"excludedArtifacts_\",\"type\":\"string[]\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"excludeContracts\",\"outputs\":[{\"internalType\":\"address[]\",\"name\":\"excludedContracts_\",\"type\":\"address[]\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"excludeSenders\",\"outputs\":[{\"internalType\":\"address[]\",\"name\":\"excludedSenders_\",\"type\":\"address[]\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"failed\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"targetArtifactSelectors\",\"outputs\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"},{\"internalType\":\"bytes4[]\",\"name\":\"selectors\",\"type\":\"bytes4[]\"}],\"internalType\":\"struct StdInvariant.FuzzSelector[]\",\"name\":\"targetedArtifactSelectors_\",\"type\":\"tuple[]\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"targetArtifacts\",\"outputs\":[{\"internalType\":\"string[]\",\"name\":\"targetedArtifacts_\",\"type\":\"string[]\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"targetContracts\",\"outputs\":[{\"internalType\":\"address[]\",\"name\":\"targetedContracts_\",\"type\":\"address[]\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"targetSelectors\",\"outputs\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"},{\"internalType\":\"bytes4[]\",\"name\":\"selectors\",\"type\":\"bytes4[]\"}],\"internalType\":\"struct StdInvariant.FuzzSelector[]\",\"name\":\"targetedSelectors_\",\"type\":\"tuple[]\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"targetSenders\",\"outputs\":[{\"internalType\":\"address[]\",\"name\":\"targetedSenders_\",\"type\":\"address[]\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"value1\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"value2\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"value3\",\"type\":\"uint256\"}],\"name\":\"test_fuzz_maxAmtIn_set_get\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"test_maxAmtInSlot\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"test/foundry-tests/MaxInputAmount.t.sol\":\"MaxInputAmountTest\"},\"evmVersion\":\"cancun\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":44444444},\"remappings\":[\":@ensdomains/=lib/v4-periphery/lib/v4-core/node_modules/@ensdomains/\",\":@openzeppelin/=lib/v4-periphery/lib/v4-core/lib/openzeppelin-contracts/\",\":@openzeppelin/contracts/=lib/v4-periphery/lib/v4-core/lib/openzeppelin-contracts/contracts/\",\":@uniswap/v2-core/=node_modules/@uniswap/v2-core/\",\":@uniswap/v3-core/=node_modules/@uniswap/v3-core/\",\":@uniswap/v3-periphery/=lib/v3-periphery/\",\":@uniswap/v4-core/=lib/v4-periphery/lib/v4-core/\",\":@uniswap/v4-periphery/=lib/v4-periphery/\",\":ds-test/=lib/solmate/lib/ds-test/src/\",\":erc4626-tests/=lib/v4-periphery/lib/v4-core/lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-gas-snapshot/=lib/permit2/lib/forge-gas-snapshot/src/\",\":forge-std/=lib/forge-std/src/\",\":hardhat/=lib/v4-periphery/lib/v4-core/node_modules/hardhat/\",\":openzeppelin-contracts/=lib/permit2/lib/openzeppelin-contracts/\",\":permit2/=lib/permit2/\",\":solmate/=lib/solmate/\",\":v3-periphery/=lib/v3-periphery/contracts/\",\":v4-core/=lib/v4-periphery/lib/v4-core/src/\",\":v4-periphery/=lib/v4-periphery/\"],\"viaIR\":true},\"sources\":{\"contracts/libraries/MaxInputAmount.sol\":{\"keccak256\":\"0x2dd6efbcaf9991c852e29a726f9876a0a6d08f2271912e69efa5c6a5e8034739\",\"license\":\"GPL-3.0-or-later\",\"urls\":[\"bzz-raw://949ebd746eee3589d1e466c738884bd3532043d9e8a7b77c1521a098ba3c69b6\",\"dweb:/ipfs/QmZC9idgGQDfLksqfz41FrcsVXhqkfRZCZH9MJXQkQavt6\"]},\"lib/forge-std/src/Base.sol\":{\"keccak256\":\"0x609e3a00319169988cc8272e837f350a9ba77cf8f8f62e4897a8e4a8a5f0fb27\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://b24435e35ba5b080ebd6e8976c23fb735c7212d042be8462ffd2ea50c5250363\",\"dweb:/ipfs/QmPeVvN7FS4oMmCuYAeRdZihTfrG4tA7Vvunuvv59a6wre\"]},\"lib/forge-std/src/StdAssertions.sol\":{\"keccak256\":\"0x1a0dee4d8b2c81e9318e87dd85ef009467ebf7dba6575530d1fce94d34dbae60\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://ddd790c86ddde1013d1f7a552a80168eacf2e9244077f96799180644ad523a5b\",\"dweb:/ipfs/QmYinBFt9uEVFXP9ytT9CDoNpzWieQVgLWRFRNiypMzJaL\"]},\"lib/forge-std/src/StdChains.sol\":{\"keccak256\":\"0x9100bd38453711d5f5ae32d16b4aacef8d4e26abb3061fcc9920cd30cdb49315\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://114654e304083d3403510edd13d7df2223747337150ecf51dd36b441e50498f7\",\"dweb:/ipfs/QmQy6uvcVHyHzU2RbuvEo1hKiV7k81z21gR6DSj4DkCP8D\"]},\"lib/forge-std/src/StdCheats.sol\":{\"keccak256\":\"0x0e6f32877ab26a83c9334eb5a000bf326bd2a0b04fea8647e045cea9c445f534\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://8965978bfa66ddab8db95449a96ee47d44c62ebcb4271ab293e847f359a2ba7d\",\"dweb:/ipfs/QmazxpekoHnno4ySoNUct7NcKx6UJR7UvcMtJ9JYsBDEUh\"]},\"lib/forge-std/src/StdError.sol\":{\"keccak256\":\"0xbf477b11a42d7611696956546bcfaa29317d1166bf65e402344599c05943fc77\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://bc2e117d1135e030862b96a6526a43feb38d396cc79857f1fb696d4eff0e5fd6\",\"dweb:/ipfs/QmdSuQ5RrQudTLsNmWXGEeVJX8gR5U9XPm6m4dwwuQnJrj\"]},\"lib/forge-std/src/StdInvariant.sol\":{\"keccak256\":\"0xd855e1fea6247f1bef118e2bee9f0039832988b7173fd17766bba4014ae26a3c\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://c58c0f0b66852dfd3c76fb7958d8b023489d7a874c7cb1ad4f2021f9ec8ab477\",\"dweb:/ipfs/Qmd3MX9HAkNUhPddL29ekwhqgRnjAobZ35UzchaJZNACCN\"]},\"lib/forge-std/src/StdJson.sol\":{\"keccak256\":\"0x9e2a7521190c462a0667706385f1c52a816220a9813ca8ac520fba7ba45d660b\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://7d23017fe6570b28130a731b86179352b93a5fb5af32f11559837afc1186293c\",\"dweb:/ipfs/QmR3p6zG5Kmcr8gKocFCSopLHfXv1AziPJbH17nKyMxwxV\"]},\"lib/forge-std/src/StdMath.sol\":{\"keccak256\":\"0xd90ad4fd8aeaeb8929964e686e769fdedd5eded3fc3815df194a0ab9f91a3fb2\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://7919b70f636c7b805223992f28ad1ad0145d6c1385b5931a3589aface5fe6c92\",\"dweb:/ipfs/QmY7FRaULwoGgFteF8GawjQJRfasNgpWnU2aiMsFrYpuTC\"]},\"lib/forge-std/src/StdStorage.sol\":{\"keccak256\":\"0xd1517df281f973dba8b7ba52c02d3df552b60d91b8f47e4669049da648778673\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://52e43264f58a5dcfd985f3c99aa81064805aa8f1c2b4c6521fd63d45cdbba8d5\",\"dweb:/ipfs/QmUMTF6cRjt5tCQrrgQDXVRmHQLjevNsTvLFdaA1m9TBj9\"]},\"lib/forge-std/src/StdStyle.sol\":{\"keccak256\":\"0x2882555b0f58e48144e46e9aa5118a506b31ad7485327d54e8f681e8b414c337\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://2850bcb1322de9d9dd87ded42debbe0e8fc4048173788d4c00c98b50e5f76985\",\"dweb:/ipfs/QmUiPKnj7GZLLQbJGY7bVDu79Q9jGEYNjR5ZBgwFy8mH97\"]},\"lib/forge-std/src/StdUtils.sol\":{\"keccak256\":\"0xce33e7c67d273bd32e324c347a5fc7b8815fb7d4880a1bc6569409b2e91f0017\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://91a2c8facd01ee5242135a4f1b368f99fc087574c2b8ebb3e2bdec9af8be0e07\",\"dweb:/ipfs/QmStG1wYSPXMEirv9nsA9p4EjzGRtoH999czMxGMj8KHhM\"]},\"lib/forge-std/src/Test.sol\":{\"keccak256\":\"0xddf16afce2bb7bbb69ed868d4c7ee8b4ea4ffbf8929427fe799682f107534945\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://52f6ebde2a4cb9d08aea5fb3d62b2f15961bb9a29d6d9e30dd0859d0d631cabf\",\"dweb:/ipfs/QmeJ9Dp1GYUggzjGiwTZkxCfB15NfyfgcyrNZL5tyWZbVZ\"]},\"lib/forge-std/src/Vm.sol\":{\"keccak256\":\"0x06f0761a502a8dc74c06029c603831780ff32f1e85dad2ae0f810b7545fba09b\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://70e940ed53ef0270d1d6f3215fcccf92dd675f8ec4a59e1fbd0535e0d52fb46c\",\"dweb:/ipfs/QmPTkXXzGKFyWBmbQPrL6Yg4ECWmu3LndSH9ex2E3czZuF\"]},\"lib/forge-std/src/console.sol\":{\"keccak256\":\"0x91d5413c2434ca58fd278b6e1e79fd98d10c83931cc2596a6038eee4daeb34ba\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://91ccea707361e48b9b7a161fe81f496b9932bc471e9c4e4e1e9c283f2453cc70\",\"dweb:/ipfs/QmcB66sZhQ6Kz7MUHcLE78YXRUZxoZnnxZjN6yATsbB2ec\"]},\"lib/forge-std/src/console2.sol\":{\"keccak256\":\"0xcd5706f5a7025825d9fd389c89b49bf571f9abaea8a062dc4048320b5b43bf46\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://c066485a7d4bd18d44efb4c89274b0959e8066b9a480383a2ce07d7f31555f88\",\"dweb:/ipfs/QmckeYfA5FtAjcxaytq69Dpj6uY57tbQ61kNPPxXi9kgbW\"]},\"lib/forge-std/src/interfaces/IMulticall3.sol\":{\"keccak256\":\"0x7aac1389150499a922d1f9ef5749c908cef127cb2075b92fa17e9cb611263d0a\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://d95ebb7c7c463e08ebc12dab639945752fb2480acfc6e86da32f72732a7fd0c0\",\"dweb:/ipfs/QmNXK8P8oPWwajsQHvAHw3JPyQidPLCGQN3hWu1Lk6PBL2\"]},\"lib/solmate/lib/ds-test/src/test.sol\":{\"keccak256\":\"0xb39cd1d5220cb474947b131e15a4538334b7e886af244b440ae5c9c6bba96a54\",\"license\":\"GPL-3.0-or-later\",\"urls\":[\"bzz-raw://3101520221449ac0070bda3881311a71d9aa87e5210765e875246922cb5cb5f5\",\"dweb:/ipfs/Qmbg6kAHNoG7ox9N9Xqd9Ere2H2XixMFWFqvyPwFCzB3Gr\"]},\"test/foundry-tests/MaxInputAmount.t.sol\":{\"keccak256\":\"0x1b355ca203b6360569c6dda07da561ef47642f04e730e480ae0ee18ba78170d2\",\"license\":\"UNLICENSED\",\"urls\":[\"bzz-raw://cab59eb04476241f0d96a455365ff34872b5cb7a29562409150e0bad232ba133\",\"dweb:/ipfs/QmTX2J7UmLPhv61v8NeD8PTzHydVCQ9gteJgYqqeAwtynm\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.26+commit.8a97fa7a"},"language":"Solidity","output":{"abi":[{"inputs":[{"internalType":"string","name":"","type":"string","indexed":false}],"type":"event","name":"log","anonymous":false},{"inputs":[{"internalType":"address","name":"","type":"address","indexed":false}],"type":"event","name":"log_address","anonymous":false},{"inputs":[{"internalType":"uint256[]","name":"val","type":"uint256[]","indexed":false}],"type":"event","name":"log_array","anonymous":false},{"inputs":[{"internalType":"int256[]","name":"val","type":"int256[]","indexed":false}],"type":"event","name":"log_array","anonymous":false},{"inputs":[{"internalType":"address[]","name":"val","type":"address[]","indexed":false}],"type":"event","name":"log_array","anonymous":false},{"inputs":[{"internalType":"bytes","name":"","type":"bytes","indexed":false}],"type":"event","name":"log_bytes","anonymous":false},{"inputs":[{"internalType":"bytes32","name":"","type":"bytes32","indexed":false}],"type":"event","name":"log_bytes32","anonymous":false},{"inputs":[{"internalType":"int256","name":"","type":"int256","indexed":false}],"type":"event","name":"log_int","anonymous":false},{"inputs":[{"internalType":"string","name":"key","type":"string","indexed":false},{"internalType":"address","name":"val","type":"address","indexed":false}],"type":"event","name":"log_named_address","anonymous":false},{"inputs":[{"internalType":"string","name":"key","type":"string","indexed":false},{"internalType":"uint256[]","name":"val","type":"uint256[]","indexed":false}],"type":"event","name":"log_named_array","anonymous":false},{"inputs":[{"internalType":"string","name":"key","type":"string","indexed":