{
  "_format": "hh-sol-artifact-1",
  "contractName": "BitMathEchidnaTest",
  "sourceName": "contracts/test/echidna/BitMathEchidnaTest.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "input",
          "type": "uint256"
        }
      ],
      "name": "leastSignificantBitInvariant",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b506101ec806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c80632d711e0c14610030575b600080fd5b61004361003e3660046101b0565b610045565b005b6000811161005257600080fd5b60007f55555555555555555555555555555555555555555555555555555555555555558282038316908116156fffffffffffffffffffffffffffffffff82161560071b1777ffffffffffffffff0000000000000000ffffffffffffffff82161560061b177bffffffff00000000ffffffff00000000ffffffff00000000ffffffff82161560051b177dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff82161560041b177eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff82161560031b177f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f82161560021b177f33333333333333333333333333333333333333333333333333333333333333339091161560011b1790508060ff1660020a8216600003610192576101926101c9565b60001960ff821660020a018216156101ac576101ac6101c9565b5050565b6000602082840312156101c257600080fd5b5035919050565b634e487b7160e01b600052600160045260246000fdfea164736f6c6343000814000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b506004361061002b5760003560e01c80632d711e0c14610030575b600080fd5b61004361003e3660046101b0565b610045565b005b6000811161005257600080fd5b60007f55555555555555555555555555555555555555555555555555555555555555558282038316908116156fffffffffffffffffffffffffffffffff82161560071b1777ffffffffffffffff0000000000000000ffffffffffffffff82161560061b177bffffffff00000000ffffffff00000000ffffffff00000000ffffffff82161560051b177dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff82161560041b177eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff82161560031b177f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f82161560021b177f33333333333333333333333333333333333333333333333333333333333333339091161560011b1790508060ff1660020a8216600003610192576101926101c9565b60001960ff821660020a018216156101ac576101ac6101c9565b5050565b6000602082840312156101c257600080fd5b5035919050565b634e487b7160e01b600052600160045260246000fdfea164736f6c6343000814000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}