{"abi":[{"type":"function","name":"IS_TEST","inputs":[],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"function","name":"counter","inputs":[],"outputs":[{"name":"","type":"address","internalType":"contract Counter"}],"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":"setUp","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"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":"testFuzz_SetNumber","inputs":[{"name":"x","type":"uint256","internalType":"uint256"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_Increment","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":"0x60808060405234602f57600160ff19600c541617600c55600160ff19601f541617601f5561129190816100348239f35b5f80fdfe6080806040526004361015610012575f80fd5b5f905f3560e01c9081630a9254e414610b3b575080631ed7831c14610abd5780632ade3880146109065780633e5e3c23146108885780633f7286f41461080a5780634820a105146106d25780635c7f60d71461055857806361bc221a1461052b57806366d9a9a01461040a57806385226c8114610380578063916a17c6146102d8578063b0464fdc14610230578063b5508aa9146101a6578063ba414fa614610181578063e20c9f71146100f35763fa7626d4146100ce575f80fd5b346100f057806003193601126100f057602060ff601f54166040519015158152f35b80fd5b50346100f057806003193601126100f05760405180916020601554928381520191601582527f55f448fdea98c4d29eb340757ef0a66cd03dbb9538908a6a81d96026b71ec475915b8181106101625761015e8561015281870382610d9a565b60405191829182610c05565b0390f35b82546001600160a01b031684526020909301926001928301920161013b565b50346100f057806003193601126100f057602061019c6110a2565b6040519015158152f35b50346100f057806003193601126100f0576019546101c381610dbc565b916101d16040519384610d9a565b818352601981527f944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695602084015b838310610213576040518061015e8782610ca8565b60016020819261022285610dd4565b8152019201920191906101fe565b50346100f057806003193601126100f057601c5461024d81610dbc565b9161025b6040519384610d9a565b818352601c81527f0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a211602084015b83831061029d576040518061015e8782610d07565b600260206001926040516102b081610d7e565b848060a01b0386541681526102c6858701610ea0565b83820152815201920192019190610288565b50346100f057806003193601126100f057601d546102f581610dbc565b916103036040519384610d9a565b818352601d81527f6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc146134f602084015b838310610345576040518061015e8782610d07565b6002602060019260405161035881610d7e565b848060a01b03865416815261036e858701610ea0565b83820152815201920192019190610330565b50346100f057806003193601126100f057601a5461039d81610dbc565b916103ab6040519384610d9a565b818352601a81527f057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e602084015b8383106103ed576040518061015e8782610ca8565b6001602081926103fc85610dd4565b8152019201920191906103d8565b50346100f057806003193601126100f057601b5461042781610dbc565b6104346040519182610d9a565b818152601b83526020810191837f3ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc1845b8383106104f057868587604051928392602084019060208552518091526040840160408260051b8601019392905b8282106104a157505050500390f35b919360019193955060206104e08192603f198a8203018652885190836104d08351604084526040840190610c47565b9201519084818403910152610c6b565b9601920192018594939192610492565b6002602060019260405161050381610d7e565b61050c86610dd4565b8152610519858701610ea0565b83820152815201920192019190610464565b50346100f057806003193601126100f057601f5460405160089190911c6001600160a01b03168152602090f35b50346100f05760203660031901126100f057601f5481906004359060081c6001600160a01b0316803b1561067057828091602460405180948193633fb5c1cb60e01b83528760048401525af19081156106af5783916106ba575b5050601f546040516341c0fac560e11b815291906020908390600490829060081c6001600160a01b03165afa9182156106af578392610674575b508082036105f8575050f35b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610670576040519163260a5b1560e21b8352600483015260248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015610665576106545750f35b8161065e91610d9a565b6100f05780f35b6040513d84823e3d90fd5b5050fd5b925090506020823d6020116106a7575b8161069160209383610d9a565b810103126106a357829151905f6105ec565b5f80fd5b3d9150610684565b6040513d85823e3d90fd5b816106c491610d9a565b6106cf57815f6105b2565b50fd5b50346100f057806003193601126100f057601f54819060081c6001600160a01b0316803b156106cf5781809160046040518094819363684ef04560e11b83525af18015610665576107f5575b50601f546040516341c0fac560e11b8152906020908290600490829060081c6001600160a01b03165afa9081156106655782916107c0575b50600181036107625750f35b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156106cf576040519063260a5b1560e21b82526004820152600160248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015610665576106545750f35b9150506020813d6020116107ed575b816107dc60209383610d9a565b810103126106a3578190515f610756565b3d91506107cf565b816107ff91610d9a565b6100f057805f61071e565b50346100f057806003193601126100f05760405180916020601754928381520191601782527fc624b66cc0138b8fabc209247f72d758e1cf3343756d543badbf24212bed8c15915b8181106108695761015e8561015281870382610d9a565b82546001600160a01b0316845260209093019260019283019201610852565b50346100f057806003193601126100f05760405180916020601854928381520191601882527fb13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2e915b8181106108e75761015e8561015281870382610d9a565b82546001600160a01b03168452602090930192600192830192016108d0565b50346100f057806003193601126100f057601e5461092381610dbc565b6109306040519182610d9a565b818152601e83526020810191837f50bb669a95c7b50b7e8a6f09454034b2b14cf2b85c730dca9a539ca82cb6e350845b838310610a345786858760405192839260208401906020855251809152604084019160408260051b8601019392815b83831061099c5786860387f35b919395509193603f198782030183528551906020604082019260018060a01b0381511683520151916040602083015282518091526060820190602060608260051b850101940192855b828110610a095750505050506020806001929701930193019092869594929361098f565b9091929394602080610a27600193605f198782030189528951610c47565b97019501939291016109e5565b604051610a4081610d7e565b82546001600160a01b03168152600183018054610a5c81610dbc565b91610a6a6040519384610d9a565b8183528a526020808b20908b9084015b838210610aa0575050505060019282602092836002950152815201920192019190610960565b600160208192610aaf86610dd4565b815201930191019091610a7a565b50346100f057806003193601126100f05760405180916020601654928381520191601682527fd833147d7dc355ba459fc788f669e58cfaf9dc25ddcd0702e87d69c7b5124289915b818110610b1c5761015e8561015281870382610d9a565b82546001600160a01b0316845260209093019260019283019201610b05565b9050346106a3575f3660031901126106a35761011080820182811067ffffffffffffffff821117610bf157829161114c833903905ff08015610be657601f8054610100600160a81b031916600892831b610100600160a81b03161790819055901c6001600160a01b0316803b156106a3575f8091602460405180948193633fb5c1cb60e01b83528160048401525af18015610be657610bd8575080f35b610be491505f90610d9a565b005b6040513d5f823e3d90fd5b634e487b7160e01b5f52604160045260245ffd5b60206040818301928281528451809452019201905f5b818110610c285750505090565b82516001600160a01b0316845260209384019390920191600101610c1b565b805180835260209291819084018484015e5f828201840152601f01601f1916010190565b90602080835192838152019201905f5b818110610c885750505090565b82516001600160e01b031916845260209384019390920191600101610c7b565b602081016020825282518091526040820191602060408360051b8301019401925f915b838310610cda57505050505090565b9091929394602080610cf8600193603f198682030187528951610c47565b97019301930191939290610ccb565b602081016020825282518091526040820191602060408360051b8301019401925f915b838310610d3957505050505090565b9091929394602080610d6f600193603f198682030187526040838b51878060a01b03815116845201519181858201520190610c6b565b97019301930191939290610d2a565b6040810190811067ffffffffffffffff821117610bf157604052565b90601f8019910116810190811067ffffffffffffffff821117610bf157604052565b67ffffffffffffffff8111610bf15760051b60200190565b90604051915f8154908160011c9260018316928315610e96575b602085108414610e82578487528693908115610e605750600114610e1c575b50610e1a92500383610d9a565b565b90505f9291925260205f20905f915b818310610e44575050906020610e1a928201015f610e0d565b6020919350806001915483858901015201910190918492610e2b565b905060209250610e1a94915060ff191682840152151560051b8201015f610e0d565b634e487b7160e01b5f52602260045260245ffd5b93607f1693610dee565b90604051918281549182825260208201905f5260205f20925f905b806007830110610ffd57610e1a945491818110610fde575b818110610fbf575b818110610fa0575b818110610f81575b818110610f62575b818110610f43575b818110610f26575b10610f11575b500383610d9a565b6001600160e01b03191681526020015f610f09565b602083811b6001600160e01b031916855290930192600101610f03565b604083901b6001600160e01b0319168452602090930192600101610efb565b606083901b6001600160e01b0319168452602090930192600101610ef3565b608083901b6001600160e01b0319168452602090930192600101610eeb565b60a083901b6001600160e01b0319168452602090930192600101610ee3565b60c083901b6001600160e01b0319168452602090930192600101610edb565b60e083901b6001600160e01b0319168452602090930192600101610ed3565b916008919350610100600191865463ffffffff60e01b8160e01b16825263ffffffff60e01b8160c01b16602083015263ffffffff60e01b8160a01b16604083015263ffffffff60e01b8160801b16606083015263ffffffff60e01b8160601b16608083015263ffffffff60e01b8160401b1660a083015263ffffffff60e01b8160201b1660c083015263ffffffff60e01b1660e0820152019401920185929391610ebb565b60085460ff16156110b257600190565b604051630667f9d760e41b8152737109709ecfa91a80626ff3989d68f67f5b1dd12d60048201526519985a5b195960d21b6024820152602081604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa908115610be6575f91611119575b50151590565b90506020813d602011611143575b8161113460209383610d9a565b810103126106a357515f611113565b3d915061112756fe6080806040523460145760f790816100198239f35b5f80fdfe60808060405260043610156011575f80fd5b5f3560e01c9081633fb5c1cb1460ab5781638381f58a146094575063d09de08a146039575f80fd5b346090575f3660031901126090575f545f198114607c57600101805f557f3cf8b50771c17d723f2cb711ca7dadde485b222e13c84ba0730a14093fad6d5c5f80a2005b634e487b7160e01b5f52601160045260245ffd5b5f80fd5b346090575f3660031901126090576020905f548152f35b3460905760203660031901126090576004355f5500fea2646970667358221220f90ff61f866629ba2974c8309ee6225acd6c7e05b55f679e7299777d09054ae564736f6c634300081e0033a26469706673582212200a17c5fa7c3662104353efe6bc7e5eedc13078f61dfeb5a2541b1f2701fd2d6f64736f6c634300081e0033","sourceMap":"163:402:20:-:0;;;;;;;3200:4:3;163:402:20;;3200:4:3;163:402:20;;;3200:4:3;163:402:20;3200:4:3;163:402:20;;1087:4:14;163:402:20;;;1087:4:14;163:402:20;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x6080806040526004361015610012575f80fd5b5f905f3560e01c9081630a9254e414610b3b575080631ed7831c14610abd5780632ade3880146109065780633e5e3c23146108885780633f7286f41461080a5780634820a105146106d25780635c7f60d71461055857806361bc221a1461052b57806366d9a9a01461040a57806385226c8114610380578063916a17c6146102d8578063b0464fdc14610230578063b5508aa9146101a6578063ba414fa614610181578063e20c9f71146100f35763fa7626d4146100ce575f80fd5b346100f057806003193601126100f057602060ff601f54166040519015158152f35b80fd5b50346100f057806003193601126100f05760405180916020601554928381520191601582527f55f448fdea98c4d29eb340757ef0a66cd03dbb9538908a6a81d96026b71ec475915b8181106101625761015e8561015281870382610d9a565b60405191829182610c05565b0390f35b82546001600160a01b031684526020909301926001928301920161013b565b50346100f057806003193601126100f057602061019c6110a2565b6040519015158152f35b50346100f057806003193601126100f0576019546101c381610dbc565b916101d16040519384610d9a565b818352601981527f944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695602084015b838310610213576040518061015e8782610ca8565b60016020819261022285610dd4565b8152019201920191906101fe565b50346100f057806003193601126100f057601c5461024d81610dbc565b9161025b6040519384610d9a565b818352601c81527f0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a211602084015b83831061029d576040518061015e8782610d07565b600260206001926040516102b081610d7e565b848060a01b0386541681526102c6858701610ea0565b83820152815201920192019190610288565b50346100f057806003193601126100f057601d546102f581610dbc565b916103036040519384610d9a565b818352601d81527f6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc146134f602084015b838310610345576040518061015e8782610d07565b6002602060019260405161035881610d7e565b848060a01b03865416815261036e858701610ea0565b83820152815201920192019190610330565b50346100f057806003193601126100f057601a5461039d81610dbc565b916103ab6040519384610d9a565b818352601a81527f057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e602084015b8383106103ed576040518061015e8782610ca8565b6001602081926103fc85610dd4565b8152019201920191906103d8565b50346100f057806003193601126100f057601b5461042781610dbc565b6104346040519182610d9a565b818152601b83526020810191837f3ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc1845b8383106104f057868587604051928392602084019060208552518091526040840160408260051b8601019392905b8282106104a157505050500390f35b919360019193955060206104e08192603f198a8203018652885190836104d08351604084526040840190610c47565b9201519084818403910152610c6b565b9601920192018594939192610492565b6002602060019260405161050381610d7e565b61050c86610dd4565b8152610519858701610ea0565b83820152815201920192019190610464565b50346100f057806003193601126100f057601f5460405160089190911c6001600160a01b03168152602090f35b50346100f05760203660031901126100f057601f5481906004359060081c6001600160a01b0316803b1561067057828091602460405180948193633fb5c1cb60e01b83528760048401525af19081156106af5783916106ba575b5050601f546040516341c0fac560e11b815291906020908390600490829060081c6001600160a01b03165afa9182156106af578392610674575b508082036105f8575050f35b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610670576040519163260a5b1560e21b8352600483015260248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015610665576106545750f35b8161065e91610d9a565b6100f05780f35b6040513d84823e3d90fd5b5050fd5b925090506020823d6020116106a7575b8161069160209383610d9a565b810103126106a357829151905f6105ec565b5f80fd5b3d9150610684565b6040513d85823e3d90fd5b816106c491610d9a565b6106cf57815f6105b2565b50fd5b50346100f057806003193601126100f057601f54819060081c6001600160a01b0316803b156106cf5781809160046040518094819363684ef04560e11b83525af18015610665576107f5575b50601f546040516341c0fac560e11b8152906020908290600490829060081c6001600160a01b03165afa9081156106655782916107c0575b50600181036107625750f35b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156106cf576040519063260a5b1560e21b82526004820152600160248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015610665576106545750f35b9150506020813d6020116107ed575b816107dc60209383610d9a565b810103126106a3578190515f610756565b3d91506107cf565b816107ff91610d9a565b6100f057805f61071e565b50346100f057806003193601126100f05760405180916020601754928381520191601782527fc624b66cc0138b8fabc209247f72d758e1cf3343756d543badbf24212bed8c15915b8181106108695761015e8561015281870382610d9a565b82546001600160a01b0316845260209093019260019283019201610852565b50346100f057806003193601126100f05760405180916020601854928381520191601882527fb13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2e915b8181106108e75761015e8561015281870382610d9a565b82546001600160a01b03168452602090930192600192830192016108d0565b50346100f057806003193601126100f057601e5461092381610dbc565b6109306040519182610d9a565b818152601e83526020810191837f50bb669a95c7b50b7e8a6f09454034b2b14cf2b85c730dca9a539ca82cb6e350845b838310610a345786858760405192839260208401906020855251809152604084019160408260051b8601019392815b83831061099c5786860387f35b919395509193603f198782030183528551906020604082019260018060a01b0381511683520151916040602083015282518091526060820190602060608260051b850101940192855b828110610a095750505050506020806001929701930193019092869594929361098f565b9091929394602080610a27600193605f198782030189528951610c47565b97019501939291016109e5565b604051610a4081610d7e565b82546001600160a01b03168152600183018054610a5c81610dbc565b91610a6a6040519384610d9a565b8183528a526020808b20908b9084015b838210610aa0575050505060019282602092836002950152815201920192019190610960565b600160208192610aaf86610dd4565b815201930191019091610a7a565b50346100f057806003193601126100f05760405180916020601654928381520191601682527fd833147d7dc355ba459fc788f669e58cfaf9dc25ddcd0702e87d69c7b5124289915b818110610b1c5761015e8561015281870382610d9a565b82546001600160a01b0316845260209093019260019283019201610b05565b9050346106a3575f3660031901126106a35761011080820182811067ffffffffffffffff821117610bf157829161114c833903905ff08015610be657601f8054610100600160a81b031916600892831b610100600160a81b03161790819055901c6001600160a01b0316803b156106a3575f8091602460405180948193633fb5c1cb60e01b83528160048401525af18015610be657610bd8575080f35b610be491505f90610d9a565b005b6040513d5f823e3d90fd5b634e487b7160e01b5f52604160045260245ffd5b60206040818301928281528451809452019201905f5b818110610c285750505090565b82516001600160a01b0316845260209384019390920191600101610c1b565b805180835260209291819084018484015e5f828201840152601f01601f1916010190565b90602080835192838152019201905f5b818110610c885750505090565b82516001600160e01b031916845260209384019390920191600101610c7b565b602081016020825282518091526040820191602060408360051b8301019401925f915b838310610cda57505050505090565b9091929394602080610cf8600193603f198682030187528951610c47565b97019301930191939290610ccb565b602081016020825282518091526040820191602060408360051b8301019401925f915b838310610d3957505050505090565b9091929394602080610d6f600193603f198682030187526040838b51878060a01b03815116845201519181858201520190610c6b565b97019301930191939290610d2a565b6040810190811067ffffffffffffffff821117610bf157604052565b90601f8019910116810190811067ffffffffffffffff821117610bf157604052565b67ffffffffffffffff8111610bf15760051b60200190565b90604051915f8154908160011c9260018316928315610e96575b602085108414610e82578487528693908115610e605750600114610e1c575b50610e1a92500383610d9a565b565b90505f9291925260205f20905f915b818310610e44575050906020610e1a928201015f610e0d565b6020919350806001915483858901015201910190918492610e2b565b905060209250610e1a94915060ff191682840152151560051b8201015f610e0d565b634e487b7160e01b5f52602260045260245ffd5b93607f1693610dee565b90604051918281549182825260208201905f5260205f20925f905b806007830110610ffd57610e1a945491818110610fde575b818110610fbf575b818110610fa0575b818110610f81575b818110610f62575b818110610f43575b818110610f26575b10610f11575b500383610d9a565b6001600160e01b03191681526020015f610f09565b602083811b6001600160e01b031916855290930192600101610f03565b604083901b6001600160e01b0319168452602090930192600101610efb565b606083901b6001600160e01b0319168452602090930192600101610ef3565b608083901b6001600160e01b0319168452602090930192600101610eeb565b60a083901b6001600160e01b0319168452602090930192600101610ee3565b60c083901b6001600160e01b0319168452602090930192600101610edb565b60e083901b6001600160e01b0319168452602090930192600101610ed3565b916008919350610100600191865463ffffffff60e01b8160e01b16825263ffffffff60e01b8160c01b16602083015263ffffffff60e01b8160a01b16604083015263ffffffff60e01b8160801b16606083015263ffffffff60e01b8160601b16608083015263ffffffff60e01b8160401b1660a083015263ffffffff60e01b8160201b1660c083015263ffffffff60e01b1660e0820152019401920185929391610ebb565b60085460ff16156110b257600190565b604051630667f9d760e41b8152737109709ecfa91a80626ff3989d68f67f5b1dd12d60048201526519985a5b195960d21b6024820152602081604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa908115610be6575f91611119575b50151590565b90506020813d602011611143575b8161113460209383610d9a565b810103126106a357515f611113565b3d915061112756fe6080806040523460145760f790816100198239f35b5f80fdfe60808060405260043610156011575f80fd5b5f3560e01c9081633fb5c1cb1460ab5781638381f58a146094575063d09de08a146039575f80fd5b346090575f3660031901126090575f545f198114607c57600101805f557f3cf8b50771c17d723f2cb711ca7dadde485b222e13c84ba0730a14093fad6d5c5f80a2005b634e487b7160e01b5f52601160045260245ffd5b5f80fd5b346090575f3660031901126090576020905f548152f35b3460905760203660031901126090576004355f5500fea2646970667358221220f90ff61f866629ba2974c8309ee6225acd6c7e05b55f679e7299777d09054ae564736f6c634300081e0033a26469706673582212200a17c5fa7c3662104353efe6bc7e5eedc13078f61dfeb5a2541b1f2701fd2d6f64736f6c634300081e0033","sourceMap":"163:402:20:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1065:26:14;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2723:18:7;163:402:20;;;;;;;2723:18:7;163:402:20;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;-1:-1:-1;;;;;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;2575:18:7;163:402:20;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;2575:18:7;163:402:20;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;2876:18:7;163:402:20;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;2876:18:7;163:402:20;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3653:18:7;163:402:20;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;3653:18:7;163:402:20;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3162:18:7;163:402:20;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;3162:18:7;163:402:20;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;3346:26:7;163:402:20;;;;:::i;:::-;;;;;;;:::i;:::-;;;;3346:26:7;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;198:22;163:402;;;;;;;;-1:-1:-1;;;;;163:402:20;;;;;;;;;;;;;-1:-1:-1;;163:402:20;;;;497:7;163:402;;;;;;;;-1:-1:-1;;;;;163:402:20;497:20;;;;;163:402;;;497:20;163:402;;;;;;;;;497:20;;;163:402;497:20;;163:402;497:20;;;;;;;;;;;163:402;-1:-1:-1;;497:7:20;163:402;;;-1:-1:-1;;;536:16:20;;163:402;;;;;;;;;;;;-1:-1:-1;;;;;163:402:20;536:16;;;;;;;;;;;163:402;2747:13:2;;;;2743:68;;163:402:20;;;2743:68:2;163:402:20;2776:24:2;;;;163:402:20;;;;;;2776:24:2;;163:402:20;2776:24:2;;163:402:20;497:20;163:402;;;2776:24:2;;;;163:402:20;2776:24:2;;;;;;;;163:402:20;;2776:24:2;;;;;:::i;:::-;163:402:20;;2776:24:2;163:402:20;2776:24:2;163:402:20;;;;;;;;;2776:24:2;163:402:20;;;536:16;;;;;163:402;536:16;;163:402;536:16;;;;;;163:402;536:16;;;:::i;:::-;;;163:402;;;;;;;536:16;;;;163:402;-1:-1:-1;163:402:20;;536:16;;;-1:-1:-1;536:16:20;;;163:402;;;;;;;;;497:20;;;;;:::i;:::-;163:402;;497:20;;;;163:402;;;;;;;;;;;;;;;;370:7;163:402;;;;;-1:-1:-1;;;;;163:402:20;370:19;;;;;163:402;;;;;;;;;;;;;370:19;;;;;;;;;;163:402;-1:-1:-1;370:7:20;163:402;;;-1:-1:-1;;;408:16:20;;163:402;408:16;;163:402;;;;;;;;-1:-1:-1;;;;;163:402:20;408:16;;;;;;;;;;;163:402;2747:13:2;426:1:20;2747:13:2;;2743:68;;163:402:20;;2743:68:2;163:402:20;2776:24:2;;;;163:402:20;;;;;;2776:24:2;;163:402:20;2776:24:2;;163:402:20;426:1;163:402;;;;2776:24:2;;;;163:402:20;2776:24:2;;;;;;;;163:402:20;;408:16;;;;;;;;;;;;;;163:402;408:16;;;:::i;:::-;;;163:402;;;;;;;408:16;;;;;;-1:-1:-1;408:16:20;;370:19;;;;;:::i;:::-;163:402;;370:19;;;;163:402;;;;;;;;;;;;;;;;;;3501:18:7;163:402:20;;;;;;;3501:18:7;163:402:20;;;;;;;;;;;;;;;;;;:::i;:::-;;;-1:-1:-1;;;;;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3794:16:7;163:402:20;;;;;;;3794:16:7;163:402:20;;;;;;;;;;;;;;;;;;:::i;:::-;;;-1:-1:-1;;;;;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3948:19:7;163:402:20;;;;:::i;:::-;;;;;;;:::i;:::-;;;;3948:19:7;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;271:13;163:402;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;:::i;:::-;;;-1:-1:-1;;;;;163:402:20;;;271:13;163:402;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3018:16:7;163:402:20;;;;;;;3018:16:7;163:402:20;;;;;;;;;;;;;;;;;;:::i;:::-;;;-1:-1:-1;;;;;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;163:402:20;;;;271:13;;;;;;;;;;;;;;;;;;;;163:402;271:13;;;;;261:23;163:402;;-1:-1:-1;;;;;;163:402:20;;;;;-1:-1:-1;;;;;163:402:20;;;;;;;;-1:-1:-1;;;;;163:402:20;294:20;;;;;163:402;;;294:20;163:402;;;;;;;;;294:20;;;163:402;294:20;;163:402;294:20;;;;;;;;163:402;;;294:20;;;;163:402;294:20;;:::i;:::-;163:402;294:20;163:402;;;;;;;;;271:13;163:402;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;-1:-1:-1;;;;;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;163:402:20;;;;;;;;-1:-1:-1;;163:402:20;;;;:::o;:::-;;;;;;;;;;;;;;-1:-1:-1;163:402:20;;;;;;;;;;:::o;:::-;;;-1:-1:-1;;;;;;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;:::o;:::-;;;;;-1:-1:-1;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:::o;:::-;;;-1:-1:-1;163:402:20;;;;;-1:-1:-1;163:402:20;;-1:-1:-1;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;163:402:20;;;;;-1:-1:-1;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;163:402:20;;-1:-1:-1;163:402:20;;-1:-1:-1;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;;;;;163:402:20;;;;;;;;;;;;;-1:-1:-1;;;;;;163:402:20;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;163:402:20;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;163:402:20;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;163:402:20;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;163:402:20;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;163:402:20;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;163:402:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1306:195:2;1365:7;163:402:20;;;;;;1395:4:2;1388:11;:::o;1361:134::-;163:402:20;;;;;1437:33:2;;163:402:20;1437:33:2;;;163:402:20;192:59:2;;;1255:17;;;163:402:20;1255:17:2;1437:33;;;163:402:20;1437:33:2;;;;;;;163:402:20;1437:33:2;;;1361:134;1437:47;;;1430:54;:::o;1437:33::-;;;1255:17;1437:33;;1255:17;1437:33;;;;;;1255:17;1437:33;;;:::i;:::-;;;1255:17;;;;;1437:33;;;;;;-1:-1:-1;1437:33:2;","linkReferences":{}},"methodIdentifiers":{"IS_TEST()":"fa7626d4","counter()":"61bc221a","excludeArtifacts()":"b5508aa9","excludeContracts()":"e20c9f71","excludeSelectors()":"b0464fdc","excludeSenders()":"1ed7831c","failed()":"ba414fa6","setUp()":"0a9254e4","targetArtifactSelectors()":"66d9a9a0","targetArtifacts()":"85226c81","targetContracts()":"3f7286f4","targetInterfaces()":"2ade3880","targetSelectors()":"916a17c6","targetSenders()":"3e5e3c23","testFuzz_SetNumber(uint256)":"5c7f60d7","test_Increment()":"4820a105"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.30+commit.73712a01\"},\"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\":\"counter\",\"outputs\":[{\"internalType\":\"contract Counter\",\"name\":\"\",\"type\":\"address\"}],\"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\":\"setUp\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"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\":[{\"internalType\":\"uint256\",\"name\":\"x\",\"type\":\"uint256\"}],\"name\":\"testFuzz_SetNumber\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"test_Increment\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"test/Counter.t.sol\":\"CounterTest\"},\"evmVersion\":\"cancun\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[\":@openzeppelin/=node_modules/@openzeppelin/\",\":eth-gas-reporter/=node_modules/eth-gas-reporter/\",\":forge-std/=lib/forge-std/src/\",\":hardhat/=node_modules/hardhat/\"],\"viaIR\":true},\"sources\":{\"contracts/Counter.sol\":{\"keccak256\":\"0x64b14ccdf971163beca30779f02ce20b9e0a97a184a249d62c962b5453fe56f4\",\"license\":\"FSL-1.1-MIT\",\"urls\":[\"bzz-raw://27a3562a427bdd60c0339dc253d4e6ffb67f4842c9181a7945a9b678c145bec0\",\"dweb:/ipfs/QmW8d2ApwA9z6VfvQHssMLDEwWFwpNYxoErqLrRGqybw79\"]},\"lib/forge-std/src/Base.sol\":{\"keccak256\":\"0x4b2a5a85e045dcf6a082700c7252e43854c2eed88f860aaa18ec1e85218ae2bf\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://98d060ed5be569a92d908fc358149039dc8f833d61973aa1b9d1d8235676bf6d\",\"dweb:/ipfs/QmaWQpn5dJmbMS5skwmPPMeUWZG35BLkignPpcA3zyagEs\"]},\"lib/forge-std/src/StdAssertions.sol\":{\"keccak256\":\"0xac92c13b860c991644592312ddded2cba1ac741360a7b8902e12e9b28b9614ea\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://f910448483ba0902764c5606f40e070b5899ec174de044b057ffa19678f058b5\",\"dweb:/ipfs/QmNgcS1S1igRY4BhSBaXynoB1BpiRiQzJAeLZyhwFynCZy\"]},\"lib/forge-std/src/StdChains.sol\":{\"keccak256\":\"0xb2cbca1a6ffa19926c31bad47393a070305c809fe5d88c52214d5c51ce0733c6\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://cf20975cfd9733910305fc8e746c7631c2ab210289aab036cec32f3c530335c7\",\"dweb:/ipfs/QmYYvVzvAN1uCt8XtDmWo5x2inSVJBYajFexe92rVWEuMf\"]},\"lib/forge-std/src/StdCheats.sol\":{\"keccak256\":\"0x07852d61fcf2fe5e25fa66e607f52cb97eab8adaf2e3fd4cb8404eb69baee90c\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://ed97c9c7372b77a0b417c1285f631aa1396d8c3104f14b80abd559f305d67d1e\",\"dweb:/ipfs/QmeHLpi3g9XKLT8z76AF5ofwrXQm2yxPDpWztCZ2wPDW6i\"]},\"lib/forge-std/src/StdConstants.sol\":{\"keccak256\":\"0x319ccdabfa2c0b2428301445873270ffea20f0e039d4fd5e6eeba65158e4e534\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://b633f9d3a719e1d035ce7daa6cc051ddf89a72d34200d14cec37728e245cdabc\",\"dweb:/ipfs/QmRP7HQJpHMx1CsFrY8tXVVx1DQmi2dcb2BoGfiWaA923r\"]},\"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\":\"0x9de30197a56fe90c443948c3feeb20e9a29e0e9c0b8fa893e8ac4c1344acd589\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://444783bd32a8abfd3fbcf16c5d1cdccef5608b2a9cfddd789fa1b045b077ed2a\",\"dweb:/ipfs/QmY94NxHDFW1Knxs9GcgFhq2QZQpRXgor4NMamKQ9CCVyp\"]},\"lib/forge-std/src/StdMath.sol\":{\"keccak256\":\"0xcb876f5421e5aae334f9a6c5d549131c18ad347f1035d2a1e920f2623f346c85\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://28076e06b01be4095f860fa9b142c284bac34c0813948e0a52d11acc15502db6\",\"dweb:/ipfs/QmVR6XFTmBatJAVvYgkZxN21R5zvYTU4ard4Aow8TmXjy9\"]},\"lib/forge-std/src/StdStorage.sol\":{\"keccak256\":\"0x04102de0a79398e4bdea57b7a4818655b4cc66d6f81d1cff08bf428cd0b384cd\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://53edc6c8f7f67cafc0129f039637c77d979880f7f1947defea31e8f0c05095bc\",\"dweb:/ipfs/QmUKXJd1vFCkxxrkXNLURdXrx2apoyWQFrFb5UqNkjdHVi\"]},\"lib/forge-std/src/StdStyle.sol\":{\"keccak256\":\"0x43e2a8a9b9c2574dabe74f11adf6f782df218f463540e3b5b563609fe108597d\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://51363ca97404cf4128e1141428949768c31929e75e014b02c85e887fbbb4f1b8\",\"dweb:/ipfs/QmVhtbQc2fU4rRmbcfBtz34mAgG4BAZBsbna1Ca4SkoPsK\"]},\"lib/forge-std/src/StdToml.sol\":{\"keccak256\":\"0xab2a75a814f280bfcb4e8bfad9c2108fb3ab29a15cfaf74fa0758594e836ea80\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://9baa5aacc065172569c3b1d12bb42b5b703476690de481c4c11e88acc216da33\",\"dweb:/ipfs/QmetZcd1KvZHKYMbdKBVNpKHidqYHsWc2A2NZeh5NLow5y\"]},\"lib/forge-std/src/StdUtils.sol\":{\"keccak256\":\"0xb2469a902a326074034c4f7081d868113db0edbb7cf48b86528af2d6b07295f8\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://1430a81c4978be875e2a3b31a8bfa4e1438fecd327f23771b690d64db63c020a\",\"dweb:/ipfs/QmW6aB2u1LNaRgGQFwjV7L7UbxsRg63iJ7AuujPouEa4cT\"]},\"lib/forge-std/src/Test.sol\":{\"keccak256\":\"0x3dda6083a83dfa3e8526e97bcc28e862ee2442dd58fe94d5c426d65b8e38f73c\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://33f8c02e4dabdab86a6825125856446a8657eacd712318b51b7818e4a6f6e3f4\",\"dweb:/ipfs/QmRKSjVnrk54yr8wTK2e6QxRjiuba2H8HJSKunHAkdo7RG\"]},\"lib/forge-std/src/Vm.sol\":{\"keccak256\":\"0x9a713f54fb97feca432be59f4105779b6041d55f09e814b47e820dabac8a6ffe\",\"license\":\"MIT OR Apache-2.0\",\"urls\":[\"bzz-raw://1b023d74b975d6ec572f2fa88b8310688c223803ef71376667b780188772e1a2\",\"dweb:/ipfs/QmbxEQvNUBxeSUi1w9Fr1BvmLiUyGwXrSDTfX3sWTY5WXV\"]},\"lib/forge-std/src/console.sol\":{\"keccak256\":\"0x4bbf47eb762cef93729d6ef15e78789957147039b113e5d4df48e3d3fd16d0f5\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://af9e3a7c3d82fb5b10b57ca4d1a82f2acbef80c077f6f6ef0cc0187c7bfd9f57\",\"dweb:/ipfs/QmR9VzmnBDJpgiDP6CHT6truehukF9HpYvuP6kRiJbDwPP\"]},\"lib/forge-std/src/console2.sol\":{\"keccak256\":\"0x3b8fe79f48f065a4e4d35362171304a33784c3a90febae5f2787805a438de12f\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://61de63af08803549299e68b6e6e88d40f3c5afac450e4ee0a228c66a61ba003d\",\"dweb:/ipfs/QmWVoQ5rrVxnczD4ZZoPbD4PC9Z3uExJtzjD4awTqd14MZ\"]},\"lib/forge-std/src/interfaces/IMulticall3.sol\":{\"keccak256\":\"0xeb0daba50f85adb160209f03ebf7b3b548e09651aa799087795daf17b1495c7a\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://8b5b356871e51267728d69c662d8d8ce653dd0a8edc47098b6f8064ea1173e28\",\"dweb:/ipfs/QmRJTAmV68NYGSkDGKrGpsJnEZ8wQF4dDCevXGtNU4RWtQ\"]},\"lib/forge-std/src/safeconsole.sol\":{\"keccak256\":\"0xbef9786cb49d3eade757bad87568c49c8c8f35721f0193c95ffb055d9e466e11\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://3bafd2b0b2d28068d329f95ea8a1fbce3719c257fcb863fc01abcbafd8d531ab\",\"dweb:/ipfs/QmUeaFjKWTVDBsHVfSob4mwt6A5hTnKDz22HaUXeZhypa3\"]},\"test/Counter.t.sol\":{\"keccak256\":\"0xaaf131fefa4eb93219cd1f14ffdd842efea7d0c96235d18df5896ecb2f66d0ff\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://fa900d72ac38fbdc39b8f63592c4be6e76db43fc3f00195d2c75933a4a1ffff1\",\"dweb:/ipfs/QmT4Z75y55uXjdwVjc5sWkW5HXi4qVrB6KVhewrdz8zgqQ\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.30+commit.73712a01"},"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":false},{"internalType":"int256[]","name":"val","type":"int256[]","indexed":false}],"type":"event","name":"log_named_array","anonymous":false},{"inputs":[{"internalType":"string","name":"key","type":"string","indexed":false},{"internalType":"address[]","name":"val","type":"address[]","indexed":false}],"type":"event","name":"log_named_array","anonymous":false},{"inputs":[{"internalType":"string","name":"key","type":"string","indexed":false},{"internalType":"bytes","name":"val","type":"bytes","indexed":false}],"type":"event","name":"log_named_bytes","anonymous":false},{"inputs":[{"internalType":"string","name":"key","type":"string","indexed":false},{"internalType":"bytes32","name":"val","type":"bytes32","indexed":false}],"type":"event","name":"log_named_bytes32","anonymous":false},{"inputs":[{"internalType":"string","name":"key","type":"string","indexed":false},{"internalType":"int256","name":"val","type":"int256","indexed":false},{"internalType":"uint256","name":"decimals","type":"uint256","indexed":false}],"type":"event","name":"log_named_decimal_int","anonymous":false},{"inputs":[{"internalType":"string","name":"key","type":"string","indexed":false},{"internalType":"uint256","name":"val","type":"uint256","indexed":false},{"internalType":"uint256","name":"decimals","type":"uint256","indexed":false}],"type":"event","name":"log_named_decimal_uint","anonymous":false},{"inputs":[{"internalType":"string","name":"key","type":"string","indexed":false},{"internalType":"int256","name":"val","type":"int256","indexed":false}],"type":"event","name":"log_named_int","anonymous":false},{"inputs":[{"internalType":"string","name":"key","type":"string","indexed":false},{"internalType":"string","name":"val","type":"string","indexed":false}],"type":"event","name":"log_named_string","anonymous":false},{"inputs":[{"internalType":"string","name":"key","type":"string","indexed":false},{"internalType":"uint256","name":"val","type":"uint256","indexed":false}],"type":"event","name":"log_named_uint","anonymous":false},{"inputs":[{"internalType":"string","name":"","type":"string","indexed":false}],"type":"event","name":"log_string","anonymous":false},{"inputs":[{"internalType":"uint256","name":"","type":"uint256","indexed":false}],"type":"event","name":"log_uint","anonymous":false},{"inputs":[{"internalType":"bytes","name":"","type":"bytes","indexed":false}],"type":"event","name":"logs","anonymous":false},{"inputs":[],"stateMutability":"view","type":"function","name":"IS_TEST","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"counter","outputs":[{"internalType":"contract Counter","name":"","type":"address"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"excludeArtifacts","outputs":[{"internalType":"string[]","name":"excludedArtifacts_","type":"string[]"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"excludeContracts","outputs":[{"internalType":"address[]","name":"excludedContracts_","type":"address[]"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"excludeSelectors","outputs":[{"internalType":"struct StdInvariant.FuzzSelector[]","name":"excludedSelectors_","type":"tuple[]","components":[{"internalType":"address","name":"addr","type":"address"},{"internalType":"bytes4[]","name":"selectors","type":"bytes4[]"}]}]},{"inputs":[],"stateMutability":"view","type":"function","name":"excludeSenders","outputs":[{"internalType":"address[]","name":"excludedSenders_","type":"address[]"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"failed","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[],"stateMutability":"nonpayable","type":"function","name":"setUp"},{"inputs":[],"stateMutability":"view","type":"function","name":"targetArtifactSelectors","outputs":[{"internalType":"struct StdInvariant.FuzzArtifactSelector[]","name":"targetedArtifactSelectors_","type":"tuple[]","components":[{"internalType":"string","name":"artifact","type":"string"},{"internalType":"bytes4[]","name":"selectors","type":"bytes4[]"}]}]},{"inputs":[],"stateMutability":"view","type":"function","name":"targetArtifacts","outputs":[{"internalType":"string[]","name":"targetedArtifacts_","type":"string[]"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"targetContracts","outputs":[{"internalType":"address[]","name":"targetedContracts_","type":"address[]"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"targetInterfaces","outputs":[{"internalType":"struct StdInvariant.FuzzInterface[]","name":"targetedInterfaces_","type":"tuple[]","components":[{"internalType":"address","name":"addr","type":"address"},{"internalType":"string[]","name":"artifacts","type":"string[]"}]}]},{"inputs":[],"stateMutability":"view","type":"function","name":"targetSelectors","outputs":[{"internalType":"struct StdInvariant.FuzzSelector[]","name":"targetedSelectors_","type":"tuple[]","components":[{"internalType":"address","name":"addr","type":"address"},{"internalType":"bytes4[]","name":"selectors","type":"bytes4[]"}]}]},{"inputs":[],"stateMutability":"view","type":"function","name":"targetSenders","outputs":[{"internalType":"address[]","name":"targetedSenders_","type":"address[]"}]},{"inputs":[{"internalType":"uint256","name":"x","type":"uint256"}],"stateMutability":"nonpayable","type":"function","name":"testFuzz_SetNumber"},{"inputs":[],"stateMutability":"nonpayable","type":"function","name":"test_Increment"}],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@openzeppelin/=node_modules/@openzeppelin/","eth-gas-reporter/=node_modules/eth-gas-reporter/","forge-std/=lib/forge-std/src/","hardhat/=node_modules/hardhat/"],"optimizer":{"enabled":true,"runs":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"test/Counter.t.sol":"CounterTest"},"evmVersion":"cancun","libraries":{},"viaIR":true},"sources":{"contracts/Counter.sol":{"keccak256":"0x64b14ccdf971163beca30779f02ce20b9e0a97a184a249d62c962b5453fe56f4","urls":["bzz-raw://27a3562a427bdd60c0339dc253d4e6ffb67f4842c9181a7945a9b678c145bec0","dweb:/ipfs/QmW8d2ApwA9z6VfvQHssMLDEwWFwpNYxoErqLrRGqybw79"],"license":"FSL-1.1-MIT"},"lib/forge-std/src/Base.sol":{"keccak256":"0x4b2a5a85e045dcf6a082700c7252e43854c2eed88f860aaa18ec1e85218ae2bf","urls":["bzz-raw://98d060ed5be569a92d908fc358149039dc8f833d61973aa1b9d1d8235676bf6d","dweb:/ipfs/QmaWQpn5dJmbMS5skwmPPMeUWZG35BLkignPpcA3zyagEs"],"license":"MIT"},"lib/forge-std/src/StdAssertions.sol":{"keccak256":"0xac92c13b860c991644592312ddded2cba1ac741360a7b8902e12e9b28b9614ea","urls":["bzz-raw://f910448483ba0902764c5606f40e070b5899ec174de044b057ffa19678f058b5","dweb:/ipfs/QmNgcS1S1igRY4BhSBaXynoB1BpiRiQzJAeLZyhwFynCZy"],"license":"MIT"},"lib/forge-std/src/StdChains.sol":{"keccak256":"0xb2cbca1a6ffa19926c31bad47393a070305c809fe5d88c52214d5c51ce0733c6","urls":["bzz-raw://cf20975cfd9733910305fc8e746c7631c2ab210289aab036cec32f3c530335c7","dweb:/ipfs/QmYYvVzvAN1uCt8XtDmWo5x2inSVJBYajFexe92rVWEuMf"],"license":"MIT"},"lib/forge-std/src/StdCheats.sol":{"keccak256":"0x07852d61fcf2fe5e25fa66e607f52cb97eab8adaf2e3fd4cb8404eb69baee90c","urls":["bzz-raw://ed97c9c7372b77a0b417c1285f631aa1396d8c3104f14b80abd559f305d67d1e","dweb:/ipfs/QmeHLpi3g9XKLT8z76AF5ofwrXQm2yxPDpWztCZ2wPDW6i"],"license":"MIT"},"lib/forge-std/src/StdConstants.sol":{"keccak256":"0x319ccdabfa2c0b2428301445873270ffea20f0e039d4fd5e6eeba65158e4e534","urls":["bzz-raw://b633f9d3a719e1d035ce7daa6cc051ddf89a72d34200d14cec37728e245cdabc","dweb:/ipfs/QmRP7HQJpHMx1CsFrY8tXVVx1DQmi2dcb2BoGfiWaA923r"],"license":"MIT"},"lib/forge-std/src/StdError.sol":{"keccak256":"0xbf477b11a42d7611696956546bcfaa29317d1166bf65e402344599c05943fc77","urls":["bzz-raw://bc2e117d1135e030862b96a6526a43feb38d396cc79857f1fb696d4eff0e5fd6","dweb:/ipfs/QmdSuQ5RrQudTLsNmWXGEeVJX8gR5U9XPm6m4dwwuQnJrj"],"license":"MIT"},"lib/forge-std/src/StdInvariant.sol":{"keccak256":"0x4dab3021edfa9511bbdd80c48f060ef62eaf457f99eaf841f561fc2557d9a08d","urls":["bzz-raw://07668628673174cf8f27f8f4e1f862bab775013ec247eb34f698c5005f229391","dweb:/ipfs/QmPJsiiYwmCZXMsHmQv5tg8VF3CAhNdat7WnKLTWZZH2v5"],"license":"MIT"},"lib/forge-std/src/StdJson.sol":{"keccak256":"0x9de30197a56fe90c443948c3feeb20e9a29e0e9c0b8fa893e8ac4c1344acd589","urls":["bzz-raw://444783bd32a8abfd3fbcf16c5d1cdccef5608b2a9cfddd789fa1b045b077ed2a","dweb:/ipfs/QmY94NxHDFW1Knxs9GcgFhq2QZQpRXgor4NMamKQ9CCVyp"],"license":"MIT"},"lib/forge-std/src/StdMath.sol":{"keccak256":"0xcb876f5421e5aae334f9a6c5d549131c18ad347f1035d2a1e920f2623f346c85","urls":["bzz-raw://28076e06b01be4095f860fa9b142c284bac34c0813948e0a52d11acc15502db6","dweb:/ipfs/QmVR6XFTmBatJAVvYgkZxN21R5zvYTU4ard4Aow8TmXjy9"],"license":"MIT"},"lib/forge-std/src/StdStorage.sol":{"keccak256":"0x04102de0a79398e4bdea57b7a4818655b4cc66d6f81d1cff08bf428cd0b384cd","urls":["bzz-raw://53edc6c8f7f67cafc0129f039637c77d979880f7f1947defea31e8f0c05095bc","dweb:/ipfs/QmUKXJd1vFCkxxrkXNLURdXrx2apoyWQFrFb5UqNkjdHVi"],"license":"MIT"},"lib/forge-std/src/StdStyle.sol":{"keccak256":"0x43e2a8a9b9c2574dabe74f11adf6f782df218f463540e3b5b563609fe108597d","urls":["bzz-raw://51363ca97404cf4128e1141428949768c31929e75e014b02c85e887fbbb4f1b8","dweb:/ipfs/QmVhtbQc2fU4rRmbcfBtz34mAgG4BAZBsbna1Ca4SkoPsK"],"license":"MIT"},"lib/forge-std/src/StdToml.sol":{"keccak256":"0xab2a75a814f280bfcb4e8bfad9c2108fb3ab29a15cfaf74fa0758594e836ea80","urls":["bzz-raw://9baa5aacc065172569c3b1d12bb42b5b703476690de481c4c11e88acc216da33","dweb:/ipfs/QmetZcd1KvZHKYMbdKBVNpKHidqYHsWc2A2NZeh5NLow5y"],"license":"MIT"},"lib/forge-std/src/StdUtils.sol":{"keccak256":"0xb2469a902a326074034c4f7081d868113db0edbb7cf48b86528af2d6b07295f8","urls":["bzz-raw://1430a81c4978be875e2a3b31a8bfa4e1438fecd327f23771b690d64db63c020a","dweb:/ipfs/QmW6aB2u1LNaRgGQFwjV7L7UbxsRg63iJ7AuujPouEa4cT"],"license":"MIT"},"lib/forge-std/src/Test.sol":{"keccak256":"0x3dda6083a83dfa3e8526e97bcc28e862ee2442dd58fe94d5c426d65b8e38f73c","urls":["bzz-raw://33f8c02e4dabdab86a6825125856446a8657eacd712318b51b7818e4a6f6e3f4","dweb:/ipfs/QmRKSjVnrk54yr8wTK2e6QxRjiuba2H8HJSKunHAkdo7RG"],"license":"MIT"},"lib/forge-std/src/Vm.sol":{"keccak256":"0x9a713f54fb97feca432be59f4105779b6041d55f09e814b47e820dabac8a6ffe","urls":["bzz-raw://1b023d74b975d6ec572f2fa88b8310688c223803ef71376667b780188772e1a2","dweb:/ipfs/QmbxEQvNUBxeSUi1w9Fr1BvmLiUyGwXrSDTfX3sWTY5WXV"],"license":"MIT OR Apache-2.0"},"lib/forge-std/src/console.sol":{"keccak256":"0x4bbf47eb762cef93729d6ef15e78789957147039b113e5d4df48e3d3fd16d0f5","urls":["bzz-raw://af9e3a7c3d82fb5b10b57ca4d1a82f2acbef80c077f6f6ef0cc0187c7bfd9f57","dweb:/ipfs/QmR9VzmnBDJpgiDP6CHT6truehukF9HpYvuP6kRiJbDwPP"],"license":"MIT"},"lib/forge-std/src/console2.sol":{"keccak256":"0x3b8fe79f48f065a4e4d35362171304a33784c3a90febae5f2787805a438de12f","urls":["bzz-raw://61de63af08803549299e68b6e6e88d40f3c5afac450e4ee0a228c66a61ba003d","dweb:/ipfs/QmWVoQ5rrVxnczD4ZZoPbD4PC9Z3uExJtzjD4awTqd14MZ"],"license":"MIT"},"lib/forge-std/src/interfaces/IMulticall3.sol":{"keccak256":"0xeb0daba50f85adb160209f03ebf7b3b548e09651aa799087795daf17b1495c7a","urls":["bzz-raw://8b5b356871e51267728d69c662d8d8ce653dd0a8edc47098b6f8064ea1173e28","dweb:/ipfs/QmRJTAmV68NYGSkDGKrGpsJnEZ8wQF4dDCevXGtNU4RWtQ"],"license":"MIT"},"lib/forge-std/src/safeconsole.sol":{"keccak256":"0xbef9786cb49d3eade757bad87568c49c8c8f35721f0193c95ffb055d9e466e11","urls":["bzz-raw://3bafd2b0b2d28068d329f95ea8a1fbce3719c257fcb863fc01abcbafd8d531ab","dweb:/ipfs/QmUeaFjKWTVDBsHVfSob4mwt6A5hTnKDz22HaUXeZhypa3"],"license":"MIT"},"test/Counter.t.sol":{"keccak256":"0xaaf131fefa4eb93219cd1f14ffdd842efea7d0c96235d18df5896ecb2f66d0ff","urls":["bzz-raw://fa900d72ac38fbdc39b8f63592c4be6e76db43fc3f00195d2c75933a4a1ffff1","dweb:/ipfs/QmT4Z75y55uXjdwVjc5sWkW5HXi4qVrB6KVhewrdz8zgqQ"],"license":"MIT"}},"version":1},"id":20}