{
  "_format": "hh-sol-artifact-1",
  "contractName": "UnsafeMathEchidnaTest",
  "sourceName": "contracts/test/echidna/UnsafeMathEchidnaTest.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "x",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "d",
          "type": "uint256"
        }
      ],
      "name": "checkDivRoundingUp",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b5060f58061001f6000396000f3fe6080604052348015600f57600080fd5b506004361060285760003560e01c80632724da4e14602d575b600080fd5b603c6038366004609b565b603e565b005b60008111604a57600080fd5b8082048183061515016000828481606157606160bc565b0482039050828481607257607260bc565b066000036088578015608457608460d2565b6095565b80600114609557609560d2565b50505050565b6000806040838503121560ad57600080fd5b50508035926020909101359150565b634e487b7160e01b600052601260045260246000fd5b634e487b7160e01b600052600160045260246000fdfea164736f6c6343000814000a",
  "deployedBytecode": "0x6080604052348015600f57600080fd5b506004361060285760003560e01c80632724da4e14602d575b600080fd5b603c6038366004609b565b603e565b005b60008111604a57600080fd5b8082048183061515016000828481606157606160bc565b0482039050828481607257607260bc565b066000036088578015608457608460d2565b6095565b80600114609557609560d2565b50505050565b6000806040838503121560ad57600080fd5b50508035926020909101359150565b634e487b7160e01b600052601260045260246000fd5b634e487b7160e01b600052600160045260246000fdfea164736f6c6343000814000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}