718.97/300.04	sh: line 1: 64471 Alarm clock             ./resources/firstorderprover resources/system.trs 50 > resources/result
718.97/300.12	EOF