File: ../tpdb/samples/length-lazy-list.maude.TRS/LengthOfFiniteLists_complete.trs, error: Unsupported type of TRS
Couldn't open file <60>: 60: No such file or directory