{
  "_format": "hh-sol-artifact-1",
  "contractName": "TickOverflowSafetyEchidnaTest",
  "sourceName": "contracts/test/TickOverflowSafetyEchidnaTest.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "increaseFeeGrowthGlobal0X128",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "increaseFeeGrowthGlobal1X128",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "int24",
          "name": "target",
          "type": "int24"
        }
      ],
      "name": "moveToTick",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "int24",
          "name": "tickLower",
          "type": "int24"
        },
        {
          "internalType": "int24",
          "name": "tickUpper",
          "type": "int24"
        },
        {
          "internalType": "int128",
          "name": "liquidityDelta",
          "type": "int128"
        }
      ],
      "name": "setPosition",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    }
  ],
  "bytecode": "0x60806040526001805462ffffff19169055600060028190556001600160ff1b036003819055600455600581905560065534801561003b57600080fd5b506108238061004b6000396000f3fe608060405234801561001057600080fd5b506004361061004c5760003560e01c80630b0c061f146100515780633f03e19414610070578063541bdfb11461008d578063af759368146100c1575b600080fd5b61006e6004803603602081101561006757600080fd5b50356100e1565b005b61006e6004803603602081101561008657600080fd5b5035610104565b61006e600480360360608110156100a357600080fd5b508035600290810b91602081013590910b9060400135600f0b610127565b61006e600480360360208110156100d757600080fd5b503560020b6102df565b600554818101116100f157600080fd5b6003805482019055600580549091019055565b6006548181011161011457600080fd5b6004805482019055600680549091019055565b600f19600284900b1361013957600080fd5b6010600283900b1261014a57600080fd5b8160020b8360020b1261015c57600080fd5b60015460035460045460009261019a92879260029290920b918691908680428160206001600160801b035b60009a999897969594939291900461040c565b905060006101d284600160009054906101000a900460020b8560035460045460008042600160206001600160801b0380168161018757fe5b9050811561024157600083600f0b121561021c57600285810b900b6000908152602081905260409020546001600160801b03161561020c57fe5b61021760008661060c565b610241565b600285810b900b6000908152602081905260409020546001600160801b031661024157fe5b80156102ae57600083600f0b121561028957600284810b900b6000908152602081905260409020546001600160801b03161561027957fe5b61028460008561060c565b6102ae565b600284810b900b6000908152602081905260409020546001600160801b03166102ae57fe5b60028054600f85900b0190819055600013156102c657fe5b6002546102d857600060058190556006555b5050505050565b600f19600282900b136102f157600080fd5b6010600282900b1261030257600080fd5b600154600282810b91810b900b1461040957600154600282810b91810b900b12156103975760018054600290810b909101810b900b6000908152602081905260409020546001600160801b03161561037557600180546003546004546103739360009360020b019190838042610638565b505b60018054600281810b8301900b62ffffff1662ffffff19909116179055610404565b600154600290810b810b900b6000908152602081905260409020546001600160801b0316156103e1576001546003546004546103df9260009260029190910b91838042610638565b505b60018054600019600282810b91909101900b62ffffff1662ffffff199091161790555b610302565b50565b60028a810b900b600090815260208c90526040812080546001600160801b031682610437828d610718565b9050846001600160801b0316816001600160801b03161115610485576040805162461bcd60e51b81526020600482015260026024820152614c4f60f01b604482015290519081900360640190fd5b6001600160801b038281161590821615811415945015610568578c60020b8e60020b1361053857600183018b9055600283018a90556003830180547fffffffffff0000000000000000000000000000000000000000ffffffffffffff1667010000000000000073ffffffffffffffffffffffffffffffffffffffff8c16021766ffffffffffffff191666ffffffffffffff60068b900b161763ffffffff60d81b1916600160d81b63ffffffff8a16021790555b6003830180547effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16600160f81b1790555b82546fffffffffffffffffffffffffffffffff19166001600160801b038216178355856105ba5782546105b5906105b090600160801b9004600f90810b810b908f900b6107d4565b6107ea565b6105db565b82546105db906105b090600160801b9004600f90810b810b908f900b610800565b8354600f9190910b6001600160801b03908116600160801b0291161790925550909c9b505050505050505050505050565b600290810b810b6000908152602092909252604082208281556001810183905590810182905560030155565b600295860b860b60009081526020979097526040909620600181018054909503909455938301805490920390915560038201805463ffffffff600160d81b73ffffffffffffffffffffffffffffffffffffffff6701000000000000008085048216909603169094027fffffffffff0000000000000000000000000000000000000000ffffffffffffff90921691909117600681810b90960390950b66ffffffffffffff1666ffffffffffffff199095169490941782810485169095039093160263ffffffff60d81b1990931692909217905554600160801b9004600f0b90565b60008082600f0b121561077d57826001600160801b03168260000384039150816001600160801b031610610778576040805162461bcd60e51b81526020600482015260026024820152614c5360f01b604482015290519081900360640190fd5b6107ce565b826001600160801b03168284019150816001600160801b031610156107ce576040805162461bcd60e51b81526020600482015260026024820152614c4160f01b604482015290519081900360640190fd5b92915050565b818101828112156000831215146107ce57600080fd5b80600f81900b81146107fb57600080fd5b919050565b808203828113156000831215146107ce57600080fdfea164736f6c6343000706000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b506004361061004c5760003560e01c80630b0c061f146100515780633f03e19414610070578063541bdfb11461008d578063af759368146100c1575b600080fd5b61006e6004803603602081101561006757600080fd5b50356100e1565b005b61006e6004803603602081101561008657600080fd5b5035610104565b61006e600480360360608110156100a357600080fd5b508035600290810b91602081013590910b9060400135600f0b610127565b61006e600480360360208110156100d757600080fd5b503560020b6102df565b600554818101116100f157600080fd5b6003805482019055600580549091019055565b6006548181011161011457600080fd5b6004805482019055600680549091019055565b600f19600284900b1361013957600080fd5b6010600283900b1261014a57600080fd5b8160020b8360020b1261015c57600080fd5b60015460035460045460009261019a92879260029290920b918691908680428160206001600160801b035b60009a999897969594939291900461040c565b905060006101d284600160009054906101000a900460020b8560035460045460008042600160206001600160801b0380168161018757fe5b9050811561024157600083600f0b121561021c57600285810b900b6000908152602081905260409020546001600160801b03161561020c57fe5b61021760008661060c565b610241565b600285810b900b6000908152602081905260409020546001600160801b031661024157fe5b80156102ae57600083600f0b121561028957600284810b900b6000908152602081905260409020546001600160801b03161561027957fe5b61028460008561060c565b6102ae565b600284810b900b6000908152602081905260409020546001600160801b03166102ae57fe5b60028054600f85900b0190819055600013156102c657fe5b6002546102d857600060058190556006555b5050505050565b600f19600282900b136102f157600080fd5b6010600282900b1261030257600080fd5b600154600282810b91810b900b1461040957600154600282810b91810b900b12156103975760018054600290810b909101810b900b6000908152602081905260409020546001600160801b03161561037557600180546003546004546103739360009360020b019190838042610638565b505b60018054600281810b8301900b62ffffff1662ffffff19909116179055610404565b600154600290810b810b900b6000908152602081905260409020546001600160801b0316156103e1576001546003546004546103df9260009260029190910b91838042610638565b505b60018054600019600282810b91909101900b62ffffff1662ffffff199091161790555b610302565b50565b60028a810b900b600090815260208c90526040812080546001600160801b031682610437828d610718565b9050846001600160801b0316816001600160801b03161115610485576040805162461bcd60e51b81526020600482015260026024820152614c4f60f01b604482015290519081900360640190fd5b6001600160801b038281161590821615811415945015610568578c60020b8e60020b1361053857600183018b9055600283018a90556003830180547fffffffffff0000000000000000000000000000000000000000ffffffffffffff1667010000000000000073ffffffffffffffffffffffffffffffffffffffff8c16021766ffffffffffffff191666ffffffffffffff60068b900b161763ffffffff60d81b1916600160d81b63ffffffff8a16021790555b6003830180547effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16600160f81b1790555b82546fffffffffffffffffffffffffffffffff19166001600160801b038216178355856105ba5782546105b5906105b090600160801b9004600f90810b810b908f900b6107d4565b6107ea565b6105db565b82546105db906105b090600160801b9004600f90810b810b908f900b610800565b8354600f9190910b6001600160801b03908116600160801b0291161790925550909c9b505050505050505050505050565b600290810b810b6000908152602092909252604082208281556001810183905590810182905560030155565b600295860b860b60009081526020979097526040909620600181018054909503909455938301805490920390915560038201805463ffffffff600160d81b73ffffffffffffffffffffffffffffffffffffffff6701000000000000008085048216909603169094027fffffffffff0000000000000000000000000000000000000000ffffffffffffff90921691909117600681810b90960390950b66ffffffffffffff1666ffffffffffffff199095169490941782810485169095039093160263ffffffff60d81b1990931692909217905554600160801b9004600f0b90565b60008082600f0b121561077d57826001600160801b03168260000384039150816001600160801b031610610778576040805162461bcd60e51b81526020600482015260026024820152614c5360f01b604482015290519081900360640190fd5b6107ce565b826001600160801b03168284019150816001600160801b031610156107ce576040805162461bcd60e51b81526020600482015260026024820152614c4160f01b604482015290519081900360640190fd5b92915050565b818101828112156000831215146107ce57600080fd5b80600f81900b81146107fb57600080fd5b919050565b808203828113156000831215146107ce57600080fdfea164736f6c6343000706000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}