{"H13Level3" -> "Hilbert's 13th problem - Step 2 to level 3.", 
 "H13Level3-OnSphere" -> "Hilbert's 13th problem - Step 2 to level 3.", 
 "Hilbert13th-Step1" -> "Hilbert's 13th problem - Step 1 (2014 Branch).", 
 "Hilbert13th-Step2" -> "Hilbert's 13th problem - Step 2 (2014 Branch).", 
 "H13Step1" -> "Hilbert's 13th problem - Step 1 (2014 Branch).", 
 "H13Step2" -> "Hilbert's 13th problem - Step 2 (2014 Branch).", 
 "H13Step2-OnSphere" -> "Hilbert's 13th problem - Step 2 (2014 Branch).", 
 "H13Step2-OnZBookX2" -> 
  "Hilbert's 13th problem - Step 2 (2019 High Resolution, failed)."}
