{
  "_format": "hh-sol-artifact-1",
  "contractName": "LowGasSafeMathEchidnaTest",
  "sourceName": "contracts/test/echidna/LowGasSafeMathEchidnaTest.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "x",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "y",
          "type": "uint256"
        }
      ],
      "name": "checkAdd",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "int256",
          "name": "x",
          "type": "int256"
        },
        {
          "internalType": "int256",
          "name": "y",
          "type": "int256"
        }
      ],
      "name": "checkAddi",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "x",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "y",
          "type": "uint256"
        }
      ],
      "name": "checkMul",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "x",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "y",
          "type": "uint256"
        }
      ],
      "name": "checkSub",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "int256",
          "name": "x",
          "type": "int256"
        },
        {
          "internalType": "int256",
          "name": "y",
          "type": "int256"
        }
      ],
      "name": "checkSubi",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b506102dc806100206000396000f3fe608060405234801561001057600080fd5b50600436106100675760003560e01c80636d886fae116100505780636d886fae146100945780639239e777146100a7578063bd78b20d146100ba57600080fd5b80630f9350001461006c5780630fe48c5c14610081575b600080fd5b61007f61007a366004610281565b6100cd565b005b61007f61008f366004610281565b61010d565b61007f6100a2366004610281565b610158565b61007f6100b5366004610281565b610187565b61007f6100c8366004610281565b6101c6565b60006100d98383610205565b905081830181146100ec576100ec6102a3565b8281101580156100fc5750818110155b610108576101086102a3565b505050565b6000610119838361021b565b9050818302811461012c5761012c6102a3565b821580610137575081155b806100fc57508281101580156100fc575081811015610108576101086102a3565b60006101648383610245565b90508183038114610177576101776102a3565b82811115610108576101086102a3565b60006101938383610255565b905081830181146101a6576101a66102a3565b600082126101b757828112156100fc565b828112610108576101086102a3565b60006101d2838361026b565b905081830381146101e5576101e56102a3565b600082126101f657828113156100fc565b828113610108576101086102a3565b8082018281101561021557600080fd5b92915050565b600082158061023c57505081810281838281610239576102396102b9565b04145b61021557600080fd5b8082038281111561021557600080fd5b8181018281121560008312151461021557600080fd5b8082038281131560008312151461021557600080fd5b6000806040838503121561029457600080fd5b50508035926020909101359150565b634e487b7160e01b600052600160045260246000fd5b634e487b7160e01b600052601260045260246000fdfea164736f6c6343000814000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100675760003560e01c80636d886fae116100505780636d886fae146100945780639239e777146100a7578063bd78b20d146100ba57600080fd5b80630f9350001461006c5780630fe48c5c14610081575b600080fd5b61007f61007a366004610281565b6100cd565b005b61007f61008f366004610281565b61010d565b61007f6100a2366004610281565b610158565b61007f6100b5366004610281565b610187565b61007f6100c8366004610281565b6101c6565b60006100d98383610205565b905081830181146100ec576100ec6102a3565b8281101580156100fc5750818110155b610108576101086102a3565b505050565b6000610119838361021b565b9050818302811461012c5761012c6102a3565b821580610137575081155b806100fc57508281101580156100fc575081811015610108576101086102a3565b60006101648383610245565b90508183038114610177576101776102a3565b82811115610108576101086102a3565b60006101938383610255565b905081830181146101a6576101a66102a3565b600082126101b757828112156100fc565b828112610108576101086102a3565b60006101d2838361026b565b905081830381146101e5576101e56102a3565b600082126101f657828113156100fc565b828113610108576101086102a3565b8082018281101561021557600080fd5b92915050565b600082158061023c57505081810281838281610239576102396102b9565b04145b61021557600080fd5b8082038281111561021557600080fd5b8181018281121560008312151461021557600080fd5b8082038281131560008312151461021557600080fd5b6000806040838503121561029457600080fd5b50508035926020909101359150565b634e487b7160e01b600052600160045260246000fd5b634e487b7160e01b600052601260045260246000fdfea164736f6c6343000814000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}