{"abc-150809" -> "One-Co computations in the abc presentation; continues pensieve://2015-07/.",
"BackieVerification" ->
"Verification of the backie commutation relation, $[a_{jk}, a_{kj}]$.",
"abc-150811" -> "One-Co computations in the abc presentation; continues pensieve://2015-07/.",
"abc-150812" -> "One-Co computations in the abc presentation; continues pensieve://2015-07/. Jacobi holds and YB \
solved!", "abc" -> "One-Co computations in the abc presentation; continues pensieve://2015-07/, continued pensieve://2015-11/."}