Pensieve header: Make the RVK presentations of all knots with 12 crossings.

SetDirectory["C:\\drorbn\\AcademicPensieve\\2016-10"];
<< ../2016-09/OneSmidgen.m
SetDirectory["C:\\drorbn\\AcademicPensieve\\2016-10"];

Table[K->RVK[K], {K, AllKnots[12]}] >> RVK4K12.m