File: ../tpdb/samples/peanoSimple.maude.TRS/MYNAT_complete.trs, error: Unsupported type of TRS
Couldn't open file <60>: 60: No such file or directory