649.35/300.04 sh: line 1: 48101 Alarm clock ./resources/firstorderprover resources/system.trs 50 > resources/result 649.35/300.07 EOF