809.48/300.06	sh: line 1: 14461 Alarm clock             ./resources/firstorderprover resources/system.trs 50 > resources/result
809.48/300.08	EOF