added "no_atp"s for extremely prolific, useless facts for ATPs
added "no_atp"s for extremely prolific, useless facts for ATPs

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