{
  "_format": "hh-sol-artifact-1",
  "contractName": "TickTreeEchidnaTest",
  "sourceName": "contracts/test/echidna/TickTreeEchidnaTest.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "int24",
          "name": "tick0",
          "type": "int24"
        },
        {
          "internalType": "int24",
          "name": "tick1",
          "type": "int24"
        }
      ],
      "name": "checkTicksForCollisions",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "int24",
          "name": "tick",
          "type": "int24"
        }
      ],
      "name": "checkToggleUntoggleTick",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b50610455806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80637d14b1e91461003b5780639eaab8c41461005d575b600080fd5b61005b6004803603602081101561005157600080fd5b503560020b610087565b005b61005b6004803603604081101561007357600080fd5b508035600290810b9160200135900b6101ef565b610090816102bf565b905060006100b08260081d60010b60009081526002602052604090205490565b905060006100bd83610307565b60005490915063ffffffff908116906100e0906002906001908490889061033916565b6000805463ffffffff191663ffffffff92909216919091178155600885901d60010b81526002602052604090205483900361011d5761011d6103d1565b8260000361013c578161012f85610307565b0361013c5761013c6103d1565b8160000361015e5760005463ffffffff80831691160361015e5761015e6103d1565b60005461017c9060029060019063ffffffff90811690889061033916565b6000805463ffffffff191663ffffffff92909216919091178155600885901d60010b81526002602052604090205483146101b8576101b86103d1565b816101c285610307565b146101cf576101cf6103d1565b60005463ffffffff8281169116146101e9576101e96103d1565b50505050565b6101f8826102bf565b610201826102bf565b9092509050600281810b9083900b03610218575050565b600882811d9060ff8085169184901d908416600182810b9085900b03610252578060ff168360ff160361024d5761024d6103d1565b6102b7565b600080610275610264610d8a886103fd565b60010b600881901d9160ff90911690565b909250905060008061028c610264610d8a886103fd565b915091508160010b8460010b036102b2578060ff168360ff16036102b2576102b26103d1565b505050505b505050505050565b6000620d89e719600283900b12156102d957620d89e71991505b6102e6620d89e719610426565b60020b8260020b131561030357610300620d89e719610426565b91505b5090565b6000600882901d61031a610d8a826103fd565b60081d600190810b600090815260209190915260409020549392505050565b816000806103768785600881901d600181810b60009081526020949094526040909320805460ff9093169390931b80831890935591811490151891565b9150915081156103c757610d8a01600181810b60081d80820b6000908152602089905260409020805460ff9094169290921b8084189092558215919092148181189350146103c7576001811b831892505b5050949350505050565b634e487b7160e01b600052600160045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600181810b9083900b01617fff8113617fff1982121715610420576104206103e7565b92915050565b60008160020b627fffff19810361043f5761043f6103e7565b6000039291505056fea164736f6c6343000814000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100365760003560e01c80637d14b1e91461003b5780639eaab8c41461005d575b600080fd5b61005b6004803603602081101561005157600080fd5b503560020b610087565b005b61005b6004803603604081101561007357600080fd5b508035600290810b9160200135900b6101ef565b610090816102bf565b905060006100b08260081d60010b60009081526002602052604090205490565b905060006100bd83610307565b60005490915063ffffffff908116906100e0906002906001908490889061033916565b6000805463ffffffff191663ffffffff92909216919091178155600885901d60010b81526002602052604090205483900361011d5761011d6103d1565b8260000361013c578161012f85610307565b0361013c5761013c6103d1565b8160000361015e5760005463ffffffff80831691160361015e5761015e6103d1565b60005461017c9060029060019063ffffffff90811690889061033916565b6000805463ffffffff191663ffffffff92909216919091178155600885901d60010b81526002602052604090205483146101b8576101b86103d1565b816101c285610307565b146101cf576101cf6103d1565b60005463ffffffff8281169116146101e9576101e96103d1565b50505050565b6101f8826102bf565b610201826102bf565b9092509050600281810b9083900b03610218575050565b600882811d9060ff8085169184901d908416600182810b9085900b03610252578060ff168360ff160361024d5761024d6103d1565b6102b7565b600080610275610264610d8a886103fd565b60010b600881901d9160ff90911690565b909250905060008061028c610264610d8a886103fd565b915091508160010b8460010b036102b2578060ff168360ff16036102b2576102b26103d1565b505050505b505050505050565b6000620d89e719600283900b12156102d957620d89e71991505b6102e6620d89e719610426565b60020b8260020b131561030357610300620d89e719610426565b91505b5090565b6000600882901d61031a610d8a826103fd565b60081d600190810b600090815260209190915260409020549392505050565b816000806103768785600881901d600181810b60009081526020949094526040909320805460ff9093169390931b80831890935591811490151891565b9150915081156103c757610d8a01600181810b60081d80820b6000908152602089905260409020805460ff9094169290921b8084189092558215919092148181189350146103c7576001811b831892505b5050949350505050565b634e487b7160e01b600052600160045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600181810b9083900b01617fff8113617fff1982121715610420576104206103e7565b92915050565b60008160020b627fffff19810361043f5761043f6103e7565b6000039291505056fea164736f6c6343000814000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}