{
  "_format": "hh-sol-artifact-1",
  "contractName": "TokenDeltaMathEchidnaTest",
  "sourceName": "contracts/test/echidna/TokenDeltaMathEchidnaTest.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "uint160",
          "name": "sqrtLower",
          "type": "uint160"
        },
        {
          "internalType": "uint160",
          "name": "sqrtCurrent",
          "type": "uint160"
        },
        {
          "internalType": "uint160",
          "name": "sqrtUpper",
          "type": "uint160"
        },
        {
          "internalType": "int128",
          "name": "liquidity",
          "type": "int128"
        }
      ],
      "name": "getInRangeMintInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint160",
          "name": "sqrtPX96",
          "type": "uint160"
        },
        {
          "internalType": "uint128",
          "name": "liquidity",
          "type": "uint128"
        },
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        },
        {
          "internalType": "bool",
          "name": "add",
          "type": "bool"
        }
      ],
      "name": "getNextSqrtPriceFromAmount0RoundingUpInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint160",
          "name": "sqrtPX96",
          "type": "uint160"
        },
        {
          "internalType": "uint128",
          "name": "liquidity",
          "type": "uint128"
        },
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        },
        {
          "internalType": "bool",
          "name": "add",
          "type": "bool"
        }
      ],
      "name": "getNextSqrtPriceFromAmount1RoundingDownInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint160",
          "name": "sqrtP",
          "type": "uint160"
        },
        {
          "internalType": "uint128",
          "name": "liquidity",
          "type": "uint128"
        },
        {
          "internalType": "uint256",
          "name": "amountIn",
          "type": "uint256"
        },
        {
          "internalType": "bool",
          "name": "zeroToOne",
          "type": "bool"
        }
      ],
      "name": "getNextSqrtPriceFromInputInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint160",
          "name": "sqrtP",
          "type": "uint160"
        },
        {
          "internalType": "uint128",
          "name": "liquidity",
          "type": "uint128"
        },
        {
          "internalType": "uint256",
          "name": "amountOut",
          "type": "uint256"
        },
        {
          "internalType": "bool",
          "name": "zeroToOne",
          "type": "bool"
        }
      ],
      "name": "getNextSqrtPriceFromOutputInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint160",
          "name": "sqrtA",
          "type": "uint160"
        },
        {
          "internalType": "uint160",
          "name": "sqrtB",
          "type": "uint160"
        },
        {
          "internalType": "int128",
          "name": "liquidity",
          "type": "int128"
        }
      ],
      "name": "getOutOfRangeMintInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint160",
          "name": "sqrtP",
          "type": "uint160"
        },
        {
          "internalType": "uint160",
          "name": "sqrtQ",
          "type": "uint160"
        },
        {
          "internalType": "uint128",
          "name": "liquidity",
          "type": "uint128"
        },
        {
          "internalType": "bool",
          "name": "roundUp",
          "type": "bool"
        }
      ],
      "name": "getToken0DeltaEquivalency",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint160",
          "name": "sqrtP",
          "type": "uint160"
        },
        {
          "internalType": "uint160",
          "name": "sqrtQ",
          "type": "uint160"
        },
        {
          "internalType": "uint128",
          "name": "liquidity",
          "type": "uint128"
        }
      ],
      "name": "getToken0DeltaInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint160",
          "name": "sqrtP",
          "type": "uint160"
        },
        {
          "internalType": "uint160",
          "name": "sqrtQ",
          "type": "uint160"
        },
        {
          "internalType": "int128",
          "name": "liquidity",
          "type": "int128"
        }
      ],
      "name": "getToken0DeltaSignedInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint160",
          "name": "sqrtP",
          "type": "uint160"
        },
        {
          "internalType": "uint160",
          "name": "sqrtQ",
          "type": "uint160"
        },
        {
          "internalType": "uint128",
          "name": "liquidity",
          "type": "uint128"
        }
      ],
      "name": "getToken1DeltaInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint160",
          "name": "sqrtP",
          "type": "uint160"
        },
        {
          "internalType": "uint160",
          "name": "sqrtQ",
          "type": "uint160"
        },
        {
          "internalType": "int128",
          "name": "liquidity",
          "type": "int128"
        }
      ],
      "name": "getToken1DeltaSignedInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "x",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "y",
          "type": "uint256"
        },
        {
          "internalType": "uint256",
          "name": "z",
          "type": "uint256"
        }
      ],
      "name": "mulDivRoundingUpInvariants",
      "outputs": [],
      "stateMutability": "pure",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b506110b8806100206000396000f3fe608060405234801561001057600080fd5b50600436106100d45760003560e01c8063a77816b811610081578063bb7e11571161005b578063bb7e115714610186578063c8bac0d214610199578063f157fb50146101ac57600080fd5b8063a77816b81461014d578063b46e671414610160578063b712c47c1461017357600080fd5b806339933d51116100b257806339933d51146101145780633d7291471461012757806392a6a6081461013a57600080fd5b806311a4c275146100d95780631faf4a39146100ee57806321e14f8b14610101575b600080fd5b6100ec6100e7366004610ed5565b6101bf565b005b6100ec6100fc366004610f28565b610253565b6100ec61010f366004610f28565b6102ea565b6100ec610122366004610f87565b6103ba565b6100ec610135366004610fd0565b61047c565b6100ec610148366004610ffc565b610511565b6100ec61015b366004611036565b6105cf565b6100ec61016e366004610f28565b6106d7565b6100ec610181366004610ffc565b610779565b6100ec610194366004610ed5565b610827565b6100ec6101a7366004610ffc565b610890565b6100ec6101ba366004610f28565b6108c8565b6000836001600160a01b03161180156101e157506000826001600160a01b0316115b6101ea57600080fd5b816001600160a01b0316836001600160a01b03161115610208579091905b60006102178484846000610973565b905060006102288585856001610973565b90508082111561023a5761023a61107f565b60028282031061024c5761024c61107f565b5050505050565b6000610261858585856109e4565b905081156102ac57846001600160a01b0316816001600160a01b0316111561028b5761028b61107f565b61029881868660016109fd565b8310156102a7576102a761107f565b61024c565b846001600160a01b0316816001600160a01b031610156102ce576102ce61107f565b6102db8582866001610973565b83101561024c5761024c61107f565b6000846001600160a01b03161161030057600080fd5b6000836001600160801b03161161031657600080fd5b600081156103325761032b85858560006109e4565b9050610342565b61033f8585856001610aa1565b90505b811561036f57846001600160a01b0316816001600160a01b0316101561036a5761036a61107f565b610391565b846001600160a01b0316816001600160a01b031611156103915761039161107f565b8260000361024c57806001600160a01b0316856001600160a01b03161461024c5761024c61107f565b6000846001600160a01b0316116103d057600080fd5b816001600160a01b0316846001600160a01b0316106103ee57600080fd5b826001600160a01b0316846001600160a01b0316111580156104225750816001600160a01b0316836001600160a01b031611155b61042b57600080fd5b600081600f0b1361043b57600080fd5b6000610448848484610ab1565b90506000610457868685610af6565b905060008213806104685750600081135b6104745761047461107f565b505050505050565b6000811161048957600080fd5b6000610496848484610b26565b905060006104a5858585610bc0565b9050818110156104b7576104b761107f565b6002828203106104c9576104c961107f565b8181036001036104f357600083806104e3576104e3611095565b858709116102a7576102a761107f565b828061050157610501611095565b8486091561024c5761024c61107f565b6000836001600160a01b031611801561053357506000826001600160a01b0316115b61053c57600080fd5b6000610549838584610ab1565b9050600082600f0b12156105685760008113156105685761056861107f565b600082600f0b13156105b057826001600160a01b0316846001600160a01b0316036105a057801561059b5761059b61107f565b6105b0565b600081136105b0576105b061107f565b81600f0b6000036105c95780156105c9576105c961107f565b50505050565b826001600160a01b0316846001600160a01b031610156105ee57600080fd5b6000846001600160a01b031611801561061057506000836001600160a01b0316115b61061957600080fd5b826001600160a01b0316846001600160a01b03168486026001600160a01b03168161064657610646611095565b046001600160a01b03161461065a57600080fd5b6fffffffffffffffffffffffffffffffff60601b606083901b166001600160a01b03848603811690808716908616026000846106a05761069b848484610b26565b6106ab565b6106ab848484610bc0565b905060006106bb888a89896109fd565b90508082146106cc576106cc61107f565b505050505050505050565b6000846001600160a01b0316116106ed57600080fd5b6000836001600160801b03161161070357600080fd5b6000811561071f5761071885858560016109e4565b905061072f565b61072c8585856000610aa1565b90505b811561075757846001600160a01b0316816001600160a01b0316111561036a5761036a61107f565b846001600160a01b0316816001600160a01b031610156103915761039161107f565b6000836001600160a01b031611801561079b57506000826001600160a01b0316115b6107a457600080fd5b600081600f0b136107b457600080fd5b60006107c1848484610ab1565b905060006107d0858585610af6565b9050836001600160a01b0316856001600160a01b0316036108075781156107f9576107f961107f565b80156102a7576102a761107f565b600082136108175761081761107f565b6000811361024c5761024c61107f565b6000836001600160a01b031611801561084957506000826001600160a01b0316115b61085257600080fd5b816001600160a01b0316836001600160a01b03161015610870579091905b600061087f83858460006109fd565b9050600061022884868560016109fd565b6000836001600160a01b03161180156108b257506000826001600160a01b0316115b6108bb57600080fd5b6000610549848484610af6565b60006108d685858585610aa1565b9050811561091c57846001600160a01b0316816001600160a01b031611156109005761090061107f565b61090d8186866000610973565b8311156102a7576102a761107f565b6000816001600160a01b0316116109355761093561107f565b846001600160a01b0316816001600160a01b031610156109575761095761107f565b61096485828660006109fd565b83111561024c5761024c61107f565b6000846001600160a01b0316846001600160a01b0316101561099457600080fd5b6001600160a01b0385850316826109c2576109bd81856001600160801b0316600160601b610b26565b6109da565b6109da81856001600160801b0316600160601b610bc0565b9695505050505050565b60006109f4858585856001610c40565b95945050505050565b60006001600160a01b0385850381169085168110610a1a57600080fd5b6fffffffffffffffffffffffffffffffff60601b606085901b1683610a6a57866001600160a01b0316610a578383896001600160a01b0316610b26565b81610a6457610a64611095565b04610a96565b610a96610a818383896001600160a01b0316610bc0565b886001600160a01b0316808204910615150190565b979650505050505050565b60006109f4858585856000610c40565b60008082600f0b1215610ade57610ad6610ad185858560000360006109fd565b610e67565b600003610aee565b610aee610ad185858560016109fd565b949350505050565b60008082600f0b1215610b1657610ad6610ad18585856000036000610973565b610aee610ad18585856001610973565b60008383028160001985870982811083820303915050808411610b4857600080fd5b80600003610b5b57508290049050610bb9565b8385870960008581038616958690049560026003880281188089028203028089028203028089028203028089028203028089028203028089029091030291819003819004600101858411909403939093029190930391909104170290505b9392505050565b6000831580610be157505082820282848281610bde57610bde611095565b04145b15610c025760008211610bf357600080fd5b81810490829006151501610bb9565b610c0d848484610b26565b905060008280610c1f57610c1f611095565b8486091115610bb9576000198110610c3657600080fd5b6001019392505050565b6000856001600160a01b0316600003610c5857600080fd5b846001600160801b0316600003610c6e57600080fd5b83600003610c7d5750846109f4565b81151583151503610d82576fffffffffffffffffffffffffffffffff60601b606086901b168215610d30576001600160a01b03871685810290868281610cc557610cc5611095565b0403610cf557818101828110610cf357610ce9838a6001600160a01b031683610bc0565b93505050506109f4565b505b610d2782610d1c888b6001600160a01b03168681610d1557610d15611095565b0490610e7b565b808204910615150190565b925050506109f4565b6001600160a01b03871685810290868281610d4d57610d4d611095565b0414610d5857600080fd5b808211610d6457600080fd5b610d27610d7d838a6001600160a01b0316848603610bc0565b610e91565b8115610def57610de8610d7d6001600160a01b03861115610dba57610db586600160601b896001600160801b0316610b26565b610dd8565b6001600160801b038716606087901b81610dd657610dd6611095565b045b6001600160a01b03891690610e7b565b90506109f4565b60006001600160a01b03851115610e1d57610e1885600160601b886001600160801b0316610bc0565b610e3a565b610e3a606086901b6001600160801b038816808204910615150190565b905080876001600160a01b031611610e5157600080fd5b6001600160a01b03871603905095945050505050565b806000811215610e7657600080fd5b919050565b80820182811015610e8b57600080fd5b92915050565b806001600160a01b0381168114610e7657600080fd5b80356001600160a01b0381168114610e7657600080fd5b80356001600160801b0381168114610e7657600080fd5b600080600060608486031215610eea57600080fd5b610ef384610ea7565b9250610f0160208501610ea7565b9150610f0f60408501610ebe565b90509250925092565b80358015158114610e7657600080fd5b60008060008060808587031215610f3e57600080fd5b610f4785610ea7565b9350610f5560208601610ebe565b925060408501359150610f6a60608601610f18565b905092959194509250565b8035600f81900b8114610e7657600080fd5b60008060008060808587031215610f9d57600080fd5b610fa685610ea7565b9350610fb460208601610ea7565b9250610fc260408601610ea7565b9150610f6a60608601610f75565b600080600060608486031215610fe557600080fd5b505081359360208301359350604090920135919050565b60008060006060848603121561101157600080fd5b61101a84610ea7565b925061102860208501610ea7565b9150610f0f60408501610f75565b6000806000806080858703121561104c57600080fd5b61105585610ea7565b935061106360208601610ea7565b925061107160408601610ebe565b9150610f6a60608601610f18565b634e487b7160e01b600052600160045260246000fd5b634e487b7160e01b600052601260045260246000fdfea164736f6c6343000814000a",
  "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100d45760003560e01c8063a77816b811610081578063bb7e11571161005b578063bb7e115714610186578063c8bac0d214610199578063f157fb50146101ac57600080fd5b8063a77816b81461014d578063b46e671414610160578063b712c47c1461017357600080fd5b806339933d51116100b257806339933d51146101145780633d7291471461012757806392a6a6081461013a57600080fd5b806311a4c275146100d95780631faf4a39146100ee57806321e14f8b14610101575b600080fd5b6100ec6100e7366004610ed5565b6101bf565b005b6100ec6100fc366004610f28565b610253565b6100ec61010f366004610f28565b6102ea565b6100ec610122366004610f87565b6103ba565b6100ec610135366004610fd0565b61047c565b6100ec610148366004610ffc565b610511565b6100ec61015b366004611036565b6105cf565b6100ec61016e366004610f28565b6106d7565b6100ec610181366004610ffc565b610779565b6100ec610194366004610ed5565b610827565b6100ec6101a7366004610ffc565b610890565b6100ec6101ba366004610f28565b6108c8565b6000836001600160a01b03161180156101e157506000826001600160a01b0316115b6101ea57600080fd5b816001600160a01b0316836001600160a01b03161115610208579091905b60006102178484846000610973565b905060006102288585856001610973565b90508082111561023a5761023a61107f565b60028282031061024c5761024c61107f565b5050505050565b6000610261858585856109e4565b905081156102ac57846001600160a01b0316816001600160a01b0316111561028b5761028b61107f565b61029881868660016109fd565b8310156102a7576102a761107f565b61024c565b846001600160a01b0316816001600160a01b031610156102ce576102ce61107f565b6102db8582866001610973565b83101561024c5761024c61107f565b6000846001600160a01b03161161030057600080fd5b6000836001600160801b03161161031657600080fd5b600081156103325761032b85858560006109e4565b9050610342565b61033f8585856001610aa1565b90505b811561036f57846001600160a01b0316816001600160a01b0316101561036a5761036a61107f565b610391565b846001600160a01b0316816001600160a01b031611156103915761039161107f565b8260000361024c57806001600160a01b0316856001600160a01b03161461024c5761024c61107f565b6000846001600160a01b0316116103d057600080fd5b816001600160a01b0316846001600160a01b0316106103ee57600080fd5b826001600160a01b0316846001600160a01b0316111580156104225750816001600160a01b0316836001600160a01b031611155b61042b57600080fd5b600081600f0b1361043b57600080fd5b6000610448848484610ab1565b90506000610457868685610af6565b905060008213806104685750600081135b6104745761047461107f565b505050505050565b6000811161048957600080fd5b6000610496848484610b26565b905060006104a5858585610bc0565b9050818110156104b7576104b761107f565b6002828203106104c9576104c961107f565b8181036001036104f357600083806104e3576104e3611095565b858709116102a7576102a761107f565b828061050157610501611095565b8486091561024c5761024c61107f565b6000836001600160a01b031611801561053357506000826001600160a01b0316115b61053c57600080fd5b6000610549838584610ab1565b9050600082600f0b12156105685760008113156105685761056861107f565b600082600f0b13156105b057826001600160a01b0316846001600160a01b0316036105a057801561059b5761059b61107f565b6105b0565b600081136105b0576105b061107f565b81600f0b6000036105c95780156105c9576105c961107f565b50505050565b826001600160a01b0316846001600160a01b031610156105ee57600080fd5b6000846001600160a01b031611801561061057506000836001600160a01b0316115b61061957600080fd5b826001600160a01b0316846001600160a01b03168486026001600160a01b03168161064657610646611095565b046001600160a01b03161461065a57600080fd5b6fffffffffffffffffffffffffffffffff60601b606083901b166001600160a01b03848603811690808716908616026000846106a05761069b848484610b26565b6106ab565b6106ab848484610bc0565b905060006106bb888a89896109fd565b90508082146106cc576106cc61107f565b505050505050505050565b6000846001600160a01b0316116106ed57600080fd5b6000836001600160801b03161161070357600080fd5b6000811561071f5761071885858560016109e4565b905061072f565b61072c8585856000610aa1565b90505b811561075757846001600160a01b0316816001600160a01b0316111561036a5761036a61107f565b846001600160a01b0316816001600160a01b031610156103915761039161107f565b6000836001600160a01b031611801561079b57506000826001600160a01b0316115b6107a457600080fd5b600081600f0b136107b457600080fd5b60006107c1848484610ab1565b905060006107d0858585610af6565b9050836001600160a01b0316856001600160a01b0316036108075781156107f9576107f961107f565b80156102a7576102a761107f565b600082136108175761081761107f565b6000811361024c5761024c61107f565b6000836001600160a01b031611801561084957506000826001600160a01b0316115b61085257600080fd5b816001600160a01b0316836001600160a01b03161015610870579091905b600061087f83858460006109fd565b9050600061022884868560016109fd565b6000836001600160a01b03161180156108b257506000826001600160a01b0316115b6108bb57600080fd5b6000610549848484610af6565b60006108d685858585610aa1565b9050811561091c57846001600160a01b0316816001600160a01b031611156109005761090061107f565b61090d8186866000610973565b8311156102a7576102a761107f565b6000816001600160a01b0316116109355761093561107f565b846001600160a01b0316816001600160a01b031610156109575761095761107f565b61096485828660006109fd565b83111561024c5761024c61107f565b6000846001600160a01b0316846001600160a01b0316101561099457600080fd5b6001600160a01b0385850316826109c2576109bd81856001600160801b0316600160601b610b26565b6109da565b6109da81856001600160801b0316600160601b610bc0565b9695505050505050565b60006109f4858585856001610c40565b95945050505050565b60006001600160a01b0385850381169085168110610a1a57600080fd5b6fffffffffffffffffffffffffffffffff60601b606085901b1683610a6a57866001600160a01b0316610a578383896001600160a01b0316610b26565b81610a6457610a64611095565b04610a96565b610a96610a818383896001600160a01b0316610bc0565b886001600160a01b0316808204910615150190565b979650505050505050565b60006109f4858585856000610c40565b60008082600f0b1215610ade57610ad6610ad185858560000360006109fd565b610e67565b600003610aee565b610aee610ad185858560016109fd565b949350505050565b60008082600f0b1215610b1657610ad6610ad18585856000036000610973565b610aee610ad18585856001610973565b60008383028160001985870982811083820303915050808411610b4857600080fd5b80600003610b5b57508290049050610bb9565b8385870960008581038616958690049560026003880281188089028203028089028203028089028203028089028203028089028203028089029091030291819003819004600101858411909403939093029190930391909104170290505b9392505050565b6000831580610be157505082820282848281610bde57610bde611095565b04145b15610c025760008211610bf357600080fd5b81810490829006151501610bb9565b610c0d848484610b26565b905060008280610c1f57610c1f611095565b8486091115610bb9576000198110610c3657600080fd5b6001019392505050565b6000856001600160a01b0316600003610c5857600080fd5b846001600160801b0316600003610c6e57600080fd5b83600003610c7d5750846109f4565b81151583151503610d82576fffffffffffffffffffffffffffffffff60601b606086901b168215610d30576001600160a01b03871685810290868281610cc557610cc5611095565b0403610cf557818101828110610cf357610ce9838a6001600160a01b031683610bc0565b93505050506109f4565b505b610d2782610d1c888b6001600160a01b03168681610d1557610d15611095565b0490610e7b565b808204910615150190565b925050506109f4565b6001600160a01b03871685810290868281610d4d57610d4d611095565b0414610d5857600080fd5b808211610d6457600080fd5b610d27610d7d838a6001600160a01b0316848603610bc0565b610e91565b8115610def57610de8610d7d6001600160a01b03861115610dba57610db586600160601b896001600160801b0316610b26565b610dd8565b6001600160801b038716606087901b81610dd657610dd6611095565b045b6001600160a01b03891690610e7b565b90506109f4565b60006001600160a01b03851115610e1d57610e1885600160601b886001600160801b0316610bc0565b610e3a565b610e3a606086901b6001600160801b038816808204910615150190565b905080876001600160a01b031611610e5157600080fd5b6001600160a01b03871603905095945050505050565b806000811215610e7657600080fd5b919050565b80820182811015610e8b57600080fd5b92915050565b806001600160a01b0381168114610e7657600080fd5b80356001600160a01b0381168114610e7657600080fd5b80356001600160801b0381168114610e7657600080fd5b600080600060608486031215610eea57600080fd5b610ef384610ea7565b9250610f0160208501610ea7565b9150610f0f60408501610ebe565b90509250925092565b80358015158114610e7657600080fd5b60008060008060808587031215610f3e57600080fd5b610f4785610ea7565b9350610f5560208601610ebe565b925060408501359150610f6a60608601610f18565b905092959194509250565b8035600f81900b8114610e7657600080fd5b60008060008060808587031215610f9d57600080fd5b610fa685610ea7565b9350610fb460208601610ea7565b9250610fc260408601610ea7565b9150610f6a60608601610f75565b600080600060608486031215610fe557600080fd5b505081359360208301359350604090920135919050565b60008060006060848603121561101157600080fd5b61101a84610ea7565b925061102860208501610ea7565b9150610f0f60408501610f75565b6000806000806080858703121561104c57600080fd5b61105585610ea7565b935061106360208601610ea7565b925061107160408601610ebe565b9150610f6a60608601610f18565b634e487b7160e01b600052600160045260246000fd5b634e487b7160e01b600052601260045260246000fdfea164736f6c6343000814000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}