maude tool: 'maude'
 checking version: 3.5.1. OK.
 checking installation: OK.
[Theory qnsqy_ratchet_pcs] Theory loaded
[Theory qnsqy_ratchet_pcs] Theory translated
[Theory qnsqy_ratchet_pcs] Derivation checks started
[Theory qnsqy_ratchet_pcs] Derivation checks ended
[Theory qnsqy_ratchet_pcs] Theory closed
[Saturating Sources] Step 1 (Max 5)
[Saturating Sources] Step 2 (Max 5)
[Saturating Sources] Step 3 (Max 5)
[Saturating Sources] Done
PCS_RETRY_EXIT=124