633.21/300.04 sh: line 1: 65218 Alarm clock ./resources/firstorderprover resources/system.trs 50 > resources/result 633.21/300.09 EOF