Readme file ext/regulus/doc/ACL2003/Experiments/trace_files/grammar_scale_trace_feb19.txt too large (594,370 bytes; maximum size is 50,000)