What is the sum of the prominence in m of slovakia?
CREATE TABLE "list_of_european_ultra_prominent_peaks" (
  "peak" text,
  "country" text,
  "elevation_m" real,
  "prominence_m" real,
  "col_m" real
);
SELECT SUM("prominence_m") FROM "list_of_european_ultra_prominent_peaks" WHERE "country"='slovakia';