{"abi":[{"type":"function","name":"add","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_value","type":"int256","internalType":"int256"}],"outputs":[{"name":"newSet","type":"int256[]","internalType":"int256[]"}],"stateMutability":"pure"},{"type":"function","name":"add","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_value","type":"uint256","internalType":"uint256"}],"outputs":[{"name":"newSet","type":"uint256[]","internalType":"uint256[]"}],"stateMutability":"pure"},{"type":"function","name":"cardinality","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"}],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"pure"},{"type":"function","name":"cardinality","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"}],"outputs":[{"name":"","type":"int256","internalType":"int256"}],"stateMutability":"pure"},{"type":"function","name":"contains","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_value","type":"int256","internalType":"int256"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"contains","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_value","type":"uint256","internalType":"uint256"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"containsAll","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_values","type":"int256[]","internalType":"int256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"containsAll","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_values","type":"uint256[]","internalType":"uint256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"containsAny","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_values","type":"int256[]","internalType":"int256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"containsAny","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_values","type":"uint256[]","internalType":"uint256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"difference","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_values","type":"uint256[]","internalType":"uint256[]"}],"outputs":[{"name":"","type":"uint256[]","internalType":"uint256[]"}],"stateMutability":"pure"},{"type":"function","name":"difference","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_values","type":"int256[]","internalType":"int256[]"}],"outputs":[{"name":"","type":"int256[]","internalType":"int256[]"}],"stateMutability":"pure"},{"type":"function","name":"equal","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_values","type":"int256[]","internalType":"int256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"equal","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_values","type":"uint256[]","internalType":"uint256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"intersect","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_values","type":"uint256[]","internalType":"uint256[]"}],"outputs":[{"name":"","type":"uint256[]","internalType":"uint256[]"}],"stateMutability":"pure"},{"type":"function","name":"intersect","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_values","type":"int256[]","internalType":"int256[]"}],"outputs":[{"name":"","type":"int256[]","internalType":"int256[]"}],"stateMutability":"pure"},{"type":"function","name":"isProperSubset","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_values","type":"uint256[]","internalType":"uint256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isProperSubset","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_values","type":"int256[]","internalType":"int256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isProperSuperset","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_values","type":"uint256[]","internalType":"uint256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isProperSuperset","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_values","type":"int256[]","internalType":"int256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isSubset","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_values","type":"int256[]","internalType":"int256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isSubset","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_values","type":"uint256[]","internalType":"uint256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isSuperset","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_values","type":"uint256[]","internalType":"uint256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"isSuperset","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_values","type":"int256[]","internalType":"int256[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"pure"},{"type":"function","name":"remove","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_value","type":"int256","internalType":"int256"}],"outputs":[{"name":"newSet","type":"int256[]","internalType":"int256[]"}],"stateMutability":"pure"},{"type":"function","name":"remove","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_value","type":"uint256","internalType":"uint256"}],"outputs":[{"name":"newSet","type":"uint256[]","internalType":"uint256[]"}],"stateMutability":"pure"},{"type":"function","name":"removeAll","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_values","type":"uint256[]","internalType":"uint256[]"}],"outputs":[{"name":"newSet","type":"uint256[]","internalType":"uint256[]"}],"stateMutability":"pure"},{"type":"function","name":"removeAll","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_values","type":"int256[]","internalType":"int256[]"}],"outputs":[{"name":"newSet","type":"int256[]","internalType":"int256[]"}],"stateMutability":"pure"},{"type":"function","name":"union","inputs":[{"name":"_set","type":"uint256[]","internalType":"uint256[]"},{"name":"_values","type":"uint256[]","internalType":"uint256[]"}],"outputs":[{"name":"","type":"uint256[]","internalType":"uint256[]"}],"stateMutability":"pure"},{"type":"function","name":"union","inputs":[{"name":"_set","type":"int256[]","internalType":"int256[]"},{"name":"_values","type":"int256[]","internalType":"int256[]"}],"outputs":[{"name":"","type":"int256[]","internalType":"int256[]"}],"stateMutability":"pure"}],"bytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"deployedBytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"methodIdentifiers":{"add(int256[],int256)":"82654607","add(uint256[],uint256)":"eec21d49","cardinality(int256[])":"34c5adb5","cardinality(uint256[])":"2bfc6fa8","contains(int256[],int256)":"5b6d43a2","contains(uint256[],uint256)":"b32b8e2c","containsAll(int256[],int256[])":"33ab09a1","containsAll(uint256[],uint256[])":"746d9048","containsAny(int256[],int256[])":"78961fd7","containsAny(uint256[],uint256[])":"93cee795","difference(int256[],int256[])":"de0f0066","difference(uint256[],uint256[])":"1daac26e","equal(int256[],int256[])":"0d728ac6","equal(uint256[],uint256[])":"e7da4c7e","intersect(int256[],int256[])":"70c77dfc","intersect(uint256[],uint256[])":"373a3af8","isProperSubset(int256[],int256[])":"f03ac649","isProperSubset(uint256[],uint256[])":"6adfb683","isProperSuperset(int256[],int256[])":"a25f9172","isProperSuperset(uint256[],uint256[])":"4e9f928e","isSubset(int256[],int256[])":"0854d8d5","isSubset(uint256[],uint256[])":"8b69633d","isSuperset(int256[],int256[])":"fbc23926","isSuperset(uint256[],uint256[])":"4c520b4f","remove(int256[],int256)":"aa3fc78c","remove(uint256[],uint256)":"cbbdc4ac","removeAll(int256[],int256[])":"98e03bc5","removeAll(uint256[],uint256[])":"49d694bf","union(int256[],int256[])":"ed6873f3","union(uint256[],uint256[])":"2063165d"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.24+commit.e11b9ed9\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256\",\"name\":\"_value\",\"type\":\"int256\"}],\"name\":\"add\",\"outputs\":[{\"internalType\":\"int256[]\",\"name\":\"newSet\",\"type\":\"int256[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256\",\"name\":\"_value\",\"type\":\"uint256\"}],\"name\":\"add\",\"outputs\":[{\"internalType\":\"uint256[]\",\"name\":\"newSet\",\"type\":\"uint256[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"}],\"name\":\"cardinality\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"}],\"name\":\"cardinality\",\"outputs\":[{\"internalType\":\"int256\",\"name\":\"\",\"type\":\"int256\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256\",\"name\":\"_value\",\"type\":\"int256\"}],\"name\":\"contains\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256\",\"name\":\"_value\",\"type\":\"uint256\"}],\"name\":\"contains\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256[]\",\"name\":\"_values\",\"type\":\"int256[]\"}],\"name\":\"containsAll\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256[]\",\"name\":\"_values\",\"type\":\"uint256[]\"}],\"name\":\"containsAll\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256[]\",\"name\":\"_values\",\"type\":\"int256[]\"}],\"name\":\"containsAny\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256[]\",\"name\":\"_values\",\"type\":\"uint256[]\"}],\"name\":\"containsAny\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256[]\",\"name\":\"_values\",\"type\":\"uint256[]\"}],\"name\":\"difference\",\"outputs\":[{\"internalType\":\"uint256[]\",\"name\":\"\",\"type\":\"uint256[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256[]\",\"name\":\"_values\",\"type\":\"int256[]\"}],\"name\":\"difference\",\"outputs\":[{\"internalType\":\"int256[]\",\"name\":\"\",\"type\":\"int256[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256[]\",\"name\":\"_values\",\"type\":\"int256[]\"}],\"name\":\"equal\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256[]\",\"name\":\"_values\",\"type\":\"uint256[]\"}],\"name\":\"equal\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256[]\",\"name\":\"_values\",\"type\":\"uint256[]\"}],\"name\":\"intersect\",\"outputs\":[{\"internalType\":\"uint256[]\",\"name\":\"\",\"type\":\"uint256[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256[]\",\"name\":\"_values\",\"type\":\"int256[]\"}],\"name\":\"intersect\",\"outputs\":[{\"internalType\":\"int256[]\",\"name\":\"\",\"type\":\"int256[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256[]\",\"name\":\"_values\",\"type\":\"uint256[]\"}],\"name\":\"isProperSubset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256[]\",\"name\":\"_values\",\"type\":\"int256[]\"}],\"name\":\"isProperSubset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256[]\",\"name\":\"_values\",\"type\":\"uint256[]\"}],\"name\":\"isProperSuperset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256[]\",\"name\":\"_values\",\"type\":\"int256[]\"}],\"name\":\"isProperSuperset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256[]\",\"name\":\"_values\",\"type\":\"int256[]\"}],\"name\":\"isSubset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256[]\",\"name\":\"_values\",\"type\":\"uint256[]\"}],\"name\":\"isSubset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256[]\",\"name\":\"_values\",\"type\":\"uint256[]\"}],\"name\":\"isSuperset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256[]\",\"name\":\"_values\",\"type\":\"int256[]\"}],\"name\":\"isSuperset\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256\",\"name\":\"_value\",\"type\":\"int256\"}],\"name\":\"remove\",\"outputs\":[{\"internalType\":\"int256[]\",\"name\":\"newSet\",\"type\":\"int256[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256\",\"name\":\"_value\",\"type\":\"uint256\"}],\"name\":\"remove\",\"outputs\":[{\"internalType\":\"uint256[]\",\"name\":\"newSet\",\"type\":\"uint256[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256[]\",\"name\":\"_values\",\"type\":\"uint256[]\"}],\"name\":\"removeAll\",\"outputs\":[{\"internalType\":\"uint256[]\",\"name\":\"newSet\",\"type\":\"uint256[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256[]\",\"name\":\"_values\",\"type\":\"int256[]\"}],\"name\":\"removeAll\",\"outputs\":[{\"internalType\":\"int256[]\",\"name\":\"newSet\",\"type\":\"int256[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256[]\",\"name\":\"_set\",\"type\":\"uint256[]\"},{\"internalType\":\"uint256[]\",\"name\":\"_values\",\"type\":\"uint256[]\"}],\"name\":\"union\",\"outputs\":[{\"internalType\":\"uint256[]\",\"name\":\"\",\"type\":\"uint256[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"int256[]\",\"name\":\"_set\",\"type\":\"int256[]\"},{\"internalType\":\"int256[]\",\"name\":\"_values\",\"type\":\"int256[]\"}],\"name\":\"union\",\"outputs\":[{\"internalType\":\"int256[]\",\"name\":\"\",\"type\":\"int256[]\"}],\"stateMutability\":\"pure\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/interfaces/precompile/IIntegerSet.sol\":\"IIntegerSet\"},\"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/IIntegerSet.sol\":{\"keccak256\":\"0x0855c73687fe837eae216e83973ec62b4df8471831ed60627d7283bde35136f6\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://c285f76bbed35e78d830bc548b384c408d6220ddf81482bcefaaec02277b832d\",\"dweb:/ipfs/QmW3WvBTJz5yy9sPdfy2Zqf6CkeYMRrKsiXAGbeYW3MxZ8\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.24+commit.e11b9ed9"},"language":"Solidity","output":{"abi":[{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256","name":"_value","type":"int256"}],"stateMutability":"pure","type":"function","name":"add","outputs":[{"internalType":"int256[]","name":"newSet","type":"int256[]"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256","name":"_value","type":"uint256"}],"stateMutability":"pure","type":"function","name":"add","outputs":[{"internalType":"uint256[]","name":"newSet","type":"uint256[]"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"}],"stateMutability":"pure","type":"function","name":"cardinality","outputs":[{"internalType":"uint256","name":"","type":"uint256"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"}],"stateMutability":"pure","type":"function","name":"cardinality","outputs":[{"internalType":"int256","name":"","type":"int256"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256","name":"_value","type":"int256"}],"stateMutability":"pure","type":"function","name":"contains","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256","name":"_value","type":"uint256"}],"stateMutability":"pure","type":"function","name":"contains","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256[]","name":"_values","type":"int256[]"}],"stateMutability":"pure","type":"function","name":"containsAll","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256[]","name":"_values","type":"uint256[]"}],"stateMutability":"pure","type":"function","name":"containsAll","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256[]","name":"_values","type":"int256[]"}],"stateMutability":"pure","type":"function","name":"containsAny","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256[]","name":"_values","type":"uint256[]"}],"stateMutability":"pure","type":"function","name":"containsAny","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256[]","name":"_values","type":"uint256[]"}],"stateMutability":"pure","type":"function","name":"difference","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256[]","name":"_values","type":"int256[]"}],"stateMutability":"pure","type":"function","name":"difference","outputs":[{"internalType":"int256[]","name":"","type":"int256[]"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256[]","name":"_values","type":"int256[]"}],"stateMutability":"pure","type":"function","name":"equal","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256[]","name":"_values","type":"uint256[]"}],"stateMutability":"pure","type":"function","name":"equal","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256[]","name":"_values","type":"uint256[]"}],"stateMutability":"pure","type":"function","name":"intersect","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256[]","name":"_values","type":"int256[]"}],"stateMutability":"pure","type":"function","name":"intersect","outputs":[{"internalType":"int256[]","name":"","type":"int256[]"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256[]","name":"_values","type":"uint256[]"}],"stateMutability":"pure","type":"function","name":"isProperSubset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256[]","name":"_values","type":"int256[]"}],"stateMutability":"pure","type":"function","name":"isProperSubset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256[]","name":"_values","type":"uint256[]"}],"stateMutability":"pure","type":"function","name":"isProperSuperset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256[]","name":"_values","type":"int256[]"}],"stateMutability":"pure","type":"function","name":"isProperSuperset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256[]","name":"_values","type":"int256[]"}],"stateMutability":"pure","type":"function","name":"isSubset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256[]","name":"_values","type":"uint256[]"}],"stateMutability":"pure","type":"function","name":"isSubset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256[]","name":"_values","type":"uint256[]"}],"stateMutability":"pure","type":"function","name":"isSuperset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256[]","name":"_values","type":"int256[]"}],"stateMutability":"pure","type":"function","name":"isSuperset","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256","name":"_value","type":"int256"}],"stateMutability":"pure","type":"function","name":"remove","outputs":[{"internalType":"int256[]","name":"newSet","type":"int256[]"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256","name":"_value","type":"uint256"}],"stateMutability":"pure","type":"function","name":"remove","outputs":[{"internalType":"uint256[]","name":"newSet","type":"uint256[]"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256[]","name":"_values","type":"uint256[]"}],"stateMutability":"pure","type":"function","name":"removeAll","outputs":[{"internalType":"uint256[]","name":"newSet","type":"uint256[]"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256[]","name":"_values","type":"int256[]"}],"stateMutability":"pure","type":"function","name":"removeAll","outputs":[{"internalType":"int256[]","name":"newSet","type":"int256[]"}]},{"inputs":[{"internalType":"uint256[]","name":"_set","type":"uint256[]"},{"internalType":"uint256[]","name":"_values","type":"uint256[]"}],"stateMutability":"pure","type":"function","name":"union","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}]},{"inputs":[{"internalType":"int256[]","name":"_set","type":"int256[]"},{"internalType":"int256[]","name":"_values","type":"int256[]"}],"stateMutability":"pure","type":"function","name":"union","outputs":[{"internalType":"int256[]","name":"","type":"int256[]"}]}],"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/IIntegerSet.sol":"IIntegerSet"},"evmVersion":"cancun","libraries":{}},"sources":{"contracts/interfaces/precompile/IIntegerSet.sol":{"keccak256":"0x0855c73687fe837eae216e83973ec62b4df8471831ed60627d7283bde35136f6","urls":["bzz-raw://c285f76bbed35e78d830bc548b384c408d6220ddf81482bcefaaec02277b832d","dweb:/ipfs/QmW3WvBTJz5yy9sPdfy2Zqf6CkeYMRrKsiXAGbeYW3MxZ8"],"license":"MIT"}},"version":1},"id":10}