{"SL2Portfolio" -> "A unified verification notebook for the $sl_2$-portfolio \
project; continues pensieve://Projects/PPSA/nb/V\
erfication.pdf.", "CellExport" -> "A program for exporting tagged cells, \
continues pensieve://Projects/PPSA/.",
"Verification-Uix" -> "A unified verification notebook for the \
$sl_2$-portfolio project, Uix version. Continues the Uxi version and pensieve://Projects/UEA.",
"GDO" ->
"Implementing and testing the category of Gaussian Differential Operators."\
, "Verification" -> "A unified verification notebook for the $sl_2$-portfolio \
project, Uxi version. Continues pensieve://Projects/PPSA/nb/\
Verification.pdf.", "SL2Logoi" -> "Direct formulas for the sl2 logoi.",
"MakeSnips" -> "Make the snip files in Snips/.",
"Logoi" -> "Direct formulas for the sl2 logoi.",
"Qtheta" -> "Invariance of k=2 under Qθ.",
"k=2 Analysis in CU" -> "Analysis of k=2 invariants in CU.",
"SL2PortfolioProgram" -> "A unified verification program for the \
$sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/\
SL2Portfolio/nb/Verification.pdf.", "k=2 Analysis in QU" ->
"Analysis of k=2 invariants in QU.", "k=2 Analysis in QU V2" ->
"Analysis of k=2 invariants in QU.", "k=2 Analysis in LogQU" ->
"Analysis of k=2 invariants in QU.", "SL2PortfolioTesting" -> "A unified \
verification testing suite for the $sl_2$-portfolio project, Uxi version. \
Continues pensieve://Projects/\
SL2Portfolio/nb/Verification.pdf.", "k=2 Analysis in QU V3" -> "Analysis \
of k=2 invariants in QU: Brute determination of the relations between the k=2 \
coefficients.", "k=2 Analysis in QU V4" ->
"Analysis of k=2 invariants in QU: Aiming to find the relationship with \
OP2.", "k=2 Analysis in QU V5" ->
"Analysis of k=2 invariants in QU: Aiming to find the relationship with \
OP2."}