Readme file ext/regulus/doc/ACL2003/Experiments/trace_files/rcau_scale_trace_feb13_2255.txt too large (645,926 bytes; maximum size is 50,000)