{"abi":[{"type":"function","name":"add","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_value","type":"string","internalType":"string"}],"outputs":[{"name":"newSet","type":"string[]","internalType":"string[]"}],"stateMutability":"pure"},{"type":"function","name":"cardinality","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"}],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"pure"},{"type":"function","name":"contains","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_value","type":"string","internalType":"string"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"containsAll","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_values","type":"string[]","internalType":"string[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"containsAny","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_values","type":"string[]","internalType":"string[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"difference","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_values","type":"string[]","internalType":"string[]"}],"outputs":[{"name":"","type":"string[]","internalType":"string[]"}],"stateMutability":"pure"},{"type":"function","name":"equal","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_values","type":"string[]","internalType":"string[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"intersect","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_values","type":"string[]","internalType":"string[]"}],"outputs":[{"name":"","type":"string[]","internalType":"string[]"}],"stateMutability":"pure"},{"type":"function","name":"isProperSubset","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_values","type":"string[]","internalType":"string[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isProperSuperset","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_values","type":"string[]","internalType":"string[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isSubset","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_values","type":"string[]","internalType":"string[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isSuperset","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_values","type":"string[]","internalType":"string[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"remove","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_value","type":"string","internalType":"string"}],"outputs":[{"name":"newSet","type":"string[]","internalType":"string[]"}],"stateMutability":"pure"},{"type":"function","name":"removeAll","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_values","type":"string[]","internalType":"string[]"}],"outputs":[{"name":"newSet","type":"string[]","internalType":"string[]"}],"stateMutability":"pure"},{"type":"function","name":"union","inputs":[{"name":"_set","type":"string[]","internalType":"string[]"},{"name":"_values","type":"string[]","internalType":"string[]"}],"outputs":[{"name":"","type":"string[]","internalType":"string[]"}],"stateMutability":"pure"}],"bytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"deployedBytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"methodIdentifiers":{"add(string[],string)":"a4b18fd6","cardinality(string[])":"bed4ee66","contains(string[],string)":"ea7d179d","containsAll(string[],string[])":"6e937e28","containsAny(string[],string[])":"d4c24e49","difference(string[],string[])":"46268029","equal(string[],string[])":"60fb55d5","intersect(string[],string[])":"92acfe3b","isProperSubset(string[],string[])":"67f64581","isProperSuperset(string[],string[])":"303278e2","isSubset(string[],string[])":"cf828fee","isSuperset(string[],string[])":"8ad18ed9","remove(string[],string)":"e09892d2","removeAll(string[],string[])":"e9786700","union(string[],string[])":"852fc47d"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.24+commit.e11b9ed9\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string\",\"name\":\"_value\",\"type\":\"string\"}],\"name\":\"add\",\"outputs\":[{\"internalType\":\"string[]\",\"name\":\"newSet\",\"type\":\"string[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"}],\"name\":\"cardinality\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string\",\"name\":\"_value\",\"type\":\"string\"}],\"name\":\"contains\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string[]\",\"name\":\"_values\",\"type\":\"string[]\"}],\"name\":\"containsAll\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string[]\",\"name\":\"_values\",\"type\":\"string[]\"}],\"name\":\"containsAny\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string[]\",\"name\":\"_values\",\"type\":\"string[]\"}],\"name\":\"difference\",\"outputs\":[{\"internalType\":\"string[]\",\"name\":\"\",\"type\":\"string[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string[]\",\"name\":\"_values\",\"type\":\"string[]\"}],\"name\":\"equal\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string[]\",\"name\":\"_values\",\"type\":\"string[]\"}],\"name\":\"intersect\",\"outputs\":[{\"internalType\":\"string[]\",\"name\":\"\",\"type\":\"string[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string[]\",\"name\":\"_values\",\"type\":\"string[]\"}],\"name\":\"isProperSubset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string[]\",\"name\":\"_values\",\"type\":\"string[]\"}],\"name\":\"isProperSuperset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string[]\",\"name\":\"_values\",\"type\":\"string[]\"}],\"name\":\"isSubset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string[]\",\"name\":\"_values\",\"type\":\"string[]\"}],\"name\":\"isSuperset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string\",\"name\":\"_value\",\"type\":\"string\"}],\"name\":\"remove\",\"outputs\":[{\"internalType\":\"string[]\",\"name\":\"newSet\",\"type\":\"string[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string[]\",\"name\":\"_values\",\"type\":\"string[]\"}],\"name\":\"removeAll\",\"outputs\":[{\"internalType\":\"string[]\",\"name\":\"newSet\",\"type\":\"string[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string[]\",\"name\":\"_set\",\"type\":\"string[]\"},{\"internalType\":\"string[]\",\"name\":\"_values\",\"type\":\"string[]\"}],\"name\":\"union\",\"outputs\":[{\"internalType\":\"string[]\",\"name\":\"\",\"type\":\"string[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/interfaces/precompile/IStringSet.sol\":\"IStringSet\"},\"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/IStringSet.sol\":{\"keccak256\":\"0x1df32f16f048499ef99a5e480b7a3903925ef0ee667addb3d70721f4f971a12d\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://bf9be419b7758de24cca9ed6e881d0aac391cbb822cc949bb2e7d64f4c8e6b2d\",\"dweb:/ipfs/QmNW2oZYsbpwmtHCsjdo6NnVYESJp5b29pB4gRxTfDDvrj\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.24+commit.e11b9ed9"},"language":"Solidity","output":{"abi":[{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string","name":"_value","type":"string"}],"stateMutability":"pure","type":"function","name":"add","outputs":[{"internalType":"string[]","name":"newSet","type":"string[]"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"}],"stateMutability":"pure","type":"function","name":"cardinality","outputs":[{"internalType":"uint256","name":"","type":"uint256"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string","name":"_value","type":"string"}],"stateMutability":"pure","type":"function","name":"contains","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string[]","name":"_values","type":"string[]"}],"stateMutability":"pure","type":"function","name":"containsAll","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string[]","name":"_values","type":"string[]"}],"stateMutability":"pure","type":"function","name":"containsAny","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string[]","name":"_values","type":"string[]"}],"stateMutability":"pure","type":"function","name":"difference","outputs":[{"internalType":"string[]","name":"","type":"string[]"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string[]","name":"_values","type":"string[]"}],"stateMutability":"pure","type":"function","name":"equal","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string[]","name":"_values","type":"string[]"}],"stateMutability":"pure","type":"function","name":"intersect","outputs":[{"internalType":"string[]","name":"","type":"string[]"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string[]","name":"_values","type":"string[]"}],"stateMutability":"pure","type":"function","name":"isProperSubset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string[]","name":"_values","type":"string[]"}],"stateMutability":"pure","type":"function","name":"isProperSuperset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string[]","name":"_values","type":"string[]"}],"stateMutability":"pure","type":"function","name":"isSubset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string[]","name":"_values","type":"string[]"}],"stateMutability":"pure","type":"function","name":"isSuperset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string","name":"_value","type":"string"}],"stateMutability":"pure","type":"function","name":"remove","outputs":[{"internalType":"string[]","name":"newSet","type":"string[]"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string[]","name":"_values","type":"string[]"}],"stateMutability":"pure","type":"function","name":"removeAll","outputs":[{"internalType":"string[]","name":"newSet","type":"string[]"}]},{"inputs":[{"internalType":"string[]","name":"_set","type":"string[]"},{"internalType":"string[]","name":"_values","type":"string[]"}],"stateMutability":"pure","type":"function","name":"union","outputs":[{"internalType":"string[]","name":"","type":"string[]"}]}],"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/IStringSet.sol":"IStringSet"},"evmVersion":"cancun","libraries":{}},"sources":{"contracts/interfaces/precompile/IStringSet.sol":{"keccak256":"0x1df32f16f048499ef99a5e480b7a3903925ef0ee667addb3d70721f4f971a12d","urls":["bzz-raw://bf9be419b7758de24cca9ed6e881d0aac391cbb822cc949bb2e7d64f4c8e6b2d","dweb:/ipfs/QmNW2oZYsbpwmtHCsjdo6NnVYESJp5b29pB4gRxTfDDvrj"],"license":"MIT"}},"version":1},"id":15}