keep persistent production tables as immutable vectors -- potential performance improvement on modern hardware;
keep persistent production tables as immutable vectors -- potential performance improvement on modern hardware;

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