What is the maximum fps HDRx with a height larger than 1080 with a compression at 24 fps of 6:1 with a compression at maximum fps of at least 7:1?
CREATE TABLE "history" (
  "frame_size" text,
  "width" real,
  "height" real,
  "mpix" real,
  "aspect_ratio" text,
  "maximum_fps" real,
  "maximum_fps_hd_rx" real,
  "least_compression_at_24_fps" text,
  "least_compression_at_maximum_fps" text
);
SELECT "maximum_fps_hd_rx" FROM "history" WHERE "height">1080 AND "least_compression_at_24_fps"='6:1' AND "least_compression_at_maximum_fps"='7:1';