540.12/300.08	sh: line 1:  5420 Alarm clock             ./resources/firstorderprover resources/system.trs 50 > resources/result
540.12/300.10	EOF