ML_OPTIONS="-H 1000" -- potentially works around GC core dump;
ML_OPTIONS="-H 1000" -- potentially works around GC core dump;

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