0.17/0.19	This TRS is not left-linear right-ground!
0.17/0.19	Every variable should occur at most once in a rule.
0.17/0.19	Use the -h option to get more instructions about how to call FORT.
0.17/0.20	EOF