@uniswap/v4-core
Version:
🦄 Core smart contracts of Uniswap v4
1 lines • 69.7 kB
JSON
{"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":"excludeSelectors","inputs":[],"outputs":[{"name":"excludedSelectors_","type":"tuple[]","internalType":"struct StdInvariant.FuzzSelector[]","components":[{"name":"addr","type":"address","internalType":"address"},{"name":"selectors","type":"bytes4[]","internalType":"bytes4[]"}]}],"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":"view"},{"type":"function","name":"targetArtifactSelectors","inputs":[],"outputs":[{"name":"targetedArtifactSelectors_","type":"tuple[]","internalType":"struct StdInvariant.FuzzArtifactSelector[]","components":[{"name":"artifact","type":"string","internalType":"string"},{"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":"targetInterfaces","inputs":[],"outputs":[{"name":"targetedInterfaces_","type":"tuple[]","internalType":"struct StdInvariant.FuzzInterface[]","components":[{"name":"addr","type":"address","internalType":"address"},{"name":"artifacts","type":"string[]","internalType":"string[]"}]}],"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_decrementNonzeroDeltaCount","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_fuzz_nonzeroDeltaCount","inputs":[{"name":"instructions","type":"uint256","internalType":"uint256"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_incrementNonzeroDeltaCount","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_nonzeroDeltaCountSlot","inputs":[],"outputs":[],"stateMutability":"pure"},{"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":"0x60808060405234602f57600160ff19600c541617600c55600160ff19601f541617601f556117d790816100348239f35b5f80fdfe60806040526004361015610011575f80fd5b5f803560e01c80631dea2fe714610ee05780631ed7831c14610e385780632ade388014610c0a5780633e5e3c2314610b625780633f7286f414610aba5780635a74862b146109b757806366d9a9a01461085c57806385226c81146107b4578063916a17c6146106df578063b0464fdc1461060a578063b5508aa914610562578063ba414fa61461051f578063d0ce36d114610323578063dcd5151a146101c6578063e20c9f711461010d5763fa7626d4146100ca575f80fd5b3461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a57602060ff601f54166040519015158152f35b80fd5b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a5760405180916020601554928381520191601582527f55f448fdea98c4d29eb340757ef0a66cd03dbb9538908a6a81d96026b71ec475915b81811061019a576101968561018a818703826111fa565b60405191829182610fa9565b0390f35b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610173565b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a5761021f7f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c6116d3565b60017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5d6102907f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c611753565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5d6103207f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c6116d3565b80f35b503461010a5760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a576004356103807f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c6116d3565b81805b6101008210610390578380f35b6001821b83166104b057600190817f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5d01905b837f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156104ac57604051907f98296c5400000000000000000000000000000000000000000000000000000000825260048201528360248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156104a157610488575b505060010190610383565b81610492916111fa565b61049d57835f61047d565b8380fd5b6040513d84823e3d90fd5b5080fd5b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90817f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5d01906103e6565b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a5760206105586115fa565b6040519015158152f35b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a5760195461059d8161123b565b916105ab60405193846111fa565b818352601981527f944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695602084015b8383106105ed57604051806101968782611090565b6001602081926105fc85611253565b8152019201920191906105d8565b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a57601c546106458161123b565b9161065360405193846111fa565b818352601c81527f0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a211602084015b8383106106955760405180610196878261110d565b600260206001926040516106a8816111b1565b73ffffffffffffffffffffffffffffffffffffffff86541681526106cd858701611356565b83820152815201920192019190610680565b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a57601d5461071a8161123b565b9161072860405193846111fa565b818352601d81527f6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc146134f602084015b83831061076a5760405180610196878261110d565b6002602060019260405161077d816111b1565b73ffffffffffffffffffffffffffffffffffffffff86541681526107a2858701611356565b83820152815201920192019190610755565b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a57601a546107ef8161123b565b916107fd60405193846111fa565b818352601a81527f057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e602084015b83831061083f57604051806101968782611090565b60016020819261084e85611253565b81520192019201919061082a565b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a57601b546108978161123b565b6108a460405191826111fa565b818152601b83526020810191837f3ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc1845b83831061097c57868587604051928392602084019060208552518091526040840160408260051b8601019392905b82821061091157505050500390f35b9193602061096c827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc060019597998495030186528851908361095c8351604084526040840190610ff8565b920151908481840391015261103b565b9601920192018594939192610902565b6002602060019260405161098f816111b1565b61099886611253565b81526109a5858701611356565b838201528152019201920191906108d4565b5034610ab6575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610ab657737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610ab6576040517f7c84c69b0000000000000000000000000000000000000000000000000000000081527f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b60048201527f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b60248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015610aab57610a9d575080f35b610aa991505f906111fa565b005b6040513d5f823e3d90fd5b5f80fd5b34610ab6575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610ab65760405180602060175491828152019060175f527fc624b66cc0138b8fabc209247f72d758e1cf3343756d543badbf24212bed8c15905f5b818110610b36576101968561018a818703826111fa565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610b1f565b34610ab6575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610ab65760405180602060185491828152019060185f527fb13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2e905f5b818110610bde576101968561018a818703826111fa565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610bc7565b34610ab6575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610ab657601e54610c448161123b565b90610c5260405192836111fa565b808252602082019081601e5f527f50bb669a95c7b50b7e8a6f09454034b2b14cf2b85c730dca9a539ca82cb6e3505f915b838310610da057848660405191829160208301906020845251809152604083019060408160051b85010192915f905b828210610cc157505050500390f35b91939092947fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc09082030182528451906020604082019273ffffffffffffffffffffffffffffffffffffffff81511683520151916040602083015282518091526060820190602060608260051b8501019401925f5b828110610d575750505050506020806001929601920192018594939192610cb2565b9091929394602080610d93837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa087600196030189528951610ff8565b9701950193929101610d35565b604051610dac816111b1565b73ffffffffffffffffffffffffffffffffffffffff8354168152600183018054610dd58161123b565b91610de360405193846111fa565b81835260208301905f5260205f20905f905b838210610e1b575050505060019282602092836002950152815201920192019190610c83565b600160208192610e2a86611253565b815201930191019091610df5565b34610ab6575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610ab65760405180602060165491828152019060165f527fd833147d7dc355ba459fc788f669e58cfaf9dc25ddcd0702e87d69c7b5124289905f5b818110610eb4576101968561018a818703826111fa565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610e9d565b34610ab6575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610ab657610f387f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c6116d3565b60017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5d610aa97f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c611753565b60206040818301928281528451809452019201905f5b818110610fcc5750505090565b825173ffffffffffffffffffffffffffffffffffffffff16845260209384019390920191600101610fbf565b907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f602080948051918291828752018686015e5f8582860101520116010190565b90602080835192838152019201905f5b8181106110585750505090565b82517fffffffff000000000000000000000000000000000000000000000000000000001684526020938401939092019160010161104b565b602081016020825282518091526040820191602060408360051b8301019401925f915b8383106110c257505050505090565b90919293946020806110fe837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc086600196030187528951610ff8565b970193019301919392906110b3565b602081016020825282518091526040820191602060408360051b8301019401925f915b83831061113f57505050505090565b90919293946020806111a2837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc086600196030187526040838b5173ffffffffffffffffffffffffffffffffffffffff81511684520151918185820152019061103b565b97019301930191939290611130565b6040810190811067ffffffffffffffff8211176111cd57604052565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff8211176111cd57604052565b67ffffffffffffffff81116111cd5760051b60200190565b90604051915f8154908160011c926001831692831561134c575b60208510841461131f5784875286939081156112df575060011461129b575b50611299925003836111fa565b565b90505f9291925260205f20905f915b8183106112c3575050906020611299928201015f61128c565b60209193508060019154838589010152019101909184926112aa565b602093506112999592507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0091501682840152151560051b8201015f61128c565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b93607f169361126d565b90604051918281549182825260208201905f5260205f20925f905b80600783011061156d57611299945491818110611537575b818110611501575b8181106114cb575b818110611495575b81811061145f575b818110611429575b8181106113f4575b106113c7575b5003836111fa565b7fffffffff000000000000000000000000000000000000000000000000000000001681526020015f6113bf565b9260206001917fffffffff0000000000000000000000000000000000000000000000000000000085831b1681520193016113b9565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560401b1681520193016113b1565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560601b1681520193016113a9565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560801b1681520193016113a1565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560a01b168152019301611399565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560c01b168152019301611391565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560e01b168152019301611389565b9160089193506101006001917fffffffff000000000000000000000000000000000000000000000000000000008754818160e01b168352818160c01b166020840152818160a01b166040840152818160801b166060840152818160601b166080840152818160401b1660a0840152818160201b1660c08401521660e0820152019401920185929391611371565b60085460ff1680156116095790565b506040517f667f9d70000000000000000000000000000000000000000000000000000000008152737109709ecfa91a80626ff3989d68f67f5b1dd12d60048201527f6661696c656400000000000000000000000000000000000000000000000000006024820152602081604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa908115610aab575f916116a1575b50151590565b90506020813d6020116116cb575b816116bc602093836111fa565b81010312610ab657515f61169b565b3d91506116af565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610ab657604051907f98296c5400000000000000000000000000000000000000000000000000000000825260048201525f60248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015610aab576117495750565b5f611299916111fa565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610ab657604051907f98296c540000000000000000000000000000000000000000000000000000000082526004820152600160248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015610aab57611749575056fea164736f6c634300081a000a","sourceMap":"184:1479:134:-:0;;;;;;;3166:4:2;184:1479:134;;3166:4:2;184:1479:134;;;3166:4:2;184:1479:134;3166:4:2;184:1479:134;;1038:4:12;184:1479:134;;;1038:4:12;184:1479:134;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x60806040526004361015610011575f80fd5b5f803560e01c80631dea2fe714610ee05780631ed7831c14610e385780632ade388014610c0a5780633e5e3c2314610b625780633f7286f414610aba5780635a74862b146109b757806366d9a9a01461085c57806385226c81146107b4578063916a17c6146106df578063b0464fdc1461060a578063b5508aa914610562578063ba414fa61461051f578063d0ce36d114610323578063dcd5151a146101c6578063e20c9f711461010d5763fa7626d4146100ca575f80fd5b3461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a57602060ff601f54166040519015158152f35b80fd5b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a5760405180916020601554928381520191601582527f55f448fdea98c4d29eb340757ef0a66cd03dbb9538908a6a81d96026b71ec475915b81811061019a576101968561018a818703826111fa565b60405191829182610fa9565b0390f35b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610173565b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a5761021f7f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c6116d3565b60017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5d6102907f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c611753565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5d6103207f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c6116d3565b80f35b503461010a5760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a576004356103807f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c6116d3565b81805b6101008210610390578380f35b6001821b83166104b057600190817f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5d01905b837f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156104ac57604051907f98296c5400000000000000000000000000000000000000000000000000000000825260048201528360248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156104a157610488575b505060010190610383565b81610492916111fa565b61049d57835f61047d565b8380fd5b6040513d84823e3d90fd5b5080fd5b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90817f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5d01906103e6565b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a5760206105586115fa565b6040519015158152f35b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a5760195461059d8161123b565b916105ab60405193846111fa565b818352601981527f944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695602084015b8383106105ed57604051806101968782611090565b6001602081926105fc85611253565b8152019201920191906105d8565b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a57601c546106458161123b565b9161065360405193846111fa565b818352601c81527f0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a211602084015b8383106106955760405180610196878261110d565b600260206001926040516106a8816111b1565b73ffffffffffffffffffffffffffffffffffffffff86541681526106cd858701611356565b83820152815201920192019190610680565b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a57601d5461071a8161123b565b9161072860405193846111fa565b818352601d81527f6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc146134f602084015b83831061076a5760405180610196878261110d565b6002602060019260405161077d816111b1565b73ffffffffffffffffffffffffffffffffffffffff86541681526107a2858701611356565b83820152815201920192019190610755565b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a57601a546107ef8161123b565b916107fd60405193846111fa565b818352601a81527f057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e602084015b83831061083f57604051806101968782611090565b60016020819261084e85611253565b81520192019201919061082a565b503461010a57807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010a57601b546108978161123b565b6108a460405191826111fa565b818152601b83526020810191837f3ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc1845b83831061097c57868587604051928392602084019060208552518091526040840160408260051b8601019392905b82821061091157505050500390f35b9193602061096c827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc060019597998495030186528851908361095c8351604084526040840190610ff8565b920151908481840391015261103b565b9601920192018594939192610902565b6002602060019260405161098f816111b1565b61099886611253565b81526109a5858701611356565b838201528152019201920191906108d4565b5034610ab6575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610ab657737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610ab6576040517f7c84c69b0000000000000000000000000000000000000000000000000000000081527f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b60048201527f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b60248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015610aab57610a9d575080f35b610aa991505f906111fa565b005b6040513d5f823e3d90fd5b5f80fd5b34610ab6575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610ab65760405180602060175491828152019060175f527fc624b66cc0138b8fabc209247f72d758e1cf3343756d543badbf24212bed8c15905f5b818110610b36576101968561018a818703826111fa565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610b1f565b34610ab6575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610ab65760405180602060185491828152019060185f527fb13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2e905f5b818110610bde576101968561018a818703826111fa565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610bc7565b34610ab6575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610ab657601e54610c448161123b565b90610c5260405192836111fa565b808252602082019081601e5f527f50bb669a95c7b50b7e8a6f09454034b2b14cf2b85c730dca9a539ca82cb6e3505f915b838310610da057848660405191829160208301906020845251809152604083019060408160051b85010192915f905b828210610cc157505050500390f35b91939092947fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc09082030182528451906020604082019273ffffffffffffffffffffffffffffffffffffffff81511683520151916040602083015282518091526060820190602060608260051b8501019401925f5b828110610d575750505050506020806001929601920192018594939192610cb2565b9091929394602080610d93837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa087600196030189528951610ff8565b9701950193929101610d35565b604051610dac816111b1565b73ffffffffffffffffffffffffffffffffffffffff8354168152600183018054610dd58161123b565b91610de360405193846111fa565b81835260208301905f5260205f20905f905b838210610e1b575050505060019282602092836002950152815201920192019190610c83565b600160208192610e2a86611253565b815201930191019091610df5565b34610ab6575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610ab65760405180602060165491828152019060165f527fd833147d7dc355ba459fc788f669e58cfaf9dc25ddcd0702e87d69c7b5124289905f5b818110610eb4576101968561018a818703826111fa565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201610e9d565b34610ab6575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610ab657610f387f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c6116d3565b60017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c017f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5d610aa97f7d4b3164c6e45b97e7d87b7125a44c5828d005af88f9d751cfd78729c5d99a0b5c611753565b60206040818301928281528451809452019201905f5b818110610fcc5750505090565b825173ffffffffffffffffffffffffffffffffffffffff16845260209384019390920191600101610fbf565b907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f602080948051918291828752018686015e5f8582860101520116010190565b90602080835192838152019201905f5b8181106110585750505090565b82517fffffffff000000000000000000000000000000000000000000000000000000001684526020938401939092019160010161104b565b602081016020825282518091526040820191602060408360051b8301019401925f915b8383106110c257505050505090565b90919293946020806110fe837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc086600196030187528951610ff8565b970193019301919392906110b3565b602081016020825282518091526040820191602060408360051b8301019401925f915b83831061113f57505050505090565b90919293946020806111a2837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc086600196030187526040838b5173ffffffffffffffffffffffffffffffffffffffff81511684520151918185820152019061103b565b97019301930191939290611130565b6040810190811067ffffffffffffffff8211176111cd57604052565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff8211176111cd57604052565b67ffffffffffffffff81116111cd5760051b60200190565b90604051915f8154908160011c926001831692831561134c575b60208510841461131f5784875286939081156112df575060011461129b575b50611299925003836111fa565b565b90505f9291925260205f20905f915b8183106112c3575050906020611299928201015f61128c565b60209193508060019154838589010152019101909184926112aa565b602093506112999592507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0091501682840152151560051b8201015f61128c565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b93607f169361126d565b90604051918281549182825260208201905f5260205f20925f905b80600783011061156d57611299945491818110611537575b818110611501575b8181106114cb575b818110611495575b81811061145f575b818110611429575b8181106113f4575b106113c7575b5003836111fa565b7fffffffff000000000000000000000000000000000000000000000000000000001681526020015f6113bf565b9260206001917fffffffff0000000000000000000000000000000000000000000000000000000085831b1681520193016113b9565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560401b1681520193016113b1565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560601b1681520193016113a9565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560801b1681520193016113a1565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560a01b168152019301611399565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560c01b168152019301611391565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560e01b168152019301611389565b9160089193506101006001917fffffffff000000000000000000000000000000000000000000000000000000008754818160e01b168352818160c01b166020840152818160a01b166040840152818160801b166060840152818160601b166080840152818160401b1660a0840152818160201b1660c08401521660e0820152019401920185929391611371565b60085460ff1680156116095790565b506040517f667f9d70000000000000000000000000000000000000000000000000000000008152737109709ecfa91a80626ff3989d68f67f5b1dd12d60048201527f6661696c656400000000000000000000000000000000000000000000000000006024820152602081604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa908115610aab575f916116a1575b50151590565b90506020813d6020116116cb575b816116bc602093836111fa565b81010312610ab657515f61169b565b3d91506116af565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610ab657604051907f98296c5400000000000000000000000000000000000000000000000000000000825260048201525f60248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015610aab576117495750565b5f611299916111fa565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610ab657604051907f98296c540000000000000000000000000000000000000000000000000000000082526004820152600160248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015610aab57611749575056fea164736f6c634300081a000a","sourceMap":"184:1479:134:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1016:26:12;184:1479:134;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2723:18:5;184:1479:134;;;;;;;2723:18:5;184:1479:134;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;485:37;622:89:54;;485:37:134;:::i;:::-;763:180:54;622:89;763:180;;622:89;763:180;571:37:134;622:89:54;;571:37:134;:::i;:::-;1271:180:54;622:89;1271:180;;622:89;1271:180;657:37:134;622:89:54;;657:37:134;:::i;:::-;184:1479;;;;;;;;;;;;;;;;945:37;622:89:54;;945:37:134;:::i;:::-;992:21;;1043:7;1047:3;1043:7;;;;184:1479;;;1052:3;184:1479;;;1076:23;;184:1479;;;763:180:54;;622:89;763:180;;622:89;763:180;184:1479:134;1071:332;;622:89:54;;;184:1479:134;2349:24:1;;;;184:1479:134;;2349:24:1;184:1479:134;2349:24:1;;184:1479:134;2349:24:1;;192:59;184:1479:134;;;;192:59:1;2349:24;;;;184:1479:134;2349:24:1;;;;;;;;1071:332:134;1052:3;;184:1479;;1028:13;;;2349:24:1;;;;;:::i;:::-;184:1479:134;;2349:24:1;;;;184:1479:134;;;;2349:24:1;184:1479:134;;192:59:1;184:1479:134;;192:59:1;;;;2349:24;184:1479:134;;;1071:332;1271:180:54;;;622:89;1271:180;;622:89;1271:180;184:1479:134;1071:332;;;184:1479;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2575:18:5;184:1479:134;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;2575:18:5;184:1479:134;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;2876:18:5;184:1479:134;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;2876:18:5;184:1479:134;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;:::i;:::-;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;3653:18:5;184:1479:134;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;3653:18:5;184:1479:134;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;:::i;:::-;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;3162:18:5;184:1479:134;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;3162:18:5;184:1479:134;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;3346:26:5;184:1479:134;;;;:::i;:::-;;;;;;;:::i;:::-;;;;3346:26:5;184:1479:134;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3789:24:1;;;;184:1479:134;;;3789:24:1;;184:1479:134;;3789:24:1;;192:59;184:1479:134;;;;192:59:1;184:1479:134;3789:24:1;;;184:1479:134;3789:24:1;;;;;;;;184:1479:134;;;3789:24:1;;;;184:1479:134;3789:24:1;;:::i;:::-;184:1479:134;3789:24:1;184:1479:134;;192:59:1;184:1479:134;192:59:1;;;;;3789:24;184:1479:134;;;;;;;;;;;;;;;;;;3501:18:5;184:1479:134;;;;;;;3501:18:5;184:1479:134;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3794:16:5;184:1479:134;;;;;;;3794:16:5;184:1479:134;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3948:19:5;184:1479:134;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;3948:19:5;184:1479:134;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;3018:16:5;184:1479:134;;;;;;;3018:16:5;184:1479:134;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;289:37;622:89:54;;289:37:134;:::i;:::-;763:180:54;622:89;763:180;;622:89;763:180;375:37:134;622:89:54;;375:37:134;:::i;184:1479::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;184:1479:134;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;-1:-1:-1;184:1479:134;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;-1:-1:-1;184:1479:134;;;;;-1:-1:-1;184:1479:134;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;:::o;:::-;;;;;-1:-1:-1;184:1479:134;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:::o;:::-;;;-1:-1:-1;184:1479:134;;;;;-1:-1:-1;184:1479:134;;-1:-1:-1;184:1479:134;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;184:1479:134;;;;;-1:-1:-1;184:1479:134;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;184:1479:134;;-1:-1:-1;184:1479:134;;-1:-1:-1;184:1479:134;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1243:204:1;1302:7;184:1479:134;;;;;;;1325:14:1;:::o;1298:143::-;184:1479:134;;;;1377:39:1;;184:1479:134;1377:39:1;;;184:1479:134;192:59:1;;;;;;1377:39;;;184:1479:134;1377:39:1;;;;;;;184:1479:134;1377:39:1;;;1298:143;1377:53;;;1370:60;:::o;1377:39::-;;;192:59;1377:39;;192:59;1377:39;;;;;;192:59;1377:39;;;:::i;:::-;;;192:59;;;;;1377:39;;;;;;-1:-1:-1;1377:39:1;;2270:110;184:1479:134;2349:24:1;;;;184:1479:134;;2349:24:1;184:1479:134;2349:24:1;;;;;192:59;184:1479:134;;;;192:59:1;184:1479:134;2349:24:1;;;184:1479:134;2349:24:1;;;;;;;;2270:110;:::o;2349:24::-;184:1479:134;2349:24:1;;;:::i;2270:110::-;184:1479:134;2349:24:1;;;;184:1479:134;;2349:24:1;184:1479:134;2349:24:1;;;;;192:59;763:180:54;184:1479:134;;;192:59:1;-1:-1:-1;2349:24:1;;;184:1479:134;2349:24:1;;;;;;;;2270:110;:::o","linkReferences":{}},"methodIdentifiers":{"IS_TEST()":"fa7626d4","excludeArtifacts()":"b5508aa9","excludeContracts()":"e20c9f71","excludeSelectors()":"b0464fdc","excludeSenders()":"1ed7831c","failed()":"ba414fa6","targetArtifactSelectors()":"66d9a9a0","targetArtifacts()":"85226c81","targetContracts()":"3f7286f4","targetInterfaces()":"2ade3880","targetSelectors()":"916a17c6","targetSenders()":"3e5e3c23","test_decrementNonzeroDeltaCount()":"dcd5151a","test_fuzz_nonzeroDeltaCount(uint256)":"d0ce36d1","test_incrementNonzeroDeltaCount()":"1dea2fe7","test_nonzeroDeltaCountSlot()":"5a74862b"},"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\":\"excludeSelectors\",\"outputs\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"},{\"internalType\":\"bytes4[]\",\"name\":\"selectors\",\"type\":\"bytes4[]\"}],\"internalType\":\"struct StdInvariant.FuzzSelector[]\",\"name\":\"excludedSelectors_\",\"type\":\"tuple[]\"}],\"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\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"targetArtifactSelectors\",\"outputs\":[{\"components\":[{\"internalType\":\"string\",\"name\":\"artifact\",\"type\":\"string\"},{\"internalType\":\"bytes4[]\",\"name\":\"selectors\",\"type\":\"bytes4[]\"}],\"internalType\":\"struct StdInvariant.FuzzArtifactSelector[]\",\"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\":\"targetInterfaces\",\"outputs\":[{\"components\":[{\"internalType\":\"address\",\"name\":\"addr\",\"type\":\"address\"},{\"internalType\":\"string[]\",\"name\":\"artifacts\",\"type\":\"string[]\"}],\"internalType\":\"struct StdInvariant.FuzzInterface[]\",\"name\":\"targetedInterfaces_\",\"type\":\"tuple[]\"}],\"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\":[],\"name\":\"test_decrementNonzeroDeltaCount\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"instructions\",\"type\":\"uint256\"}],\"name\":\"test_fuzz_nonzeroDeltaCount\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"test_incrementNonzeroDeltaCount\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"test_nonzeroDeltaCountSlot\",\"outputs\":[],\"stateMutability\":\"pure\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"test/libraries/NonzeroDeltaCount.t.sol\":\"NonzeroDeltaCountTest\"},\"evmVersion\":\"cancun\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"none\"},\"optimizer\":{\"enabled\":true,\"runs\":44444444},\"remappings\":[\":@ensdomains/=node_modules/@ensdomains/\",\":@openzeppelin/=lib/openzeppelin-contracts/\",\":ds-test/=lib/forge-std/lib/ds-test/src/\",\":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":hardhat/=node_modules/hardhat/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\",\":solmate/=lib/solmate/\"],\"viaIR\":true},\"sources\":{\"lib/forge-std/src/Base.sol\":{\"keccak256\":\"0x4ff1a785311017d1eedb1b4737956fa383067ad34eb439abfec1d989754dde1c\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://f553622969b9fdb930246704a4c10dfaee6b1a4468c142fa7eb9dc292a438224\",\"dweb:/ipfs/QmcxqHnqdQsMVtgsfH9VNLmZ3g7GhgNagfq7yvNCDcCHFK\"]},\"lib/forge-std/src/StdAssertions.sol\":{\"keccak256\":\"0x4584f551c3a875c26423c1e50a77179bc2f9c9c1ee6d0f0c6be0f89ca5ee8270\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://ef118876a862b60ba8a6612b8b3f3a6c226e11a0071a2e9695f021586d1bfdbe\",\"dweb:/ipfs/QmXd2vD91PkvoFWasFkgbDi89PctmgsHVxGvGNyhjmRK2b\"]},\"lib/forge-std/src/StdChains.sol\":{\"keccak256\":\"0x7dd11ac4db798fa196e00a0cfa288ce984acac881f1f34de03fe3187deed58de\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://2c15fb03d5545e2d8d3948661596410edec5ec278a73988914b14a05d0d54557\",\"dweb:/ipfs/QmWGjkLgp4wSrTrFxF8cmhghaXQp5VyXYQvWE1DUTPL4rG\"]},\"lib/forge-std/src/StdCheats.sol\":{\"keccak256\":\"0xc28b654cfbcafb8f7688c8dc69134921bb4841c82ddc2e5f27bcf5d8eb2177cf\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://3f1875b52fb32efefdc467d9566bf93d72dad036547ce6955e4f7a318eea9d6f\",\"dweb:/ipfs/QmbgbSX8JajLzTyWcPqrYAcsQcHNuGTFTKdQ3HNTvyRgdj\"]},\"lib/forge-std/src/StdError.sol\":{\"keccak256\":\"0xbf477b11a42d7611696956546bcfaa29317d1166bf65e402344599c05943fc77\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://bc2e117d1135e030862b96a6526a43feb38d396cc79857f1fb696d4eff0e5fd6\",\"dweb:/ipfs/QmdSuQ5RrQudTLsNmWXGEeVJX8gR5U9XPm6m4dwwuQnJrj\"]},\"lib/forge-std/src/StdInvariant.sol\":{\"keccak256\":\"0x4dab3021edfa9511bbdd80c48f060ef62eaf457f99eaf841f561fc2557d9a08d\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://07668628673174cf8f27f8f4e1f862bab775013ec247eb34f698c5005f229391\",\"dweb:/ipfs/QmPJsiiYwmCZXMsHmQv5tg8VF3CAhNdat7WnKLTWZZH2v5\"]},\"lib/forge-std/src/StdJson.sol\":{\"keccak256\":\"0xbc0132abe1c2accc2867c0f03667afffdf92f3e95a581bb03c9557eaa38ea500\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://eb6fab37dc73c219cfbb7b4f4998bcf7677ca5397a867e850f40232192073974\",\"dweb:/ipfs/QmUHsbVdp9SKmgek7ZfPcLTKrpZFXpqaqt4sVejzxGEQL3\"]},\"lib/forge-std/src/StdMath.sol\":{\"keccak256\":\"0xd90ad4fd8aeaeb8929964e686e769fdedd5eded3fc3815df194a0ab9f91a3fb2\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://7919b70f636c7b805223992f28ad1ad0145d6c1385b5931a3589aface5fe6c92\",\"dweb:/ipfs/QmY7FRaULwoGgFteF8GawjQJRfasNgpWnU2aiMsFrYpuTC\"]},\"lib/forge-std/src/StdStorage.sol\":{\"keccak256\":\"0xb91ab24383a5872b894fc93325eef1add6cbbf981628f18e860068bf88bb7dcc\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://2651e33b9ac8fc5803ed0a43078c1bf4fa90a0b0347aafd95776b02daccdcc57\",\"dweb:/ipfs/QmbdRyPuGJdZgnCuMnp7c1WsBo1Spf7j1KMmws1Z5rd4BQ\"]},\"lib/forge-std/src/StdStyle.sol\":{\"keccak256\":\"0x43e2a8a9b9c2574dabe74f11adf6f782df218f463540e3b5b563609fe108