non-persistent print_state: trade-off between JVM space vs. ML time;
non-persistent print_state: trade-off between JVM space vs. ML time;

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