SIMBAD references

We present the package GRAVELAMPS, which is designed to analyze gravitationally lensed gravitational wave signals in order to constrain the mass density profile of the lensing object. GRAVELAMPS does this via parameter estimation using the framework of BILBY, which enables estimation of both the lens and the source parameters. The package can be used to study both microlensing and macrolensing cases, where the lensing mass distribution is described by a point-mass and extended-mass density profile, respectively. It allows the user to easily and freely switch between a full wave optics and approximate geometric optics description. The performance of GRAVELAMPS is demonstrated via simulated analysis of both microlensing and macrolensing events, illustrating its capability for both parameter estimation and model selection in the wave optics and hybrid environments. To further demonstrate the utility of the package, the real gravitational-wave event GW170809 was analyzed using GRAVELAMPS; this event was found to yield no strong evidence supporting the lensing hypothesis, consistent with previously published results.