what's the compressed format of the camera manufactured by sony entertainment, with a weight less than 180.0?
(AND digicams.camera_compressed_format (JOIN digicams.camera_compressed_format.cameras (AND (lt digicams.digital_camera.weight 180.0^^http://www.w3.org/2001/XMLSchema#float) (JOIN digicams.digital_camera.manufacturer m.06q07))))