File: ../tpdb/samples/bag-sum-prod.maude.TRS/BAG_complete.trs, error: Unsupported type of TRS
Couldn't open file <60>: 60: No such file or directory