replaced Pattern.split by chunks iterator (more efficient, resembles ML version more closely);
replaced Pattern.split by chunks iterator (more efficient, resembles ML version more closely);

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