{"muCalculus" -> "μ-calculus programs, continues pensieve://2013-11/DoubleTree/.", "FreeLie-140321" -> "A free-Lie calculator, pensieve://Projects/WKO4/ branch, \
continues pensieve://2014-01/.",
"WKO3" -> "Aw calculations for the WKO4 paper.",
"AwCalculus-140731" -> "Aw-calculus programs for the WKO4 paper.",
"FreeLie-140731" -> "A free-Lie calculator, pensieve://Projects/WKO4/ branch, \
continues pensieve://2014-01/. Now \
with \"New\"!", "CheatSheetFreeLie-Verification" -> "Cheat Sheet Free Lie \
Verification; continues CheatSheetJ-Verification @ pensieve://2014-01/.",
"UnifiedJCF" -> "JCF tricks and programs - unified notebook.",
"AwCalculus-Testing" -> "Testing the AwCalculus package.",
"Phi" -> "Fuller output of for a Drinfel'd associator Φ.",
"VCapTwistSolution" -> "Solving R4, Unitarity, Cap, and Twist.",
"FlipSymmetry" -> "Testing if vertical flip is a symmetry of SolKV.",
"VCapFlipSolution" -> "Solving R4, Unitarity, Cap, and Vertical Flip. Data \
file: R4UniCapVFlipSolution-to-12.m.",
"FollowingAlbertHarinckTorossian" ->
"Calculations following Albert-Harinck-Torossian's arXiv:0802.2049.",
"dims" -> "The linearized KV equations.",
"dims2" -> "The linearized tree-level KV and twist equations.",
"dims3" -> "The linearized tree-level KV equations.",
"dims1" -> "The linearized KV and twist equations.",
"Trialities" -> "Figuring out triality(s).", "KVDirect" -> "Fuller output of \
for the direct KV solution. Even fuller: KVDirect-to-13.m.",
"WKO4" -> "Calculations appearing in the WKO4 paper.",
"AwCalculus" -> "Aw-calculus programs for the WKO4 paper.",
"817" -> "Fuller output of for $8_{17}$.", "bch" -> "Fuller output of bch. \
Even fuller: bch-to-20.m, bch-to-22.m, bch-to-23.m.",
"Borromean" -> "Fuller output of for the Borromean tangle. Even fuller: Borromean-to-7.m", "bch-stats" -> "Fuller output of \
bch. Even fuller: bch-to-20.m, bch-to-22.m, bch-to-23.m.",
"WKO4Session" -> "Calculations appearing in the WKO4 paper.",
"CellExport" -> "A program for exporting tagged cells, continues pensieve://2013-03/, continued pensieve://Projects/PPSA/.",
"FreeLie" -> "A free-Lie calculator, pensieve://Projects/WKO4/ branch \
(most current), continues pensieve://2014-01/. Now understands \
the Drinfel'd-Kohno algebra.", "FreeLie-Testing" ->
"Testing the FreeLie package.", "PhiIn2Poles" ->
"Φ equations in the 2-poles 2-strands universe.",
"SolvingForTheUnitarityOfPhiV" ->
"Testing if KV is equivalent to R4 + Unitarity of $\\Phi_V$.",
"VCapSolution" -> "Fuller output of for V and Cap. Even fuller: VCapSolution-to-12.m.",
"SolvingForTheUnitarityOfPhiV@230705" ->
"Testing if KV is equivalent to R4 + Unitarity of $\\Phi_V$.",
"SolvingForTheUnitarityOfPhiV@230706" ->
"Testing if KV is equivalent to R4 + Unitarity of $\\Phi_V$.",
"UnitarityOfPhiV" ->
" Testing the equivalence KV <-> (R4 and ||Phi_V||)==1.",
"V-Alone_Solution" -> "Solving for V alone (with Kuno). Continued pensieve://People/Kuno.",
"VCapSolutionSatisfyNewQ" -> "Do solutions of R4, unitarity and cap satisfy \
the new $\\bar{V}^{21}=S_1S_2V^{-1}$?.", "VCapSolutionWithNonTrivialWens" ->
"Solving R4, Cap, and Unitarity without assuming $W=1$. With Dancso, \
October 2023."}