{
  "_format": "hh-sol-artifact-1",
  "contractName": "TickMathEchidnaTest",
  "sourceName": "contracts/test/echidna/TickMathEchidnaTest.sol",
  "abi": [
    {
      "inputs": [],
      "name": "priceOutOfRange",
      "type": "error"
    },
    {
      "inputs": [],
      "name": "tickOutOfRange",
      "type": "error"
    },
    {
      "inputs": [
        {
          "internalType": "int24",
          "name": "tick",
          "type": "int24"
        }
      ],
      "name": "checkGetSqrtRatioAtTickInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint160",
          "name": "ratio",
          "type": "uint160"
        }
      ],
      "name": "checkGetTickAtSqrtRatioInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b5061081a806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c806347d38f4d1461003b578063df01e52d14610050575b600080fd5b61004e6100493660046107a4565b610063565b005b61004e61005e3660046107ce565b610113565b600061006e826101a0565b9050806001600160a01b0316610086600184036101a0565b6001600160a01b03161080156100b857506100a3826001016101a0565b6001600160a01b0316816001600160a01b0316105b6100c4576100c46107f7565b6401000276a36001600160a01b03821610156100e2576100e26107f7565b73fffd8963efd1fc6a506488495d951d5263988d266001600160a01b038216111561010f5761010f6107f7565b5050565b600061011e82610488565b9050610129816101a0565b6001600160a01b0316826001600160a01b0316101580156101665750610151816001016101a0565b6001600160a01b0316826001600160a01b0316105b610172576101726107f7565b620d89e719600282900b121561018a5761018a6107f7565b620d89e8600282900b1261010f5761010f6107f7565b6000600282900b60171d62ffffff818401821816620d89e88111156101d857604051633c10250f60e01b815260040160405180910390fd5b700100000000000000000000000000000000600182161561020657506ffffcb933bd6fad37aa2d162d1a5940015b6002821615610225576ffff97272373d413259a46990580e213a0260801c5b6004821615610244576ffff2e50f5f656932ef12357cf3c7fdcc0260801c5b6008821615610263576fffe5caca7e10e4e61c3624eaa0941cd00260801c5b6010821615610282576fffcb9843d60f6159c9db58835c9266440260801c5b60208216156102a1576fff973b41fa98c081472e6896dfb254c00260801c5b60408216156102c0576fff2ea16466c96a3843ec78b326b528610260801c5b60808216156102df576ffe5dee046a99a2a811c461f1969c30530260801c5b6101008216156102ff576ffcbe86c7900a88aedcffc83b479aa3a40260801c5b61020082161561031f576ff987a7253ac413176f2b074cf7815e540260801c5b61040082161561033f576ff3392b0822b70005940c7a398e4b70f30260801c5b61080082161561035f576fe7159475a2c29b7443b29c7fa6e889d90260801c5b61100082161561037f576fd097f3bdfd2022b8845ad8f792aa58250260801c5b61200082161561039f576fa9f746462d870fdf8a65dc1f90e061e50260801c5b6140008216156103bf576f70d869a156d2a1b890bb3df62baf32f70260801c5b6180008216156103df576f31be135f97d08fd981231505542fcfa60260801c5b62010000821615610400576f09aa508b5b7a84e1c677de54f3e99bc90260801c5b62020000821615610420576e5d6af8dedb81196699c329225ee6040260801c5b6204000082106104665762040000821615610449576d2216e584f5fa1ea926041bedfe980260801c5b62080000821615610466576b048a170391f7dc42444e8fa20260801c5b60008560020b131561047757600019045b63ffffffff0160201c949350505050565b60006401000276a36001600160a01b03831610806104c3575073fffd8963efd1fc6a506488495d951d5263988d266001600160a01b03831610155b156104e1576040516355cf1e2360e01b815260040160405180910390fd5b77ffffffffffffffffffffffffffffffffffffffff00000000602083901b166fffffffffffffffffffffffffffffffff811160071b81811c67ffffffffffffffff811160061b90811c63ffffffff811160051b90811c61ffff811160041b90811c60ff8111600390811b91821c600f811160021b90811c918211600190811b92831c9790881196179094179092171790911717176080811061058b57607f810383901c9150610595565b80607f0383901b91505b908002607f81811c60ff83811c9190911c800280831c81831c1c800280841c81841c1c800280851c81851c1c800280861c81861c1c800280871c81871c1c800280881c81881c1c800280891c81891c1c8002808a1c818a1c1c8002808b1c818b1c1c8002808c1c818c1c1c8002808d1c818d1c1c8002808e1c9c81901c9c909c1c80029c8d901c9e9d607f198f0160401b60c09190911c678000000000000000161760c19b909b1c674000000000000000169a909a1760c29990991c672000000000000000169890981760c39790971c671000000000000000169690961760c49590951c670800000000000000169490941760c59390931c670400000000000000169290921760c69190911c670200000000000000161760c79190911c670100000000000000161760c89190911c6680000000000000161760c99190911c6640000000000000161760ca9190911c6620000000000000161760cb9190911c6610000000000000161760cc9190911c6608000000000000161760cd9190911c66040000000000001617693627a301d71055774c8581026f028f6481ab7f045a5af012a19d003aa9198101608090811d906fdb2df09e81959a81455e260799a0632f8301901d600281810b9083900b1461079557886001600160a01b031661077a826101a0565b6001600160a01b0316111561078f5781610797565b80610797565b815b9998505050505050505050565b6000602082840312156107b657600080fd5b81358060020b81146107c757600080fd5b9392505050565b6000602082840312156107e057600080fd5b81356001600160a01b03811681146107c757600080fd5b634e487b7160e01b600052600160045260246000fdfea164736f6c6343000814000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100365760003560e01c806347d38f4d1461003b578063df01e52d14610050575b600080fd5b61004e6100493660046107a4565b610063565b005b61004e61005e3660046107ce565b610113565b600061006e826101a0565b9050806001600160a01b0316610086600184036101a0565b6001600160a01b03161080156100b857506100a3826001016101a0565b6001600160a01b0316816001600160a01b0316105b6100c4576100c46107f7565b6401000276a36001600160a01b03821610156100e2576100e26107f7565b73fffd8963efd1fc6a506488495d951d5263988d266001600160a01b038216111561010f5761010f6107f7565b5050565b600061011e82610488565b9050610129816101a0565b6001600160a01b0316826001600160a01b0316101580156101665750610151816001016101a0565b6001600160a01b0316826001600160a01b0316105b610172576101726107f7565b620d89e719600282900b121561018a5761018a6107f7565b620d89e8600282900b1261010f5761010f6107f7565b6000600282900b60171d62ffffff818401821816620d89e88111156101d857604051633c10250f60e01b815260040160405180910390fd5b700100000000000000000000000000000000600182161561020657506ffffcb933bd6fad37aa2d162d1a5940015b6002821615610225576ffff97272373d413259a46990580e213a0260801c5b6004821615610244576ffff2e50f5f656932ef12357cf3c7fdcc0260801c5b6008821615610263576fffe5caca7e10e4e61c3624eaa0941cd00260801c5b6010821615610282576fffcb9843d60f6159c9db58835c9266440260801c5b60208216156102a1576fff973b41fa98c081472e6896dfb254c00260801c5b60408216156102c0576fff2ea16466c96a3843ec78b326b528610260801c5b60808216156102df576ffe5dee046a99a2a811c461f1969c30530260801c5b6101008216156102ff576ffcbe86c7900a88aedcffc83b479aa3a40260801c5b61020082161561031f576ff987a7253ac413176f2b074cf7815e540260801c5b61040082161561033f576ff3392b0822b70005940c7a398e4b70f30260801c5b61080082161561035f576fe7159475a2c29b7443b29c7fa6e889d90260801c5b61100082161561037f576fd097f3bdfd2022b8845ad8f792aa58250260801c5b61200082161561039f576fa9f746462d870fdf8a65dc1f90e061e50260801c5b6140008216156103bf576f70d869a156d2a1b890bb3df62baf32f70260801c5b6180008216156103df576f31be135f97d08fd981231505542fcfa60260801c5b62010000821615610400576f09aa508b5b7a84e1c677de54f3e99bc90260801c5b62020000821615610420576e5d6af8dedb81196699c329225ee6040260801c5b6204000082106104665762040000821615610449576d2216e584f5fa1ea926041bedfe980260801c5b62080000821615610466576b048a170391f7dc42444e8fa20260801c5b60008560020b131561047757600019045b63ffffffff0160201c949350505050565b60006401000276a36001600160a01b03831610806104c3575073fffd8963efd1fc6a506488495d951d5263988d266001600160a01b03831610155b156104e1576040516355cf1e2360e01b815260040160405180910390fd5b77ffffffffffffffffffffffffffffffffffffffff00000000602083901b166fffffffffffffffffffffffffffffffff811160071b81811c67ffffffffffffffff811160061b90811c63ffffffff811160051b90811c61ffff811160041b90811c60ff8111600390811b91821c600f811160021b90811c918211600190811b92831c9790881196179094179092171790911717176080811061058b57607f810383901c9150610595565b80607f0383901b91505b908002607f81811c60ff83811c9190911c800280831c81831c1c800280841c81841c1c800280851c81851c1c800280861c81861c1c800280871c81871c1c800280881c81881c1c800280891c81891c1c8002808a1c818a1c1c8002808b1c818b1c1c8002808c1c818c1c1c8002808d1c818d1c1c8002808e1c9c81901c9c909c1c80029c8d901c9e9d607f198f0160401b60c09190911c678000000000000000161760c19b909b1c674000000000000000169a909a1760c29990991c672000000000000000169890981760c39790971c671000000000000000169690961760c49590951c670800000000000000169490941760c59390931c670400000000000000169290921760c69190911c670200000000000000161760c79190911c670100000000000000161760c89190911c6680000000000000161760c99190911c6640000000000000161760ca9190911c6620000000000000161760cb9190911c6610000000000000161760cc9190911c6608000000000000161760cd9190911c66040000000000001617693627a301d71055774c8581026f028f6481ab7f045a5af012a19d003aa9198101608090811d906fdb2df09e81959a81455e260799a0632f8301901d600281810b9083900b1461079557886001600160a01b031661077a826101a0565b6001600160a01b0316111561078f5781610797565b80610797565b815b9998505050505050505050565b6000602082840312156107b657600080fd5b81358060020b81146107c757600080fd5b9392505050565b6000602082840312156107e057600080fd5b81356001600160a01b03811681146107c757600080fd5b634e487b7160e01b600052600160045260246000fdfea164736f6c6343000814000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}