Readme file ext/regulus/doc/ACL2003/Experiments/trace_files/trace_feb10_2212.txt too large (580,020 bytes; maximum size is 50,000)