I noticed that the left hand lens will focus the ceiling lights onto the carpet. This suggests a convex lens producing a real image.
The right hand lens produces a bright boundary outside the dark image of the lens which suggests a concave diverging lens.
I will have to look more carefully at how the two different lenses affect the optical coronae.
