phrases.sml

structure Phrases =
struct

  (* These are known to be correct *)
  val power =
    (* cthulhu mythos *)
    [ "Ei!" (* Example in contest doc. *)
    , "Ia! Ia!" (* Filled cells in problem 3. Confirmed in experiment. *)
    , "R'lyeh" (* filled cells in problem 5. Confirmed in experiment. *)
    , "Yuggoth" (* filled cells in problem 7.  Confirmed in experiment powere92. *)
    , "Cthulhu fhtagn!" (* "Cthulhu waits"; experiment powerc6e *)
    , "Ph'nglui mglw'nafh Cthulhu R'lyeh wgah'nagl fhtagn." (* full quote; pb_b9f *)
    , "Necronomicon" (* for summoning the Old Ones; experiment power27e *)
    , "Tsathoggua" (* Master of formless spawn, tag manual515 *)
    , "YogSothoth" (* cosmic entity, tag pb_4e2 *)
    (* buckaroo banzai across the 8th dimension *)
    , "John Bigboote" (* confirmed tag banzai8be + what jason? *)
    , "yoyodyne" (* confirmed in yes_93b *)
    , "planet 10" (* confirmed in redacted7cf *)
    , "monkeyboy" (* confirmed in woo_e28 *)
    (* Laundry Files code words *)
    , "BLUE HADES" (* confirmed in pb_baa, and again in pb_cb *)
    , "CASE NIGHTMARE GREEN" (* confirmed in pb_928 *)
    ]

  (* Ideas? *)
  val hypotheses = [
    (* Other Cthulhu mythos stuff?  Yog Suthuth, Shub Niggurath...? *)
    "icfp2015" (* dropped letters in problem 24.. /probably/ not?  fp is E W, and so is 20.. very hard not to stutter *)
                    ]

  (* These are known to be incorrect -- phrases of weakness *)
  val weakness = [
    "Cthulhu Cthulhu Cthulhu" (* from contest clarification -- refuted by experiment powerd1f *)
  , "Yog Sothoth!" (* cthulhu mythos -- refuted by experiment power652 *)
  , "Shub" (* shub alone is not enough -- refuted by experiment powerca8 *)
  , "bap" (* discovered via problem 1 score, but refuted by experiment power638 (leaderboard "isomorphic phrasing" bug). *)
  , "davar" (* refuted by experiment power4df *)
  , "Ph'nglui mglw'nafh Cthulhu R'lyeh wgah'nagl fhtagn!" (* experiment power17c *)
  , "fnord" (* experiment power26f *)
  , "Shub Niggurath!" (* ultimately refuted by experiment power592 *)
  , "Nithon!" (* a moon of Yuggoth; refuted by experiment power436 *)
  , "Thog!" (* a twin moon of Yuggoth; refuted by experiment powerf29 *)
  (* three refuted by power 1c9 *)
  , "Thok!" (* a twin moon of Yuggoth; refuted by experiment power1c9 *)
  , "Tok'l" (* a kind of metal mined on Yuggoth; refuted by experiment power1c9 *)
  , "Shoggoth!" (* monster from Yuggoth; refuted by experiment power1c9 *)
  , "Innsmouth" (* Lovecraftian port town; refuted by experiment power3a4 *)
  , "Miskatonic" (* Lovecraftian university; refuted by experiment power8e5 *)
    (* NB: Miskatonic University is hard to make work -- "rs" is a CW/CCW *)
  (* bunch of junk that contains no power phrases; experiment power588/power27e *)
  , "aleister crowley alhazred enochian Corpus Hermeticum Azathoth Aiwaz nathan of gaza Klippoth"
  , "klaatu barada nikto" (* worth a shot; experiment power811 *)
  (* more random cthulhu junk; experiment power777 *)
  , "Al Azif Madame Blavatsky Salem Kadath UAAAH 'Umr at Tawil At U'mr ....... Tawil At'Umr"
  , "Azathoth" (* refuted by tag azathoth33b *)
  , "Ghatanothoa" (* refuted by tag two304 *)
  , "Nodens" (* refuted by tag two304 *)
  , "Nyarlathotep" (* refuted by tag nyarlathotep8d6 *)
  , "John" (* confirmed tag banzai43f *)
  , "deneb" (* refuted by AKIVA2d1 *)
  , "lord john whorfin barbara liskov robin milner ron rivest ronald rivest sir tony hoare john conway john cocke" (* refuted by submittyfa9 *)
    ]
end