Readme file ext/regulus/doc/ACL2003/Experiments/trace_files/trace_feb11_1225.txt too large (775,692 bytes; maximum size is 50,000)