prefer preset = 3 -- much faster and less memory requirement;
prefer preset = 3 -- much faster and less memory requirement;

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