{
  "_format": "hh-sol-artifact-1",
  "contractName": "FullMathEchidnaTest",
  "sourceName": "contracts/test/echidna/FullMathEchidnaTest.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "x",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "y",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "d",
          "type": "uint256"
        }
      ],
      "name": "checkMulDiv",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "x",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "y",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "d",
          "type": "uint256"
        }
      ],
      "name": "checkMulDivRounding",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "x",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "y",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "d",
          "type": "uint256"
        }
      ],
      "name": "checkMulDivRoundingUp",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b506103b3806100206000396000f3fe608060405234801561001057600080fd5b50600436106100415760003560e01c8063695363a31461004657806379eee4871461005b578063bf08c3911461006e575b600080fd5b61005961005436600461034e565b610081565b005b61005961006936600461034e565b6100f2565b61005961007c36600461034e565b61019a565b6000811161008e57600080fd5b600061009b848484610234565b905060006100aa8585856102b5565b9050600083806100bc576100bc61037a565b85870911156100dc578082036001146100d7576100d7610390565b6100eb565b8082146100eb576100eb610390565b5050505050565b600081116100ff57600080fd5b600061010c848484610234565b9050831580610119575082155b1561013257801561012c5761012c610390565b50505050565b600061013f8284866102b5565b9050600061014e8385886102b5565b90508582101561016057610160610390565b8481101561017057610170610390565b838683031061018157610181610390565b838582031061019257610192610390565b505050505050565b600081116101a757600080fd5b60006101b48484846102b5565b90508315806101c1575082155b156101d457801561012c5761012c610390565b60006101e18284866102b5565b905060006101f08385886102b5565b90508582111561020257610202610390565b8481111561021257610212610390565b838287031061022357610223610390565b838186031061019257610192610390565b6000831580610255575050828202828482816102525761025261037a565b04145b15610276576000821161026757600080fd5b818104908290061515016102ae565b6102818484846102b5565b9050600082806102935761029361037a565b84860911156102ae5760001981106102aa57600080fd5b6001015b9392505050565b600083830281600019858709828110838203039150508084116102d757600080fd5b806000036102ea575082900490506102ae565b8385870960008581038616958690049560026003880281188089028203028089028203028089028203028089028203028089028203028089029091030291819003819004600101858411909403939093029190930391909104170290509392505050565b60008060006060848603121561036357600080fd5b505081359360208301359350604090920135919050565b634e487b7160e01b600052601260045260246000fd5b634e487b7160e01b600052600160045260246000fdfea164736f6c6343000814000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100415760003560e01c8063695363a31461004657806379eee4871461005b578063bf08c3911461006e575b600080fd5b61005961005436600461034e565b610081565b005b61005961006936600461034e565b6100f2565b61005961007c36600461034e565b61019a565b6000811161008e57600080fd5b600061009b848484610234565b905060006100aa8585856102b5565b9050600083806100bc576100bc61037a565b85870911156100dc578082036001146100d7576100d7610390565b6100eb565b8082146100eb576100eb610390565b5050505050565b600081116100ff57600080fd5b600061010c848484610234565b9050831580610119575082155b1561013257801561012c5761012c610390565b50505050565b600061013f8284866102b5565b9050600061014e8385886102b5565b90508582101561016057610160610390565b8481101561017057610170610390565b838683031061018157610181610390565b838582031061019257610192610390565b505050505050565b600081116101a757600080fd5b60006101b48484846102b5565b90508315806101c1575082155b156101d457801561012c5761012c610390565b60006101e18284866102b5565b905060006101f08385886102b5565b90508582111561020257610202610390565b8481111561021257610212610390565b838287031061022357610223610390565b838186031061019257610192610390565b6000831580610255575050828202828482816102525761025261037a565b04145b15610276576000821161026757600080fd5b818104908290061515016102ae565b6102818484846102b5565b9050600082806102935761029361037a565b84860911156102ae5760001981106102aa57600080fd5b6001015b9392505050565b600083830281600019858709828110838203039150508084116102d757600080fd5b806000036102ea575082900490506102ae565b8385870960008581038616958690049560026003880281188089028203028089028203028089028203028089028203028089028203028089029091030291819003819004600101858411909403939093029190930391909104170290509392505050565b60008060006060848603121561036357600080fd5b505081359360208301359350604090920135919050565b634e487b7160e01b600052601260045260246000fd5b634e487b7160e01b600052600160045260246000fdfea164736f6c6343000814000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}