{"Verification-180211" -> "A unified verification notebook for the \
$sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verfication.pdf\">pensieve://Projects/PPSA/n\
b/Verfication.pdf</a>.", "Verification-180212" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180213" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180215" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180215-2" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180219" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180220-Branch" -> "A unified \
verification notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180220" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180221" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180222" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180227-Branch" -> "A unified \
verification notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180227" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180228" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180301" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180301-2" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180301-3" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180301-4" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180302" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180304" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180306" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180307" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180311" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180313-LogP" -> "A unified \
verification notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180316" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180322" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification180322-2" -> "A unified verification \
notebook for the $sl_2$-portfolio project; continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180416" -> "A unified verification \
notebook for the $sl_2$-portfolio project, Uxi version. Continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180417" -> "A unified verification \
notebook for the $sl_2$-portfolio project, Uxi version. Continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180418-2" -> "A unified verification \
notebook for the $sl_2$-portfolio project, Uxi version. Continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "Verification-180418" -> "A unified verification \
notebook for the $sl_2$-portfolio project, Uxi version. Continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "SL2PortfolioProgram-180419-2" -> "A unified \
verification program for the $sl_2$-portfolio project, Uxi version. Continues \
<a \
href=\"../../../Projects/SL2Portfolio/nb/Verification.pdf\">pensieve://Projec\
ts/SL2Portfolio/nb/Verification.pdf</a>.", "SL2PortfolioProgram-180419" -> "A \
unified verification program for the $sl_2$-portfolio project, Uxi version. \
Continues <a \
href=\"../../../Projects/SL2Portfolio/nb/Verification.pdf\">pensieve://Projec\
ts/SL2Portfolio/nb/Verification.pdf</a>.", "SL2PortfolioTesting-180419-2" -> 
  "A unified verification testing suite for the $sl_2$-portfolio project, Uxi \
version. Continues <a \
href=\"../../../Projects/SL2Portfolio/nb/Verification.pdf\">pensieve://Projec\
ts/SL2Portfolio/nb/Verification.pdf</a>.", "SL2PortfolioTesting-180419" -> "A \
unified verification testing suite for the $sl_2$-portfolio project, Uxi \
version. Continues <a \
href=\"../../../Projects/SL2Portfolio/nb/Verification.pdf\">pensieve://Projec\
ts/SL2Portfolio/nb/Verification.pdf</a>.", "Verification" -> "A unified \
verification notebook for the $sl_2$-portfolio project, Uxi version. \
Continues <a \
href=\"../../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/\
nb/Verification.pdf</a>.", "SL2PortfolioProgram-180419-PrePruning" -> "A \
unified verification program for the $sl_2$-portfolio project, Uxi version. \
Continues <a \
href=\"../../../Projects/SL2Portfolio/nb/Verification.pdf\">pensieve://Projec\
ts/SL2Portfolio/nb/Verification.pdf</a>.", 
 "SL2PortfolioTesting-180419-PrePruning" -> "A unified verification testing \
suite for the $sl_2$-portfolio project, Uxi version. Continues <a \
href=\"../../../Projects/SL2Portfolio/nb/Verification.pdf\">pensieve://Projec\
ts/SL2Portfolio/nb/Verification.pdf</a>.", "SL2PortfolioProgram-180421" -> "A \
unified verification program for the $sl_2$-portfolio project, Uxi version. \
Continues <a \
href=\"../../../Projects/SL2Portfolio/nb/Verification.pdf\">pensieve://Projec\
ts/SL2Portfolio/nb/Verification.pdf</a>.", "SL2PortfolioProgram-180517" -> "A \
unified verification program for the $sl_2$-portfolio project, Uxi version. \
Continues <a \
href=\"../../../Projects/SL2Portfolio/nb/Verification.pdf\">pensieve://Projec\
ts/SL2Portfolio/nb/Verification.pdf</a>."}
