{
  "_format": "hh-sol-artifact-1",
  "contractName": "TickTreeSearchEchidnaTest",
  "sourceName": "contracts/test/echidna/TickTreeSearchEchidnaTest.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "int24",
          "name": "tick",
          "type": "int24"
        }
      ],
      "name": "checkNextInitializedTickInvariants",
      "outputs": [],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "int24",
          "name": "tick",
          "type": "int24"
        }
      ],
      "name": "toggleTick",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b5061088f806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80638ce5172e1461003b578063cf5948771461005d575b600080fd5b61005b6004803603602081101561005157600080fd5b503560020b61007d565b005b61005b6004803603602081101561007357600080fd5b503560020b6102e8565b620d89e719600282900b12156100945750620d89e7195b620d89e8600282900b13156100a95750620d89e85b620d89e719600282900b12156100c1576100c1610810565b620d89e8600282900b13156100d8576100d8610810565b600881901d600190810b6000908152600260208190526040822054915460ff851684901b9092161515926101179263ffffffff90811690869061045416565b6000805463ffffffff191663ffffffff92909216919091178155600883901d600190810b8252600260205260409091205482159160ff85161b16151515151461016257610162610810565b806101d95750600380546001810182557fc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b600a8083049190910180549190920683026101000a62ffffff81810219909216918516021790555460029190910b60009081526004602052604090206000199091019055565b600282900b6000908152600460205260409020546003546000190181146102a3576003805460009190600019810190811061021657610216610826565b90600052602060002090600a91828204019190066003029054906101000a900460020b9050806003838154811061024f5761024f610826565b90600052602060002090600a91828204019190066003026101000a81548162ffffff021916908360020b62ffffff16021790555081600460008360020b60020b815260200190815260200160002081905550505b60038054806102b4576102b461083c565b60019003818190600052602060002090600a91828204019190066003026101000a81549062ffffff02191690559055505050565b620d89e719600282900b12156102ff5750620d89e7195b620d89e8600282900b126103135750620d89e85b600080546103329060029060019063ffffffff9081169086906104ec16565b9050600282900b620d89e7190161035d57600281900b620d89e81461035957610359610810565b5050565b8160020b8160020b1361037257610372610810565b621b13d082820360020b131561038a5761038a610810565b620d89e719600282900b12156103a2576103a2610810565b620d89e8600282900b13156103b9576103b9610810565b600281900b620d89e8146103f557600881901d600190810b60009081526002602052604090205460ff83169190911b166103f5576103f5610810565b600080610401846105ae565b915091508260020b8260020b1461041a5761041a610810565b600883901d600190810b6000908152600260205260409020548215159160ff86161b16151515151461044e5761044e610810565b50505050565b816000806104918785600881901d600181810b60009081526020949094526040909320805460ff9093169390931b80831890935591811490151891565b9150915081156104e257610d8a01600181810b60081d80820b6000908152602089905260409020805460ff9094169290921b8084189092558215919092148181189350146104e2576001811b831892505b5050949350505050565b600190810190600090600883811d610d8a01901c90829061ffff83161b851663ffffffff161561054f57610520878561065c565b909450909250905080156105355750506105a6565b61054686610d8b840160010b61065c565b90945090925090505b806105925761056d8563ffffffff168360010193508360010b61068d565b9093509050806105855750620d89e891506105a69050565b61058f86846107e4565b92505b6105a187610d891985016107e4565b925050505b949350505050565b60035460009081908082036105d5576105ca620d89e719610852565b946000945092505050565b6105e2620d89e719610852565b925060005b818110156106555760006003828154811061060457610604610826565b90600052602060002090600a91828204019190066003029054906101000a900460020b90508560020b8160020b131561064c578460020b8160020b1361064c57809450600193505b506001016105e7565b5050915091565b600881901d600181900b6000908152602084905260408120548190610681908561068d565b93969095509293505050565b60008060ff831684811c8083036106a9578460ff1793506107db565b7f555555555555555555555555555555555555555555555555555555555555555560008290038216908116156fffffffffffffffffffffffffffffffff82161560071b1777ffffffffffffffff0000000000000000ffffffffffffffff82161560061b177bffffffff00000000ffffffff00000000ffffffff00000000ffffffff82161560051b177dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff82161560041b177eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff82161560031b177f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f82161560021b177f33333333333333333333333333333333333333333333333333333333333333339091161560011b1760ff1685019350600192505b50509250929050565b600181900b600090815260208390526040902054600882901b90610808908261068d565b509392505050565b634e487b7160e01b600052600160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052603160045260246000fd5b60008160020b627fffff19810361087957634e487b7160e01b600052601160045260246000fd5b6000039291505056fea164736f6c6343000814000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100365760003560e01c80638ce5172e1461003b578063cf5948771461005d575b600080fd5b61005b6004803603602081101561005157600080fd5b503560020b61007d565b005b61005b6004803603602081101561007357600080fd5b503560020b6102e8565b620d89e719600282900b12156100945750620d89e7195b620d89e8600282900b13156100a95750620d89e85b620d89e719600282900b12156100c1576100c1610810565b620d89e8600282900b13156100d8576100d8610810565b600881901d600190810b6000908152600260208190526040822054915460ff851684901b9092161515926101179263ffffffff90811690869061045416565b6000805463ffffffff191663ffffffff92909216919091178155600883901d600190810b8252600260205260409091205482159160ff85161b16151515151461016257610162610810565b806101d95750600380546001810182557fc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b600a8083049190910180549190920683026101000a62ffffff81810219909216918516021790555460029190910b60009081526004602052604090206000199091019055565b600282900b6000908152600460205260409020546003546000190181146102a3576003805460009190600019810190811061021657610216610826565b90600052602060002090600a91828204019190066003029054906101000a900460020b9050806003838154811061024f5761024f610826565b90600052602060002090600a91828204019190066003026101000a81548162ffffff021916908360020b62ffffff16021790555081600460008360020b60020b815260200190815260200160002081905550505b60038054806102b4576102b461083c565b60019003818190600052602060002090600a91828204019190066003026101000a81549062ffffff02191690559055505050565b620d89e719600282900b12156102ff5750620d89e7195b620d89e8600282900b126103135750620d89e85b600080546103329060029060019063ffffffff9081169086906104ec16565b9050600282900b620d89e7190161035d57600281900b620d89e81461035957610359610810565b5050565b8160020b8160020b1361037257610372610810565b621b13d082820360020b131561038a5761038a610810565b620d89e719600282900b12156103a2576103a2610810565b620d89e8600282900b13156103b9576103b9610810565b600281900b620d89e8146103f557600881901d600190810b60009081526002602052604090205460ff83169190911b166103f5576103f5610810565b600080610401846105ae565b915091508260020b8260020b1461041a5761041a610810565b600883901d600190810b6000908152600260205260409020548215159160ff86161b16151515151461044e5761044e610810565b50505050565b816000806104918785600881901d600181810b60009081526020949094526040909320805460ff9093169390931b80831890935591811490151891565b9150915081156104e257610d8a01600181810b60081d80820b6000908152602089905260409020805460ff9094169290921b8084189092558215919092148181189350146104e2576001811b831892505b5050949350505050565b600190810190600090600883811d610d8a01901c90829061ffff83161b851663ffffffff161561054f57610520878561065c565b909450909250905080156105355750506105a6565b61054686610d8b840160010b61065c565b90945090925090505b806105925761056d8563ffffffff168360010193508360010b61068d565b9093509050806105855750620d89e891506105a69050565b61058f86846107e4565b92505b6105a187610d891985016107e4565b925050505b949350505050565b60035460009081908082036105d5576105ca620d89e719610852565b946000945092505050565b6105e2620d89e719610852565b925060005b818110156106555760006003828154811061060457610604610826565b90600052602060002090600a91828204019190066003029054906101000a900460020b90508560020b8160020b131561064c578460020b8160020b1361064c57809450600193505b506001016105e7565b5050915091565b600881901d600181900b6000908152602084905260408120548190610681908561068d565b93969095509293505050565b60008060ff831684811c8083036106a9578460ff1793506107db565b7f555555555555555555555555555555555555555555555555555555555555555560008290038216908116156fffffffffffffffffffffffffffffffff82161560071b1777ffffffffffffffff0000000000000000ffffffffffffffff82161560061b177bffffffff00000000ffffffff00000000ffffffff00000000ffffffff82161560051b177dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff82161560041b177eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff82161560031b177f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f82161560021b177f33333333333333333333333333333333333333333333333333333333333333339091161560011b1760ff1685019350600192505b50509250929050565b600181900b600090815260208390526040902054600882901b90610808908261068d565b509392505050565b634e487b7160e01b600052600160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052603160045260246000fd5b60008160020b627fffff19810361087957634e487b7160e01b600052601160045260246000fd5b6000039291505056fea164736f6c6343000814000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}