{"abi":[{"type":"function","name":"add","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_value","type":"address","internalType":"address"}],"outputs":[{"name":"newSet","type":"address[]","internalType":"address[]"}],"stateMutability":"pure"},{"type":"function","name":"cardinality","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"}],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"pure"},{"type":"function","name":"contains","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_value","type":"address","internalType":"address"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"containsAll","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_values","type":"address[]","internalType":"address[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"containsAny","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_values","type":"address[]","internalType":"address[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"difference","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_values","type":"address[]","internalType":"address[]"}],"outputs":[{"name":"","type":"address[]","internalType":"address[]"}],"stateMutability":"pure"},{"type":"function","name":"equal","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_values","type":"address[]","internalType":"address[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"intersect","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_values","type":"address[]","internalType":"address[]"}],"outputs":[{"name":"","type":"address[]","internalType":"address[]"}],"stateMutability":"pure"},{"type":"function","name":"isProperSubset","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_values","type":"address[]","internalType":"address[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isProperSuperset","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_values","type":"address[]","internalType":"address[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isSubset","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_values","type":"address[]","internalType":"address[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isSuperset","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_values","type":"address[]","internalType":"address[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"remove","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_value","type":"address","internalType":"address"}],"outputs":[{"name":"newSet","type":"address[]","internalType":"address[]"}],"stateMutability":"pure"},{"type":"function","name":"removeAll","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_values","type":"address[]","internalType":"address[]"}],"outputs":[{"name":"newSet","type":"address[]","internalType":"address[]"}],"stateMutability":"pure"},{"type":"function","name":"union","inputs":[{"name":"_set","type":"address[]","internalType":"address[]"},{"name":"_values","type":"address[]","internalType":"address[]"}],"outputs":[{"name":"","type":"address[]","internalType":"address[]"}],"stateMutability":"pure"}],"bytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"deployedBytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"methodIdentifiers":{"add(address[],address)":"1f43e30f","cardinality(address[])":"b448e978","contains(address[],address)":"3da80d66","containsAll(address[],address[])":"712f9737","containsAny(address[],address[])":"cf0d5d94","difference(address[],address[])":"d124dd8e","equal(address[],address[])":"6df86478","intersect(address[],address[])":"9ea98d55","isProperSubset(address[],address[])":"8d1f21c4","isProperSuperset(address[],address[])":"71a60126","isSubset(address[],address[])":"0d3de926","isSuperset(address[],address[])":"baa83c80","remove(address[],address)":"566a691b","removeAll(address[],address[])":"720bf020","union(address[],address[])":"78537808"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.24+commit.e11b9ed9\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address\",\"name\":\"_value\",\"type\":\"address\"}],\"name\":\"add\",\"outputs\":[{\"internalType\":\"address[]\",\"name\":\"newSet\",\"type\":\"address[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"}],\"name\":\"cardinality\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address\",\"name\":\"_value\",\"type\":\"address\"}],\"name\":\"contains\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address[]\",\"name\":\"_values\",\"type\":\"address[]\"}],\"name\":\"containsAll\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address[]\",\"name\":\"_values\",\"type\":\"address[]\"}],\"name\":\"containsAny\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address[]\",\"name\":\"_values\",\"type\":\"address[]\"}],\"name\":\"difference\",\"outputs\":[{\"internalType\":\"address[]\",\"name\":\"\",\"type\":\"address[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address[]\",\"name\":\"_values\",\"type\":\"address[]\"}],\"name\":\"equal\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address[]\",\"name\":\"_values\",\"type\":\"address[]\"}],\"name\":\"intersect\",\"outputs\":[{\"internalType\":\"address[]\",\"name\":\"\",\"type\":\"address[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address[]\",\"name\":\"_values\",\"type\":\"address[]\"}],\"name\":\"isProperSubset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address[]\",\"name\":\"_values\",\"type\":\"address[]\"}],\"name\":\"isProperSuperset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address[]\",\"name\":\"_values\",\"type\":\"address[]\"}],\"name\":\"isSubset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address[]\",\"name\":\"_values\",\"type\":\"address[]\"}],\"name\":\"isSuperset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address\",\"name\":\"_value\",\"type\":\"address\"}],\"name\":\"remove\",\"outputs\":[{\"internalType\":\"address[]\",\"name\":\"newSet\",\"type\":\"address[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address[]\",\"name\":\"_values\",\"type\":\"address[]\"}],\"name\":\"removeAll\",\"outputs\":[{\"internalType\":\"address[]\",\"name\":\"newSet\",\"type\":\"address[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address[]\",\"name\":\"_set\",\"type\":\"address[]\"},{\"internalType\":\"address[]\",\"name\":\"_values\",\"type\":\"address[]\"}],\"name\":\"union\",\"outputs\":[{\"internalType\":\"address[]\",\"name\":\"\",\"type\":\"address[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/interfaces/precompile/IAddressSet.sol\":\"IAddressSet\"},\"evmVersion\":\"cancun\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[\":@forma-dev/sdk/=/\",\":@hyperlane-xyz/=node_modules/@hyperlane-xyz/\",\":@openzeppelin/=node_modules/@openzeppelin/\",\":@thirdweb-dev/=node_modules/@thirdweb-dev/\",\":forge-std/=lib/forge-std/src/\"]},\"sources\":{\"contracts/interfaces/precompile/IAddressSet.sol\":{\"keccak256\":\"0x9079dd444be4fb5b43b74fc4b608045003cacf5c000941187229eafff795b874\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://61a6f1ce5da90f1e30eb2b75773b64979f29d14415acd32e56bb397c3ef8f610\",\"dweb:/ipfs/QmYqz8x1XBEhPGiZAvbqPWpopvG51UhAdwegeLmbwdWtJB\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.24+commit.e11b9ed9"},"language":"Solidity","output":{"abi":[{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address","name":"_value","type":"address"}],"stateMutability":"pure","type":"function","name":"add","outputs":[{"internalType":"address[]","name":"newSet","type":"address[]"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"}],"stateMutability":"pure","type":"function","name":"cardinality","outputs":[{"internalType":"uint256","name":"","type":"uint256"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address","name":"_value","type":"address"}],"stateMutability":"pure","type":"function","name":"contains","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address[]","name":"_values","type":"address[]"}],"stateMutability":"pure","type":"function","name":"containsAll","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address[]","name":"_values","type":"address[]"}],"stateMutability":"pure","type":"function","name":"containsAny","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address[]","name":"_values","type":"address[]"}],"stateMutability":"pure","type":"function","name":"difference","outputs":[{"internalType":"address[]","name":"","type":"address[]"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address[]","name":"_values","type":"address[]"}],"stateMutability":"pure","type":"function","name":"equal","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address[]","name":"_values","type":"address[]"}],"stateMutability":"pure","type":"function","name":"intersect","outputs":[{"internalType":"address[]","name":"","type":"address[]"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address[]","name":"_values","type":"address[]"}],"stateMutability":"pure","type":"function","name":"isProperSubset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address[]","name":"_values","type":"address[]"}],"stateMutability":"pure","type":"function","name":"isProperSuperset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address[]","name":"_values","type":"address[]"}],"stateMutability":"pure","type":"function","name":"isSubset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address[]","name":"_values","type":"address[]"}],"stateMutability":"pure","type":"function","name":"isSuperset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address","name":"_value","type":"address"}],"stateMutability":"pure","type":"function","name":"remove","outputs":[{"internalType":"address[]","name":"newSet","type":"address[]"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address[]","name":"_values","type":"address[]"}],"stateMutability":"pure","type":"function","name":"removeAll","outputs":[{"internalType":"address[]","name":"newSet","type":"address[]"}]},{"inputs":[{"internalType":"address[]","name":"_set","type":"address[]"},{"internalType":"address[]","name":"_values","type":"address[]"}],"stateMutability":"pure","type":"function","name":"union","outputs":[{"internalType":"address[]","name":"","type":"address[]"}]}],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@forma-dev/sdk/=/","@hyperlane-xyz/=node_modules/@hyperlane-xyz/","@openzeppelin/=node_modules/@openzeppelin/","@thirdweb-dev/=node_modules/@thirdweb-dev/","forge-std/=lib/forge-std/src/"],"optimizer":{"enabled":true,"runs":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"contracts/interfaces/precompile/IAddressSet.sol":"IAddressSet"},"evmVersion":"cancun","libraries":{}},"sources":{"contracts/interfaces/precompile/IAddressSet.sol":{"keccak256":"0x9079dd444be4fb5b43b74fc4b608045003cacf5c000941187229eafff795b874","urls":["bzz-raw://61a6f1ce5da90f1e30eb2b75773b64979f29d14415acd32e56bb397c3ef8f610","dweb:/ipfs/QmYqz8x1XBEhPGiZAvbqPWpopvG51UhAdwegeLmbwdWtJB"],"license":"MIT"}},"version":1},"id":6}