print "persistent" flag allows to adjust tradeoff of ML run-time vs. JVM heap-space;
print "persistent" flag allows to adjust tradeoff of ML run-time vs. JVM heap-space;

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