585.18/300.05	sh: line 1: 61410 Alarm clock             ./resources/firstorderprover resources/system.trs 50 > resources/result
585.18/300.17	EOF