Update red_oct.txt