836.95/300.03	sh: line 1:  6502 Alarm clock             ./resources/firstorderprover resources/system.trs 50 > resources/result
836.95/300.05	EOF