{
  "_format": "hh-sol-artifact-1",
  "contractName": "FullMathEchidnaTest",
  "sourceName": "contracts/soma/SomaSwap/test/FullMathEchidnaTest.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "x",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "y",
          "type": "uint256"
        }
      ],
      "name": "checkH",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b5061017c806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c80632a254e8e14610030575b600080fd5b61004361003e3660046100cf565b610045565b005b811580610065575080826100598282610107565b6100639190610124565b145b15610089576000610076838361008d565b915050801561008757610087610146565b505b5050565b6000808060001984860990506100a38486610107565b92506100af838261015c565b9150828110156100c7576100c460018361015c565b91505b509250929050565b600080604083850312156100e257600080fd5b50508035926020909101359150565b634e487b7160e01b600052601160045260246000fd5b808202811582820484141761011e5761011e6100f1565b92915050565b60008261014157634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052600160045260246000fd5b8181038181111561011e5761011e6100f156fea164736f6c6343000812000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b506004361061002b5760003560e01c80632a254e8e14610030575b600080fd5b61004361003e3660046100cf565b610045565b005b811580610065575080826100598282610107565b6100639190610124565b145b15610089576000610076838361008d565b915050801561008757610087610146565b505b5050565b6000808060001984860990506100a38486610107565b92506100af838261015c565b9150828110156100c7576100c460018361015c565b91505b509250929050565b600080604083850312156100e257600080fd5b50508035926020909101359150565b634e487b7160e01b600052601160045260246000fd5b808202811582820484141761011e5761011e6100f1565b92915050565b60008261014157634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052600160045260246000fd5b8181038181111561011e5761011e6100f156fea164736f6c6343000812000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}