CREATE TABLE "race" (
  "driver" text,
  "constructor" text,
  "laps" real,
  "time_retired" text,
  "grid" real
);

Question: who is the constructor when the laps is more than 72 and the driver is eddie irvine?
SQL: SELECT "constructor" FROM "race" WHERE "laps">72 AND "driver"='eddie irvine';