Readme file ext/ape/tests/testruns/test_drs_to_tptp_out.txt too large (608,339 bytes; maximum size is 50,000)