using RandomWord from Isabelle/Pure gains factor 10-20 speedup;
using RandomWord from Isabelle/Pure gains factor 10-20 speedup;

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