Update properties_circ_rec.txt