what is the double dotted value when the triple dotted value is 15/128?
CREATE TABLE "variations" (
  "american_name" text,
  "british_name" text,
  "value" text,
  "dotted_value" text,
  "double_dotted_value" text,
  "triple_dotted_value" text
);
SELECT "double_dotted_value" FROM "variations" WHERE "triple_dotted_value"='15/128';