run_1.txt:  translated