{
  "_format": "hh-sol-artifact-1",
  "contractName": "BabylonianEchidnaTest",
  "sourceName": "contracts/pangolin-lib/test/BabylonianEchidnaTest.sol",
  "abi": [
    {
      "inputs": [],
      "name": "echidna_sqrtAlwaysLessThanMaxUint128",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "echidna_sqrtPlusOneSquaredAlwaysGtInput",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "echidna_sqrtSquaredAlwaysLteInput",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "input_",
          "type": "uint256"
        }
      ],
      "name": "storeSqrt",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b5061023a806100206000396000f3fe608060405234801561001057600080fd5b506004361061004c5760003560e01c80632ffab2721461005157806373b3179e1461006f578063ccedcf5d14610084578063cd3ec77a1461008c575b600080fd5b610059610094565b604051610066919061018c565b60405180910390f35b61008261007d366004610174565b6100ad565b005b6100596100c1565b6100596100ec565b6001547001000000000000000000000000000000001190565b60008190556100bb81610104565b60015550565b60008060015460016100d39190610197565b905060006100e182806101cf565b600054109250505090565b600080546001546100fd90806101cf565b1115905090565b60006003821115610165575080600061011e6002836101af565b610129906001610197565b90505b8181101561015f5790508060028161014481866101af565b61014e9190610197565b61015891906101af565b905061012c565b5061016f565b811561016f575060015b919050565b600060208284031215610185578081fd5b5035919050565b901515815260200190565b600082198211156101aa576101aa6101ee565b500190565b6000826101ca57634e487b7160e01b81526012600452602481fd5b500490565b60008160001904831182151516156101e9576101e96101ee565b500290565b634e487b7160e01b600052601160045260246000fdfea2646970667358221220967b92eed762faec7210d90304e0ca5e1b9e1f79c8fdb4ab9d3bfb317ade74be64736f6c63430008000033",
  "deployedBytecode": "0x608060405234801561001057600080fd5b506004361061004c5760003560e01c80632ffab2721461005157806373b3179e1461006f578063ccedcf5d14610084578063cd3ec77a1461008c575b600080fd5b610059610094565b604051610066919061018c565b60405180910390f35b61008261007d366004610174565b6100ad565b005b6100596100c1565b6100596100ec565b6001547001000000000000000000000000000000001190565b60008190556100bb81610104565b60015550565b60008060015460016100d39190610197565b905060006100e182806101cf565b600054109250505090565b600080546001546100fd90806101cf565b1115905090565b60006003821115610165575080600061011e6002836101af565b610129906001610197565b90505b8181101561015f5790508060028161014481866101af565b61014e9190610197565b61015891906101af565b905061012c565b5061016f565b811561016f575060015b919050565b600060208284031215610185578081fd5b5035919050565b901515815260200190565b600082198211156101aa576101aa6101ee565b500190565b6000826101ca57634e487b7160e01b81526012600452602481fd5b500490565b60008160001904831182151516156101e9576101e96101ee565b500290565b634e487b7160e01b600052601160045260246000fdfea2646970667358221220967b92eed762faec7210d90304e0ca5e1b9e1f79c8fdb4ab9d3bfb317ade74be64736f6c63430008000033",
  "linkReferences": {},
  "deployedLinkReferences": {}
}