673.41/300.03	sh: line 1: 55404 Alarm clock             ./resources/firstorderprover resources/system.trs 50 > resources/result
673.41/300.06	EOF