parallel dep.load_files saves approx. 1s on 4 cores;
parallel dep.load_files saves approx. 1s on 4 cores;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle