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