525.50/300.02	sh: line 1: 30604 Alarm clock             ./resources/firstorderprover resources/system.trs 50 > resources/result
525.50/300.04	EOF