{
  "_format": "hh-sol-artifact-1",
  "contractName": "TickOverflowSafetyEchidnaTest",
  "sourceName": "contracts/test/echidna/TickOverflowSafetyEchidnaTest.sol",
  "abi": [
    {
      "inputs": [],
      "name": "liquidityAdd",
      "type": "error"
    },
    {
      "inputs": [],
      "name": "liquidityOverflow",
      "type": "error"
    },
    {
      "inputs": [],
      "name": "liquiditySub",
      "type": "error"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "increaseTotalFeeGrowth0Token",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "increaseTotalFeeGrowth1Token",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "int24",
          "name": "target",
          "type": "int24"
        }
      ],
      "name": "moveToTick",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "int24",
          "name": "bottomTick",
          "type": "int24"
        },
        {
          "internalType": "int24",
          "name": "topTick",
          "type": "int24"
        },
        {
          "internalType": "int128",
          "name": "liquidityDelta",
          "type": "int128"
        }
      ],
      "name": "setPosition",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    }
  ],
  "bytecode": "0x60806040526001805462ffffff191690556000600290815561002390600019610052565b6003556100336002600019610052565b6004556000600555600060065534801561004c57600080fd5b50610074565b60008261006f57634e487b7160e01b600052601260045260246000fd5b500490565b6106d0806100836000396000f3fe608060405234801561001057600080fd5b506004361061004c5760003560e01c8063541bdfb114610051578063af75936814610066578063d19bbcfd14610079578063fab613cd1461008c575b600080fd5b61006461005f3660046105c0565b61009f565b005b61006461007436600461060d565b61028c565b61006461008736600461062f565b6103bc565b61006461009a36600461062f565b6103df565b600f19600284900b136100b157600080fd5b6010600283900b126100c257600080fd5b8160020b8360020b126100d457600080fd5b6001546003546004546000926100f4928492889260020b91879185610402565b6001805460035460045493945060009361011a938593899360029190910b928992610402565b905081156101b757600083600f0b121561019757600285900b6000908152602081905260409020541561014f5761014f610648565b600285810b600090815260208190526040812081815560018101805475ffffffffffffffffffffffffffffffffffffffffffff191690559182018190556003909101556101b7565b600285900b6000908152602081905260409020546101b7576101b7610648565b801561025257600083600f0b121561023257600284900b600090815260208190526040902054156101ea576101ea610648565b600284810b600090815260208190526040812081815560018101805475ffffffffffffffffffffffffffffffffffffffffffff19169055918201819055600390910155610252565b600284900b60009081526020819052604090205461025257610252610648565b60028054600f85900b01908190556000131561027057610270610648565b60025460000361028557600060058190556006555b5050505050565b600f19600282900b1361029e57600080fd5b6010600282900b126102af57600080fd5b600154600282810b91900b146103b957600154600282810b91900b121561034b5760018054600290810b909101900b6000908152602081905260409020541561032b576001805460038054600454600293840b909401830b60009081526020819052604090209182018054929093018054909103905590910390555b6001805462ffffff600282900b83011662ffffff199091161790556102af565b60015460020b600090815260208190526040902054156103975760015460038054600454600293840b600090815260208190526040902092830180549390940180549092039091550390555b6001805462ffffff600019600283900b011662ffffff199091161790556102af565b50565b600654818101116103cc57600080fd5b6004805482019055600680549091019055565b600554818101116103ef57600080fd5b6003805482019055600580549091019055565b600286900b6000908152602088905260408120805482610422828961050e565b6fffffffffffffffffffffffffffffffff1690506d09745258e83de0d0f4e400fce799811115610465576040516312dc1b2560e11b815260040160405180910390fd5b6001830154600f0b856104895788600f0b81600f0b6104849190610674565b61049b565b88600f0b81600f0b61049b919061069c565b6001850180546fffffffffffffffffffffffffffffffff19166fffffffffffffffffffffffffffffffff929092169190911790558184558115945060008390036104ff57841594508960020b8b60020b136104ff5760038401879055600284018890555b50505050979650505050505050565b60008082600f0b121561055957508082016fffffffffffffffffffffffffffffffff80841690821610610554576040516302603ee960e31b815260040160405180910390fd5b6105a3565b826fffffffffffffffffffffffffffffffff168284019150816fffffffffffffffffffffffffffffffff1610156105a357604051634cba017960e11b815260040160405180910390fd5b92915050565b8035600281900b81146105bb57600080fd5b919050565b6000806000606084860312156105d557600080fd5b6105de846105a9565b92506105ec602085016105a9565b9150604084013580600f0b811461060257600080fd5b809150509250925092565b60006020828403121561061f57600080fd5b610628826105a9565b9392505050565b60006020828403121561064157600080fd5b5035919050565b634e487b7160e01b600052600160045260246000fd5b634e487b7160e01b600052601160045260246000fd5b80820182811260008312801582168215821617156106945761069461065e565b505092915050565b81810360008312801583831316838312821617156106bc576106bc61065e565b509291505056fea164736f6c6343000814000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b506004361061004c5760003560e01c8063541bdfb114610051578063af75936814610066578063d19bbcfd14610079578063fab613cd1461008c575b600080fd5b61006461005f3660046105c0565b61009f565b005b61006461007436600461060d565b61028c565b61006461008736600461062f565b6103bc565b61006461009a36600461062f565b6103df565b600f19600284900b136100b157600080fd5b6010600283900b126100c257600080fd5b8160020b8360020b126100d457600080fd5b6001546003546004546000926100f4928492889260020b91879185610402565b6001805460035460045493945060009361011a938593899360029190910b928992610402565b905081156101b757600083600f0b121561019757600285900b6000908152602081905260409020541561014f5761014f610648565b600285810b600090815260208190526040812081815560018101805475ffffffffffffffffffffffffffffffffffffffffffff191690559182018190556003909101556101b7565b600285900b6000908152602081905260409020546101b7576101b7610648565b801561025257600083600f0b121561023257600284900b600090815260208190526040902054156101ea576101ea610648565b600284810b600090815260208190526040812081815560018101805475ffffffffffffffffffffffffffffffffffffffffffff19169055918201819055600390910155610252565b600284900b60009081526020819052604090205461025257610252610648565b60028054600f85900b01908190556000131561027057610270610648565b60025460000361028557600060058190556006555b5050505050565b600f19600282900b1361029e57600080fd5b6010600282900b126102af57600080fd5b600154600282810b91900b146103b957600154600282810b91900b121561034b5760018054600290810b909101900b6000908152602081905260409020541561032b576001805460038054600454600293840b909401830b60009081526020819052604090209182018054929093018054909103905590910390555b6001805462ffffff600282900b83011662ffffff199091161790556102af565b60015460020b600090815260208190526040902054156103975760015460038054600454600293840b600090815260208190526040902092830180549390940180549092039091550390555b6001805462ffffff600019600283900b011662ffffff199091161790556102af565b50565b600654818101116103cc57600080fd5b6004805482019055600680549091019055565b600554818101116103ef57600080fd5b6003805482019055600580549091019055565b600286900b6000908152602088905260408120805482610422828961050e565b6fffffffffffffffffffffffffffffffff1690506d09745258e83de0d0f4e400fce799811115610465576040516312dc1b2560e11b815260040160405180910390fd5b6001830154600f0b856104895788600f0b81600f0b6104849190610674565b61049b565b88600f0b81600f0b61049b919061069c565b6001850180546fffffffffffffffffffffffffffffffff19166fffffffffffffffffffffffffffffffff929092169190911790558184558115945060008390036104ff57841594508960020b8b60020b136104ff5760038401879055600284018890555b50505050979650505050505050565b60008082600f0b121561055957508082016fffffffffffffffffffffffffffffffff80841690821610610554576040516302603ee960e31b815260040160405180910390fd5b6105a3565b826fffffffffffffffffffffffffffffffff168284019150816fffffffffffffffffffffffffffffffff1610156105a357604051634cba017960e11b815260040160405180910390fd5b92915050565b8035600281900b81146105bb57600080fd5b919050565b6000806000606084860312156105d557600080fd5b6105de846105a9565b92506105ec602085016105a9565b9150604084013580600f0b811461060257600080fd5b809150509250925092565b60006020828403121561061f57600080fd5b610628826105a9565b9392505050565b60006020828403121561064157600080fd5b5035919050565b634e487b7160e01b600052600160045260246000fd5b634e487b7160e01b600052601160045260246000fd5b80820182811260008312801582168215821617156106945761069461065e565b505092915050565b81810360008312801583831316838312821617156106bc576106bc61065e565b509291505056fea164736f6c6343000814000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}