What is the Name when the License is gpl and the Current Version is 1.72?
CREATE TABLE "atari_5200" (
  "name" text,
  "current_version" text,
  "system" text,
  "platform" text,
  "license" text
);
SELECT "name" FROM "atari_5200" WHERE "license"='gpl' AND "current_version"='1.72';