{"AbstractionChallenge" -> 
  "The Free Lie / Lazy Evaluation Abstraction Challenge.", 
 "Virtual2Knots" -> "A collection of images for virtual 2-knots.", 
 "PlanarLimit" -> 
  "Computation with Huan Vo regarding Stavros' \"Planar Limit\".", 
 "FreeLie" -> "A free-Lie calculator with lazy evaluation for series; <a \
href=\"../2014-01/index.html\">pensieve://2014-01/</a> version, continues <a \
href=\"../2013-05/index.html\">pensieve://2013-05/</a>, continued <a \
href=\"../Projects/WKO4/index.html\">pensieve://Projects/WKO4/</a>.", 
 "CheatSheetJ-Verification" -> "Cheat Sheet $J$ Verification; continues <a \
href=\"../2013-12/;\">pensieve://2013-12/;</a> continued \
CheatSheetFreeLie-Verification @ <a \
href=\"../Projects/WKO4\">pensieve://Projects/WKO4</a>."}
